CONF: ADVANCES in MODAL LOGIC

2008年07月27日 23:01

— PRELIMINARY PROGRAM NOW ON-LINE —
http://aiml08.loria.fr/programme.php

Advances in Modal Logic is an initiative aimed at presenting
an up-to-date picture of the state of the art in modal logic
and its many applications. The initiative consists of a
conference series together with volumes based on the conferences.

AiML-2008 is the seventh conference in the series.

REGISTRATION
Registration to AiML is now open at:

http://aiml08.loria.fr/registration.php

INVITED SPEAKERS
Invited speakers at AiML-2008 will include the following:

- Mai Gehrke, Radboud Universiteit Nijmegen
http://www.math.ru.nl/~mgehrke/
Using duality theory to export methods from modal logic

- Guido Governatori, NICTA, Australia
http://www.governatori.net <http://www.governatori.net/>
Labelled modal tableaux

- Agi Kurucz, King’s College London
http://www.dcs.kcl.ac.uk/staff/kuag/
Axiomatising many-dimensional modal logics

- Lawrence Moss, Indiana University
http://www.indiana.edu/~iulg/moss/
Relational syllogistic logics, and other connections
between modal logic and natural logic

- Michael Zakharyaschev, Birkbeck College
http://www.dcs.bbk.ac.uk/~michael/
Topology, connectedness, and modal logi

Further information available at:

http://aiml08.loria.fr/invited.php