Programme Committee


Eric Allender (Department of Computer Science, Rutgers, the State University of NJ, USA)
Saugata Basu (School of Mathematics, Georgia Tech, USA)
Peter Clote (Biology Dept & Computer Sci Dept, Boston College, USA)
Jörg Flum (Albert-Ludwigs-Universität Freiburg, Germany)
Didier Galmiche (LORIA, Université Henri Poincaré, France)
Andreas Herzig (IRIT, France)
Jean-Baptiste Joinet (Preuves-Programmes-Systèmes, Université Paris 7, France)
Makoto Kanazawa (National Institute of Informatics, Japan)
Yoshiharu Kohayakawa (Instituto de Matemática e Estatística, Universidade de São Paulo, Brazil)
Angus Macintyre (School of Mathematics, Queen Mary College, University of London, UK) (CHAIR)
Luiz Carlos Pereira (Depto Filosofia, PUC-Rio, & Depto Filosofia Univ Fed Rio de Janeiro, Brazil)
Hans Rott (Institut für Philosophie, Universität Regensburg, Germany)
Richmond Thomason (Department of Philosophy, University of Michigan, USA)
Yde Venema (Institute for Logic, Language and Computation, Universiteit Amsterdam, The Netherlands)
Andrei Voronkov (Dept of Computer Science, Manchester University, UK)
Marek Zaionc (Inst of Computer Science, Jagiellonian University, Poland)


Organising Committee


Gleifer V. Alves (Centro de Informática, Universidade Federal de Pernambuco, Brazil)
Guilherme Bittencourt (DAS, Univ Fed Santa Catarina, Brazil) (Co-Chair)
Eder Mateus Nunes Gonçalves (DAS, Univ Fed Santa Catarina, Brazil)
Jerusa Marchi (DAS, Univ Fed Santa Catarina, Brazil)
Anjolina G. de Oliveira (Centro de Informática, Universidade Federal de Pernambuco, Brazil)
Anderson Luiz Fernandes Perez (DAS, Univ Fed Santa Catarina, Brazil)
Eliane Pozzebon (DAS, Univ Fed Santa Catarina, Brazil)
Ruy de Queiroz (Centro de Informática, Universidade Federal de Pernambuco, Brazil) (Co-Chair)
Flávio de Almeida e Silva (DAS, Univ Fed Santa Catarina, Brazil)


Further information


Contact one of the Co-Chairs of the Organising Committee:

Guilherme Bittencourt
,
Departamento Automação e Sistemas
Universidade Federal de Santa Catarina
CP 476, 88040-900
Florianópolis, SC, Brazil,
tel: +55 48-331-7665
fax: +55 48-331-9770
E-Mail: gb@das.ufsc.br

Ruy de Queiroz

Centro de Informática
Univ. Federal de Pernambuco
Av. Prof. Luis Freire s/n
Cidade Universitária, 50740-540
Recife, PE, Brazil.
tel. +55 81 2126-8430
fax +55 81 2126-8438
E-mail: ruy at cin ufpe br