Brasília, Brazil

Scientific Sponsorship
Interest Group in Pure and Applied Logics (IGPL)
The 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
Department of Mathematics, Universidade de Brasília, Brazil
Centro de Informática, Universidade Federal de Pernambuco, Brazil