20-23 Aug 2013
Darmstadt, Germany
*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).