Hotel Barreira Roxa, Natal, 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
, ,
Fundação Norte-Rio-Grandense de Pesquisa e Cultura (FUNPEC)
Pró-Reitoria de Extensão, Univ. Fed. do Rio Grande do Norte (PROEX-UFRN)
Organisation
Centro de Informática, Universidade Federal de Pernambuco
(CIn-UFPE)
Departamento de Informática e Matemática Aplicada, Univ.
Fed. do Rio Grande do Norte (DIMAP-UFRN)
Call for Papers | Programme Committee | Abstracts of Invited Talks |
Tutorial Lectures
Programme |
General Information |
Book Exhibit |
Proceedings |
|
WoLLIC'95 | WoLLIC'96 | WoLLIC'97 | WoLLIC'98 | WoLLIC'99 |
Last modified: November 22, 2000, 13:07:27 GMT-0300.