WoLLIC'2005
12th Workshop on Logic, Language, Information and Computation
July 19th to 22nd, 2005

Florianópolis, Santa Catarina, 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)

Funding (expected)
 CAPES, CNPq

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

Call for Papers Programme Committee  Abstracts of Invited Talks Tutorial Lectures
Programme General Information  Book Exhibit  On-line Registration 

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

WoLLIC Vision

Last modified: May 12, 2005, 15:12:27 GMT-0300.