• Project Coordinator

• Walter Carnielli (IFCH and CLE – UNICAMP)

Task Coordinators
• Itala M. L. D’Ottaviano (IFCH and CLE – UNICAMP)
• Marcelo E. Coniglio (IFCH and CLE – UNICAMP)
• Walter Carnielli (IFCH and CLE – UNICAMP)

Additional main researchers
• Carlile Lavor (MAT- IMECC- UNICAMP)
• Fabio Maria Bertato (CLE-UNICAMP)
• Flávio Corrêa da Silva (DCC-IME-USP)
• Hugo Mariano (MAT-IME-USP)
• Hércules de Araujo Feitosa (MAT-UNESP-Bauru)
• Juliana Bueno-Soler (UFABC-Santo André)
• Julio M. Stern (MAT-IME-USP)
• Luiz Henrique Silvestrini (MAT-UNESP-Bauru)
• Marcelo Finger (MAT-IME-USP)
• Marcelo S. Lauretto (EACH-USP Leste)
• Renata Wassermann (DCC-IME-USP)
• Rodolfo Ertola (CLE-UNICAMP)

Post-Doc Students
• Anderson de Araujo (IFCH-UNICAMP)
• Márcio Moretto-Ribeiro (CLE-UNICAMP)
• Rodrigo de Alvarenga Freire (CLE – UNICAMP)

PhD Students
• Mariana Matulovic (IFCH-UNICAMP)
• Marcos Alves (IFCH-UNICAMP)
• Newton Marques Peron (IFCH-UNICAMP)
• Rafael Rodrigues Testa (IFCH-UNICAMP)
• Ramon Souza Capelle de Andrade (IFCH-UNICAMP)
• Samir Bezerra Gorsky (IFCH-UNICAMP)
• Teófilo Reis (IFCH-UNICAMP)

MSc Students
• Antonio Basile (DCC-IME-USP)
• Bruno Vercelino da Hora (DCC-IME-USP)
• Maria Inés Corbal án (IFCH-UNICAMP)

External Participants
• Adolfo Gustavo Serra Seca Neto (Universidade Tecnológica Federal do Paraná, Curitiba)
• Alexandre Costa-Leite (Universidade de Brasília, Brasília)
• Amilcar Sernadas (IST, Lisbon)
• Carlos Caleiro (IST, Lisbon)
• Catarina Dutilh Novaes (Institute for Logic, Language and Computation (ILLC), University of Amsterdam)
• Cristina Sernadas (IST, Lisbon)
• Dov Gabbay (King’s College, London)
• Jean-Yves Béziau (Universidade Federal do Ceará, Fortaleza)
• José Nicoladelli (CEFET, Curitiba)
• João Marcos (Universidade Federal do Rio Grande do Norte, Natal)
• João Rasga (IST, Lisbon)
• Juan Carlos Agudelo (EAFIT-Medellin, Colômbia)
• Juliano Maranhão (Faculdade de Direito, USP)
• Marcello D’Agostino (Dipartimento di Scienze Umane, Universita degli studi di Ferrara)
• Martín Figallo (UNS, Bahia Blanca, Argentina)
• Paulo Mateus (IST, Lisbon)
• Renato Portugal (Laboratório Nacional de Computação Científica, Petrópolis)
• Víctor L. Fernández (National University of San Juan, Argentina)