Organization
Organizing Committee
Itala M. Loffredo D’Ottaviano
(Academic Director, CLE/Unicamp)
Felipe Sobreira Abrahão
(CLE/Unicamp)
Raoni Wohnrath Arroyo
(CLE/Unicamp)
Fábio Maia Bertato
(CLE/Unicamp)
Rodolfo Ertola Biraben
(CLE/Unicamp)
Juliana Bueno-Soler
(CLE/Unicamp)
Walter Carnielli
(CLE/Unicamp)
Ricardo Peraça Cavassane
(CLE/Unicamp)
Oswaldo Chateaubriand
(Pontifical Catholic University of Rio de Janeiro – PUC-RJ, Brazil)
Marcelo E. Coniglio
(CLE/Unicamp)
Evandro Luís Gomes
(State University of Maringá - UEM, Brazil)
Francisco Miraglia Neto
(University of São Paulo – USP, Brazil)
Abílio Rodrigues
(Federal University of Minas Gerais -UFMG, Brazil)
Marco Antonio C. Ruffino
(CLE/Unicamp)
Advisory Committee
Walter Carnielli
(Chair, CLE/Unicamp)
Evandro Agazzi
(Panamerican University of Mexico City, Mexico)
Franz Baader
(Technical University of Dresden, Germany)
Sankha Basu
(Department of Mathematics of the Indraprastha Institute of Information Technology-Delhi)
Xavier Caicedo
(CLE/University of Los Andes, Colombia)
Gregory Chaitin
(Federal University of Rio de Janeiro – UFRJ, Brazil)
Mihir Chakraborty
(Indraprastha Institute of Information Technology – IIIT, New Delhi)
Carlos Di Prisco
(CLE/University of Los Andes, Colombia)
Francisco A. Dória
(Federal University of Rio de Janeiro – UFRJ, Brazil)
Jon Michael Dunn
Indiana University, USA)
In memoriam
António de Freitas
(CEHUM - Center of Humanistic Studies)
Hannes Leitgeb
(Ludwig Maximilian University of Munich, Germany)
Andrea A. Loparic
(CLE/University of São Paulo – USP, Brazil)
In memoriam
David Miller
(University of Warwick, United Kingdom)
Marco Panza
(University of Paris 1, France/Chapman University, USA)
Nicholas Rescher
(University of Pittsburgh, USA)
Edelcio Gonçalves de Souza
(University of São Paulo – USP, Brazil)
Heinrich Wansing
(Ruhr University of Bochum, Germany)
Dmitry Zaitsev
(Lomonosov Moscow State University, Russia)
Executive Secretary (Staff at CLE)
• Regiane Aparecida de Melo Ferreira (Chair)
• Adriana Lopes Rodrigues
• Augusto Fabiano Torres
• Fábio Luis Basso
• Márcia Regina Ramos Torres
• Paulo Eduardo de Lima Gouveia
• Rodrigo César da Silva
• Rovilson Pereira
• Valter Francisco da Silva
Support Team
• Alan Antezana (Master Student, CLE/Unicamp)
• Daniel Alves da Silva Lopes Diniz ( PhD Student, CLE/Unicamp)
• Daniel Gieseler (Master Student, CLE/Unicamp)
• Débora de Oliveira Silva (Master Student, CLE/Unicamp)
• Deiver Vinícius de Melo (Master Student, CLE/Unicamp)
• Gabriel Andersen Eugênio (Master Student, CLE/Unicamp)
• Guilherme Luiz Grudtner (PhD Student, CLE/Unicamp)
• Gustavo Villani Serra (PhD Student, CLE/Unicamp)
• Mahan Vaz (Master Student, CLE/Unicamp)
• Renato Reis Leme (Master Student, CLE/Unicamp)
• Renato Semaniuc Valvassori (Master Student, CLE/Unicamp)
• Rogério José de Ribamar da Silva Júnior (PhD Student, CLE/Unicamp)
• Sofia Abelha Meirelles (Master Student, CLE/Unicamp)
• Tobias Augusto Rosa Faria (PhD Student, CLE/Unicamp)
• Vinicius Sorgi (Master Student, CLE/Unicamp)