Edinburgh, Scotland

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)

Funding
(tbc)

Organisation
School of Mathematical and Computer Sciences, Heriot-Watt University, Scotland
Centro de Informática, Universidade Federal de Pernambuco, Brazil