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 Lógica (SBL)

There will be a shuttle in front of Aracoara Hotel to take the participants to the FINATEC building every morning at 08:00am

Organising Committee
Mauricio Ayala-Rincon (U Brasília, Brazil) (co-chair)
Flávio L. C. Moura (U Brasília, Brazil)
Claudia Nalon (U Brasília, Brazil)
Anjolina G. de Oliveira (U Fed Pernambuco, Brazil)
Ruy de Queiroz (U Fed Pernambuco, Brazil) (co-chair)

Organisation
Departamento de Ciência da Computação, Universidade de Brasília, Brazil
Centro de Informática, Universidade Federal de Pernambuco, Brazil