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)
9 - 20 August 2004 in Nancy.

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 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

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