Scientific Committee

Joham van  Benthem, University of Amsterdam
Stanford University, The Netherlands and USA

Ross Brady, La Trobe University, Melbourne, Australia

Walter Carnielli, UNICAMP, Campinas, Brazil

Michael Dunn, School of Informatics, Indiana USA

Dov Gabbay, King’s College, London, UK

Huacan He, Northwestern PolytechnicalUniversity, Xi’an, China

Vladimir Vasyukov, Academy of Sciences, Moscow, Russia

Heinrich Wansing, Dresden University of Technology, Germany

Organizing Committee

Jean-Yves Béziau, CNPq-FUNCAP
UFC, Fortaleza, Brazil

Carlos Caleiro, IST, Lisbon, Portugal

Alexandre Costa-Leite, University of Brasilia, Brazil

Katarzyna Gan-Krzywoszynska, Poznan University, Poland
Archives Poincaré, University Nancy 2, France

Ricardo Gonçalves, IST, Lisbon, Portugal

Paula Gouveia, IST, Lisbon, Portugal

Raja Natarajan, Tata Institute, Mumbai, India

Jaime Ramos, IST, Lisbon, Portugal

João Rasga, IST, Lisbon, Portugal

Darko Sarenac, Colorado State University, USA