WoLLIC 2013


NEW WEBPAGE:

Please go to:

http://www3.mathematik.tu-darmstadt.de/wollic


20th Workshop on Logic, Language, Information and Computation 

August 20th to 23rd, 2013

Technische Universität Darmstadt
Darmstadt, Germany


Scientific Sponsorship
Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
European Association for Theoretical Computer Science (EATCS)
European Association for Computer Science Logic (EACSL)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)

Organisation
Fachbereich Mathematik, Technische Universität Darmstadt, Germany
Centro de Informática, Universidade Federal de Pernambuco, Brazil 

Financial Support
Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG)


Call for Papers

Programme Committee 

Abstracts of Invited Talks

Tutorial Lectures

Programme

General Information 

Book Exhibit 

Registration 



WoLLIC 2007 

WoLLIC 2008 

WoLLIC 2009 

WoLLIC 2010 

WoLLIC 2011 

WoLLIC 2012 



WoLLIC Vision


Last modified: May 7, 2013, 07:12pm GMT-3.