Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

26 March - 4 April 2005,
1st World Congress and School on Universal Logic (UNILOG-2005)
, Montreux - Switzerland

Date: 26 March - 4 April 2005
Location: Montreux - Switzerland
Deadline: 30 October 2004

Many conferences have been organized on specific techniques (combination of logics, labelled deductive systems, tableaux, etc.) or on some specific classes of logics (nonmonotonic logics, many-valued 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. The school is intended for advanced students and young researchers.

This event will focus on:

  1. Techniques that can be used for a general theory of logics (Labelled deductive systems, Kripke structures, Logical matrices, etc.) ;
  2. Studies of classes of logics (Substructural logics, Non monotonic logics, Paraconsistent logics, etc.)
  3. Scope of validity and domain of application of fundamental theorems of logic (Completeness, Deduction, Cut-elimination, etc.)
  4. Philosophical considerations about the nature of logic and the universality of some logical laws or axioms

The school is intended for advanced students and young researchers. There will be about 20 tutorials on many subjetcs: combination of logics, multiple conclusion logic, combinatory logic, logics and games, abstract model theory, logic as language vs. logic as calculus, category theory for logics, etc.

Invited speakers of the congress will include A.Avron, D.Batens, J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg.

Contributed papers for the congress can be submitted before October 30, 2004.

More information on the website: http://www.uni-log.org

Please note that this newsitem has been archived, and may contain outdated information or links.