ESSLLI is the European Summer School on Logic, Language, and
Information, one of the premier venues for learning about advanced
topics in these areas. This is one of many workshops at the ESSLLI. (01)
-------- Original Message --------
Subject: [seweb-list] CfP Workshop of guarded logics ESSLLI'04
Date: Tue, 02 Dec 2003 11:28:42 +0000
From: Natasha Alechina <nza@xxxxxxxxxxxxx>
To: info@xxxxxxxxx (02)
*** Our apologies for multiple postings *** (03)
Workshop on Guarded Logics: Proof Techniques and Applications (04)
9 - 13 August 2004 (05)
organized as part of (06)
European Summer School on Logic, Language and Information (ESSLLI 2004)
9 - 20 August 2004 in Nancy. (07)
Workshop organizer: Natasha Alechina (08)
Workshop purpose (09)
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. (010)
Workshop details (011)
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. (012)
Workshop format (013)
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. (014)
Workshop programme committee (015)
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). (016)
Important dates (017)
* 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 (018)
Local arrangements (019)
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.
_______________________________________________
seweb-list mailing list
seweb-list@xxxxxxxxxxxxxxxxxxxxx
http://informatik.uibk.ac.at:2081/mailman/listinfo/seweb-list (020)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Unsubscribe/Config:
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (021)
|