21.015 events: report on Digital Innovations Day (UCLA); cfp: WoLLIC'2007

                Humanist Discussion Group, Vol. 21, No. 15.
       Centre for Computing in the Humanities, King's College London
  www.kcl.ac.uk/schools/humanities/cch/research/publications/humanist.html
                        www.princeton.edu/humanist/
                     Submit to: humanist_at_princeton.edu

   [1] From: "Borovsky, Zoe" <zoe_at_ats.ucla.edu> (11)
         Subject: Searls on Digital Innovation Day

   [2] From: ruy_at_cin.ufpe.br (59)
         Subject: WoLLIC'2007 - Call for Participation

--[1]------------------------------------------------------------------
         Date: Sat, 12 May 2007 18:29:04 +0100
         From: "Borovsky, Zoe" <zoe_at_ats.ucla.edu>
         Subject: Searls on Digital Innovation Day

[The following points to a report on an event, Digital Innovation
Day, that took place at UCLA on Thursday, in which I participated.
The amount, breadth and depth of activity in the digital humanities
at UCLA is quite impressive. --WM]

-----Original Message-----
From: Meg Sullivan
[<mailto:msullivan_at_support.ucla.edu>mailto:msullivan_at_support.ucla.edu]
Sent: Sat 5/12/2007 10:03 AM

Digiteratti ring leader, Cluetrain manifesto coauthor and blogger Doc
Searls is so influential he has an entry in Wikipedia. Here's what
he said about Digital Innovation Day:
<http://doc.weblogs.com/> [...]

--[2]------------------------------------------------------------------
         Date: Sat, 12 May 2007 18:30:29 +0100
         From: ruy_at_cin.ufpe.br
         Subject: WoLLIC'2007 - Call for Participation

                              Call for Participation

           14th Workshop on Logic, Language, Information and Computation
                                 (WoLLIC'2007)
                            Rio de Janeiro, Brazil
                                July 2-5, 2007
      (a satellite event to Brazilian Computer Society Conference - CSBC'07)

      WoLLIC is an annual international forum on inter-disciplinary research
      involving formal logic, computing and programming theory, and natural
      language and reasoning. Each meeting includes invited talks and
      tutorials as well as contributed papers.

      The Fourteenth WoLLIC will be held in Rio de Janeiro, Brazil, from
      July 2 to July 5, 2007, in conjunction with the 27th Brazilian
      Computer Society Conference. It is sponsored by the Association for
      Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics
      (IGPL), the European Association for Logic, Language and Information
      (FoLLI), the European Association for Theoretical Computer Science
      (EATCS), the Sociedade Brasileira de Computacao (SBC), and the
      Sociedade Brasileira de Logica (SBL).

PROCEEDINGS
      The proceedings of WoLLIC'2007, including both invited and contributed
      papers, will be published in advance of the meeting as a volume in
      Springer's Lecture Notes in Computer Science. In addition,
      abstracts will be published in the Conference Report section of
      the Logic Journal of the IGPL, and selected contributions will
      be published as a special post-conference WoLLIC'2007 special issue
      of the journal Information and Computation.

INVITED SPEAKERS
      Alex Borgida (Rutgers)
      Alessandra Carbone (Paris)
      Martin Escardo (Birmingham)
      Philippa Gardner (Imperial Coll)
      Achim Jung (Birmingham)
      Louis Kauffman (U Illinois Chicago)
      Michael Moortgat (Utrecht)
      Paulo Oliva (London/QM)
      John Reif (Duke)
      Yde Venema (Amsterdam)

TUTORIAL LECTURES
      Stone duality, by A. Jung
      Quantum topology and quantum computation, by L. Kauffman
      Biological computing, by J. Reif

INVITED TALKS
      Description Logics: formal foundations and applications, by A. Borgida
      Group Theory and Classical Proofs, by A. Carbone
      Algorithmic Topology of Program Types, by M. Escardo
      Contex Logic and Tree Update, by Ph. Gardner
      On the interplay of logic and information: A topological analysis,
        by A. Jung
      Spin networks in quantum computation, by L. Kauffman
      Symmetries in natural language syntax and semantics:
        the Lambek-Grishin calculus, by M. Moortgat
      Computational Interpretations of Classical Linear Logic, by P. Oliva
      Autonomous programmable biomolecular devices using self-assembled DNA
        nanostructures specifying properties of data DNA Nanostructures,
        by J. Reif
      A modal distributive law, by Y. Venema

[...]

WEB PAGE
      www.cin.ufpe.br/~wollic/wollic2007

---