WoLLIC 2013 - Darmstadt, Germany, Aug 20-23 - Call for Participation

[Ruy de Queiroz]

*WoLLIC 2013*

*Call for Participation*

*WoLLIC* <http://wollic.org/>* *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
nineteenth WoLLIC will be held at the Fachbereich Mathematik, Technische
Universität Darmstadt, Darmstadt, Germany, from August 20th to 23rd, 2013.


*Invited Speakers*

**

*Natasha Alechina (University of Nottingham) *

*Steve Awodey (Carnegie Mellon University) *

*Mikolaj Bojanczyk (Warsaw University) *

*Wim Martens (Universität Bayreuth)*

*Catuscia Palamidessi (INRIA Saclay and LIX)*

*Thomas Schwentick (TU Dortmund)*

 *P**roceedings* of WoLLIC 2013, including both invited and contributed
papers, will be published in advance of the meeting as a volume in
Springer's LNCS <http://www.springer.com/lncs> series. The list of
contributed papers is: **

In addition, abstracts will appear in the Conference Report section of
the *Logic
Journal of the IGPL*, and selected contributions will be published as a
special post-conference WoLLIC 2013 issue of the *Journal of Computer
System and Sciences*.

*Registration*

Early registration deadline is June 14, see *
http://www3.mathematik.tu-darmstadt.de/wollic/registration.html*

*Programme Committee*

Albert Atserias (UPC Barcelona)

Alexandru Baltag (Univ Amsterdam)

Stephanie Delaune (ENS, CNRS)

Amy Felty (Univ Ottawa)

Santiago Figueira (Univ Buenos Aires)

Amelie Gheerbrant (Univ Edinburgh)

Radha Jagadeesan (DePaul Univ)

Delia Kesner (Univ Paris-Diderot)

Benoit Larose (Concordia Univ)

Leonid Libkin (Univ Edinburgh - CHAIR)

Fenrong Liu (Tsinghua Univ)

Jerzy Marcinkowski (Wroclaw Univ)

Peter O'Hearn (UCL)

Joël Ouaknine (Oxford Univ)

Gerald Penn (Univ Toronto)

Gabriele Puppis (CNRS/LaBRI - Univ Bordeaux)

R. Ramanujam (The Institute of Mathematical Sciences)

Peter Selinger (Dalhousie Univ)

Szymon Torunczyk (Warsaw Univ)

Anna Zamansky (TU Wien)

*Steering Committee*

Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira
Ono, Ruy de Queiroz.

*Organising Committee*

Ulrich Kohlenbach (Tech U Darmstadt) (Local chair)

Anjolina G. de Oliveira (U Fed Pernambuco)

Martin Otto (Tech U Darmstadt)

Ruy de Queiroz (U Fed Pernambuco) (co-chair)

Thomas Streicher (Tech U Darmstadt)

Martin Ziegler (Tech U Darmstadt)

*Further information*
Contact one of the Co-Chairs of the Organising Committee.

*Web page* http://wollic.org/wollic2013/

*S**ponsor**s*

*Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung
der Exakten Wissenschaften <http://www.dvmlg.de/> (DVMLG), *Association for
Symbolic Logic <http://www.aslonline.org/> (ASL), the Interest Group in
Pure and Applied Logics <http://www.cin.ufpe.br/~igpl> (IGPL), The
Association for Logic, Language and Information
<http://www.folli.org/> (FoLLI),
the European Association for Theoretical Computer
Science<http://www.eatcs.org/> (EATCS),
the European Association for Computer Science Logic
<http://www.eacsl.org/> (EACSL),
the Sociedade Brasileira de Computação <http://www.sbc.org.br/> (SBC), and
the Sociedade Brasileira de Lógica <http://www.cle.unicamp.br/sbl/> (SBL).
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20130514/f5d715c9/attachment.html>