WoLLIC 2017

24th Workshop on Logic, Language, Information and Computation 

July 18th-21st, 2017

London, UK



NEW WEBPAGE:

Please go to:

http://mol-wollic2017.eecs.qmul.ac.uk/wollic2017/



Scientific Sponsorship
Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI) ss
Association for Symbolic Logic (ASL)
European Association for Theoretical Computer Science (EATCS)
European Association for Computer Science Logic (EACSL) 

ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)


Organisation
Department of Computer Science, University College London, London, UK

School of Electronic Engineering and Computer Science, Queen Mary, London, UK
Centro de Informática, Universidade Federal de Pernambuco, Brazil 


Hosted by

Department of Computer Science, University College London, London, UK



Call for Papers

Programme Committee 

Abstracts of Invited Talks

Tutorial Lectures

Programme

General Information 

Book Exhibit 

Registration 



WoLLIC 2011 

WoLLIC 2012

WoLLIC 2013 

WoLLIC 2014  

WoLLIC 2015 

WoLLIC 2016 



WoLLIC Vision


Last modified: March 18, 2017, 06:11pm GMT-3.