Workshop on Guarded Logics: Proof Techniques and Applications
9 - 13 August 2004
organized as part of
Workshop organizer: Natasha Alechina
Workshop purpose
It's been almost ten years since Andréka, van Benthem and Németi
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 Grädel (Aachen University),
Maarten Marx (University of Amsterdam),
Hans de Nivelle (Max Planck Institut für Informatik, Saarbrücken),
Martin Otto (Darmstadt University of Technology),
Ulrike Sattler (University of Manchester).
Important dates
- Extended submission deadline: March 19, 2004
- Notification: April 19, 2004 ( Sorry: April 20, 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