[FOM] CfP Workshop of guarded logics ESSLLI'04

[Martin Davis]

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
Workshop purpose
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
* Submissions: March 5, 2004
* Notification: April 19, 2004
* ESSLLI early registration: May 1, 2004
* Preliminary programme: April 23, 2004
* Final papers for proceedings: May 15, 2004
* Final programme: June 25, 2004
* Workshop dates: August 9 - 13, 2004
Local arrangements
All workshop participants including the presenters will be required to
register for ESSLLI. The registration fee for authors presenting a paper
will correspond to the early student/workshop speaker registration fee.
Moreover, a number of additional fee waiver grants will be available by the
OC on a competitive basis and workshop participants are eligible to apply
for those. There will be no reimbursement for travel costs and accomodation.
Workshop speakers who have difficulty in finding funding should contact the
local organising committee to ask for the possibilities for a grant.
Further information:
About ESSLLI-2004: http://esslli2004.loria.fr/
About the workshop: http://www.cs.nott.ac.uk/~nza/GF04/