Aim of the Congress

This is the third edition of a world congress dedicated to universal logic, following a first edition in Switzerland and a second edition in China.

There will be invited talks and the congress is also open to contributed talks. See the call for papers and special sessions for more details.

As in the preceding editions there will also be a contest on a fundamental issue of universal logic, this time the question of combination of logcis.

There will also be a secret speaker, a famous logician whose identity will be revealed only at the time he will give his invited talk.

The event was perturbated by the erruption of Eyjafjallajökull. The symbol

indicates people who were not able to come due to the erruption.


Many conferences are   organized on specific techniques (natural deduction, algebraic logic, tableaux, etc.) or on some specific classes of logics (fuzzy logics, modal logics, paraconsistent logics, etc.).

The idea of this event is to put together these various activities in order to promote interaction and to provide access of these different fields to the non specialist and young reseachers.


The conference will be preceeded by a school, participants of the school are encouraged to take part to the congress and to present a talk.

 

 

Invited Speakers of the Congress

Hartry Field
Dept of Philosophy, New York University - USA

  George Grätzer
Dept of Mathematics, University of Manitoba - Canada

Yuri Gurevich
Miscrosoft Research - USA

Gerhard Jaeger
Dept of Mathematics, University of Bern - Switzerland

Marcus Kracht
University of Bielefeld - Germany and UCLA, USA

Hiroakira Ono
Japan Advanced Institute of Science and Technology

Giovanni Sambin
Dept of Mathematics, University of Padua - Italy

Jonathan Seldin
Math. and Comp. Science, Univ. of Lethbridge - Canada

Amilcar Sernadas
Dpt of Mathematics, IST- Portugal

Dana Scott
Dpt of Computer Science, Carnegie Mellon University - USA

Secret Speaker
University of ??? – Dept. of ??? - ???
The Secret Speaker was Jaakko Hintikka

 

�>