National Institute of Informatics
Tokyo, Japan

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
Japan Advanced Institute of Science and Technology, Japan
National Institute of Informatics, Japan
Centro de Informática, Universidade Federal de Pernambuco, Brazil