[DL] AiML 2002 - Call for participation

[Philippe BALBIANI]

Dear colleague, this is the call for participation of AiML 2002. Feel
free to distribute it as you wish.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Advances in Modal Logic AiML 2002

September 30 - October 2, 2002

Toulouse, France

http://www.irit.fr/ACTIVITES/LILaC/Pers/Balbiani/aiml02.htm

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

CALL FOR PARTICIPATION

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Advances in Modal Logic (AiML ) is an initiative aimed at presenting
an up-to-date picture of the state of art in modal logic and its many
applications. The initiative consists of a conference series together
with volumes based on the conferences. AiML 2002 is the fourth
conference organized as part of this initiative. It will be held
September 30 - October 2, 2002 in Toulouse, France.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Preliminary AiML 2002 technical program

Invited speakers :

Melvin Fitting, Robert Goldblatt , Ian Hodkinson, Hans Kamp, Carsten
Lutz, Hiroakira Ono, Philippe Schnoebelen

Accepted papers :

Kracht : Notes on the space requirements for checking satisfiability
in modal logics

Skvortsov : Some incompleteness results for predicate versions of
intermediate propositional logics

Maksimova : Restricted interpolation in modal logics

Vakarelov : Modal definability in languages with finite number
propositional variables and a new extension of the Sahlqvist's class

Reynolds : An axiomatization of Prior's Ockhamist logic of historical
necessity

French et al. : A sound a complete proof system for QPTL

Tulenheimo : On IF modal logic and its expressive power

Brauner : Functional completeness for a natural deduction formulation
of hybridized S5

Zalewska: Sequential calculi for algorithmic logic from the point of
view of automated theorem proving

Heinemann : Towards uniform reasoning via structured subset spaces

Indrzejczak : Hybrid system for (not only) hybrid logic

Miyazaki : A study of binary logics by means of Kripke semantics

Chagrov et.al. : Least number of variables for PSPACE-hardness of
provability problem in systems of modal logic

Broersen : Relativized action complement for dynamic logics

Schmidt et.al. : Logics with commuting action and informational
modalities

Renardel de Lavalette et.al. : Epistemic actions and minimal models

Renardel de Lavalette et.al. : A strongly complete proof system for
propositional dynamic logic

Fajardo et.al. : Non-normal modalization

Schellhorn et.al. : A simple proof for omega-completeness of dynamic
logic

Areces et.al. : HyLoRes: a hybrid logic prover based on direct
resolution

Areces et.al. : Decomposing modal logic

Engelhardt et.al. : Modal logics with a linear hierarchy of local
propositional quantifiers

Kurucz et.al. : A note on relativized products of modal logics

Shapirovsky et.al. : Chronological future modality in Minkowski
spacetime

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

The registration form is available on the web site of the conference.
Note that the early registration deadline is September 7. The
registration form must be sent by fax to 05.61.55.88.98 from France
(33.5.61.55.88.98 from abroad) for the attention of Philippe
Balbiani.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Sponsoring Institutions :

Institut de recherche en informatique de Toulouse
Université Paul Sabatier
Midi-Pyrénées region

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Conference site :

Institut de recherche en informatique de Toulouse
Université Paul Sabatier
118 route de Narbonne
31062 Toulouse CEDEX 4

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Contacts during the conference:

Phone numbers : 05.61.55.67.65 or 05.61.55.81.23 (33.5.61.55.67.65 or
33.5.61.55.81.23)
Fax numbers : 05.61.55.88.98 (33.5.61.55.88.98)
Email : balbiani at irit.fr

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

More information is available on the web site of the conference :

http://www.irit.fr/ACTIVITES/LILaC/Pers/Balbiani/aiml02.htm

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%