WoLLIC 2010
17th Workshop on Logic, Language, Information and Computation
July 6th to 9th, 2010 | Brasília, Brazil
Special:
A screening of I want to be a mathematician: A conversation with Paul Halmos
A screening of I want to be a mathematician: A conversation with Paul Halmos
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)
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