15-th European Summer School in Logic, Language and Information
ESSLLI-2003 August 18-29, 2003, Vienna, Austria,
http://www.logic.at/esslli03/
WORKSHOP ON INTERVAL TEMPORAL LOGICS AND DURATION CALCULI
August 25-29, 2003
The purpose of this workshop is to stimulate further research and
scientific exchange in the area of interval temporal logics and
duration
calculi, by bringing together graduate students and specialists and
providing a forum for presentation of results and discussions.
While scheduled within the Logic & Computation section, the workshop
is
expected to have an inter-disciplinary nature across the areas of
Logic,
Language and Information.
Particular topics of the workshop include:
- relationships between point-based and interval-based temporal
logics;
- models, languages, and systems of interval temporal logics and
duration calculi;
- expressiveness, axiomatizations, decidability, and complexity
results;
- decidable fragments of expressive interval logics and duration
calculi;
- efficient proof systems for interval logics and duration calculi:
semantic tableaux, resolution systems, etc. ;
- formal verification and model-checking procedures and tools;
- applications to computer science and to temporal representation and
reasoning in natural language and AI.
Program Committee: Johan van Benthem, Claudio Bettini, Howard Bowman,
Valentin Goranko (co-chair), Dang Van Hung, Gerard Ligozat, Kamal
Lodaya, Angelo Montanari (co-chair), Ben Moszkowski, Yde Venema.
The workshop will include invited talks by Ben Moszkowski, De Montfort
University, Leicester, UK, and Michael R. Hansen, Technical University
of Denmark, and contributed talks selected by the program committee.
You are invited to contribute a talk to the workshop. Please send
electronically an extended abstract of up to 10 A4 pages in either of
.ps, .pdf, .dvi, .doc, .txt format (in that order of preference) to
both: [log in to unmask] and [log in to unmask] BEFORE 31 March, 2003.
Note that all workshop contributors are required by the ESSLLI
organizers to register for the Summer School. Early registration fees
apply to authors of accepted papers.
The duration of the talks will be determined later, depending on the
number of accepted submissions.
A volume with the extended abstracts of all contributions will be
distributed at the workshop.
Proceedings of the workshop, containing papers selected after an
additional refereeing process, will be published as a special issue of
the Journal of Applied Non-Classical Logics.
Deadlines and important dates for the workshop:
Submissions: March 31, 2003
Notification: April 30, 2003
Camera-ready copy of all contributions: May 20, 2003
Provisional Workshop Programme: May 30, 2003
Final Workshop Programme: June 30, 2003.
Workshop dates: August 25-29, 2003.
Send all correspondence regarding the workshop to the workshop
organizers:
Val Goranko, email [log in to unmask], and
Angelo Montanari, email [log in to unmask] .
For updates and further information, check out
the ESSLLI'2003 website at http://www.logic.at/esslli03/
or the workshop website at http://www.dimi.uniud.it/workshop/esslli/
|