Welcome to Wollic, the 12th Workshop on Logic, Language, Information
and Computation, the workshop has taken place at Jurerê Beach Village, a
hotel located in the northern coast of the Santa Catarina Island.

Results of the WoLLIC 2005 Problem  

To promote the workshop the organizing committee proposes a logical
problem.

Problem description (PDF file)

Problem Solution

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 

Departamento de Automação e Sistemas, Universidade Federal de Santa Catarina (DAS/UFSC)
Centro de Informática, Universidade Federal de Pernambuco (CIn-UFPE)
 

Funding
 CAPES
 

WoLLIC'99  WoLLIC'2000  WoLLIC'2001  WoLLIC'2002  WoLLIC'2003  WoLLIC'2004 

 

Responsáveis pela criação do logo do Wollic 2005:
Thadeu de Albuquerque Borges e Ana Rubia Zacheo Rodrigues