Project Coordinator/Coordenador

• Walter Carnielli (IFCH and CLE - UNICAMP) lattes CV

Task Coordinators/Sub-coordenadores

• Marcelo Coniglio (IFCH and CLE - UNICAMP) lattes CV
  
• Itala D'Ottaviano (IFCH and CLE - UNICAMP) lattes CV

Main Researchers/Pesquisadores principais

• Walter Carnielli (IFCH and CLE - UNICAMP) lattes CV
• Marcelo Coniglio (IFCH and CLE - UNICAMP) lattes CV
• Flavio Soares Correa da Silva (DCC-IME-USP) lattes CV
  
• Itala D'Ottaviano (IFCH and CLE - UNICAMP) lattes CV
  
• Hercules de Araujo Feitosa (MAT-UNESP - Bauru) lattes CV
  
• Marcelo Finger (DCC-IME-USP) lattes CV
• Odilon Otavio Luciano (MAT-IME-USP)
• Hugo Mariano (MAT-IME-USP)
• Renata Wassermann (DCC-IME-USP) lattes CV
  
• Joao Marcos (DIMAp/ CCET / UFRN and CLC) lattes CV
• Adolfo Neto (UTFPR) lattes CV

Post-Doc Students/Estudantes de Pos-Doutorado

• Alexandre Costa-Leite (CLE-UNICAMP) lattes CV
• Juliana Bueno-Soler (CLE-UNICAMP) lattes CV
• Rodrigo de Alvarenga Freire (CLE-UNICAMP) lattes CV

PhD Students/Estudantes de Doutorado

• Juan Carlos Agudelo Agudelo (CLE-UNICAMP) lattes CV
• Anderson de Araujo (CLE-UNICAMP) lattes CV
• Evandro Luis Gomes (CLE-UNICAMP) lattes CV
  
• Luiz Henrique Silvestrini (CLE-UNICAMP) lattes CV
• Leandro Oliva Suguitani (CLE-UNICAMP) lattes CV
• Rafael Testa (CLE-UNICAMP) lattes CV

External Participants/Participantes Externos

• Jean-Yves Beziau (Department of Philosophy, UFRJ, Rio de Janeiro)
• Carlos Caleiro (IST, Lisbon)
• Alexandre Costa-Leite (Universite de Neuchatel, Switzerland)
• Dov Gabbay (King's College, London)
• Paulo Mateus (IST, Lisbon)
• Joao Rasga (IST, Lisbon)
• Amilcar Sernadas (IST, Lisbon)
• Cristina Sernadas (IST, Lisbon)
• Catarina Dutilh Novaes (Institute for Logic, Language and Computation (ILLC), University of Amsterdam)