Logic List Mailing Archive

CfP Workshop of guarded logics ESSLLI'04

WORKSHOP ON GUARDED LOGICS: PROOF TECHNIQUES AND APPLICATIONS
9 - 13 August 2004
organized as part of
European Summer School on Logic, Language and Information (ESSLLI 2004)
(http://esslli2004.loria.fr/)
9 - 20 August 2004 in Nancy.
Workshop organizer: Natasha Alechina

It's been almost ten years since Andreka, van Benthem and Nemeti proved
decidability of the guarded fragment of first order logic. Given how
natural and expressive guarded quantification is, this result gave
logicians a powerful tool of proving decidability of many formalisms
arising in computer science applications, and generated much research into
extensions of the guarded fragment to fixed point logic, transitive guards
etc. A wealth of new proof techniques developed as a result. The workshop
intends to bring this research together for the benefit of advanced logic
and computer science PhD students interested in the area, and use a
mixture of invited and contributed talks to cover both the new proof
techniques and the relevance of guarded quantification for applications of
logic in computer science. Workshop details Authors are invited to submit
a full paper either describing their published work (which should be
instructive and interesting to PhD students working in the field and
appropriate for presentation at the Summer School), or new and unpublished
work. Submissions should not exceed 20 pages. The following formats are
accepted: pdf, ps. Please send your submission electronically to nza at
cs.nott.ac.uk. The submissions will be reviewed by the workshop's
programme committee and additional reviewers. The accepted papers will
appear in the workshop proceedings published by ESSLLI. It is likely that
a selection of (revised and expanded) versions of the workshop papers will
appear in a special issue of the Journal of Logic, Language and
Information. Workshop format The workshop is part of ESSLLI and is open to
all ESSLLI participants. It will consist of five 90-minute sessions held
over five consequtive days in the first week of ESSLLI. There will be 2
slots for paper presentation and discussion per session. On the first day
the workshop organizer will give an introduction to the topic. Workshop
programme committee Natasha Alechina (University of Nottingham), Johan van
Benthem (University of Amsterdam), Erich Graedel (Aachen University),
Maarten Marx (University of Amsterdam), Hans de Nivelle (Max Planck
Institut fur Informatik, Saarbruecken), Martin Otto (Darmstadt University
of Technology), Ulrike Sattler (University of Manchester). Important dates

Further information:
About ESSLLI-2004: http://esslli2004.loria.fr/
About the workshop: http://www.cs.nott.ac.uk/~nza/GF04/