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)
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 |
Last modified: May 12, 2005, 15:12:27 GMT-0300.
WoLLIC Vision