IFCH and CLE – UNICAMP
IFCH and CLE – UNICAMP
IFCH and CLE – UNICAMP
IFCH and CLE – UNICAMP
MAT- IMECC- UNICAMP
CLE – UNICAMP
DCC-IME-USP
MAT-IME-USP
MAT-UNESP-Bauru
UFABC-Santo André
MAT-IME-USP
MAT-UNESP-Bauru
MAT-IME-USP
EACH-USP Leste
DCC-IME-USP
CLE-UNICAMP
IFCH-UNICAMP
CLE-UNICAMP
CLE-UNICAMP
IFCH-UNICAMP
IFCH-UNICAMP
IFCH-UNICAMP
IFCH-UNICAMP
IFCH-UNICAMP
IFCH-UNICAMP
IFCH-UNICAMP
DCC-IME-USP
DCC-IME-USP
IFCH-UNICAMP
Universidade Tecnológica Federal do Paraná, Curitiba
Universidade de Brasília, Brasília
IST, Lisbon
IST, Lisbon
Institute for Logic, Language and Computation (ILLC), University of Amsterdam
IST, Lisbon
King’s College, London
Universidade Federal do Ceará, Fortaleza
CEFET, Curitiba
Universidade Federal do Rio Grande do Norte, Natal
IST, Lisbon
EAFIT-Medellin, Colômbia
Faculdade de Direito, USP
Dipartimento di Scienze Umane, Universita degli studi di Ferrara
UNS, Bahia Blanca, Argentina
IST, Lisbon
Laboratório Nacional de Computação Científica, Petrópolis
National University of San Juan, Argentina