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)
,

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

Programme

(to be announced)

Last modified: April 5, 2005, 10:49:20 GMT-0300.