Edinburgh, Scotland
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)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)
Organisation
School of Mathematical and Computer Sciences, Heriot-Watt University, Scotland
Centro de Informática, Universidade Federal de Pernambuco, Brazil
Call for Papers | Programme Committee | Abstracts of Invited Talks |
Tutorial Lectures
Programme |
General Information |
Book Exhibit |
Registration |
|
WoLLIC 2002 | WoLLIC 2003 | WoLLIC 2004 | WoLLIC 2005 | WoLLIC 2006 | WoLLIC 2007 |
Last modified: April 28, 2008, 07:25pm GMT-3.
WoLLIC Vision