, 
, 
Rio de Janeiro, Brazil
Scientific Sponsorship
Interest Group in Pure and Applied Logics (IGPL)
European Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)
Funding
, ,
Organisation
Centro de Informática, Universidade Federal de Pernambuco
(CIn-UFPE)
Departamento de Filosofia,
Pontifícia Univ. Católica do Rio de Janeiro
(FIL/PUC-Rio)
Departamento de Informática, Pontifícia Univ. Católica do Rio de Janeiro
(INF/PUC-Rio)
| Call for Papers | Programme Committee | Abstracts of Invited Talks |
Tutorial Lectures
| Programme |
General Information |
Book Exhibit |
Registration Form |
|
| WoLLIC'95 | WoLLIC'96 | WoLLIC'97 | WoLLIC'98 | WoLLIC'99 | WoLLIC'2000 | WoLLIC'2001 |
Last modified: July 23, 2002, 10:19:27 GMT-0300.