Elsnet
 
   


ELSNET-list archive

Category:   E-CFP
Subject:   ESSLLI
From:   Natasha Alechina
Email:   nza_(on)_Cs.Nott.AC.UK
Date received:   05 Dec 2003
Deadline:   05 Mar 2004
Start date:   09 Aug 2004

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

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 14-02-2008 by Steven Krauwer Disclaimer / Contact ELSNET