WoLLIC 2013
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)
CSLI Publications (Stanford Univ)
Last modified: April 26th, 11:52am GMT-3.