WoLLIC'2003
Ouro Preto, Minas Gerais, Brazil
Scientific Sponsorship
Interest Group in Pure and Applied Logics (IGPL)
European 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
Centro de Informática, Universidade Federal de Pernambuco
(CIn-UFPE)
Departamento de Matemática, Universidade Federal de Minas Gerais
(DMAT/UFMG)
Departamento de Computação, Universidade Federal de Ouro Preto
(DECOM/UFOP)
Call for Papers | Programme Committee | Abstracts of Invited Talks |
Tutorial Lectures
Programme |
General Information |
Book Exhibit |
Photos |
|
WoLLIC'95 | WoLLIC'96 | WoLLIC'97 | WoLLIC'98 | WoLLIC'99 | WoLLIC'2000 | WoLLIC'2001 | WoLLIC'2002 |
Last modified: June 16, 2003, 10:23:27 GMT-0300.
wollic_at_cin.ufpe.br