Forwarded message from [sicstus-users@sics.se ] sent originally on Mon, 8 May 2000 20:27:41 +0200: : ################################################################ : Apologies, if you receive multiple copies of this document : ################################################################ : : Twelfth European Summer School : in Logic, Language and Information : ESSLLI-2000 : August 6-18, 2000 : Birmingham, Great Britain : : WORKSHOP ON HYBRID LOGICS : August 14-18, 2000 : (Bringing Them All Together) : : LAST CALL FOR PAPERS : : IMPORTANT: : : - Deadline for submission: June 1st, 2000. : : THEME: : : Modal logic suffers from a certain asymmetry: even though the basic : semantic notion in modal languages is truth at a state, classical : modal logics lack the expressive power to talk about the states : themselves. Whether we think of states as intervals, geometric points, : nodes in a feature structure, or individuals in a description, this is : a genuine weakness. : : Hybrid Logics are modal languages which use "terms as formulas". : Although they date back to the late 1960s, the last three years have : seen a resurgence of interest, with new results in expressivity, : interpolation, complexity, and proof techniques. It has also become : clear that hybrid logics offer a theoretical framework for uniting the : work of a surprisingly diverse range of research traditions. : : This workshop is likely to be relevant to a wide range of people, : including those interested in description logic, feature logic, modal : logics for information systems, temporal logic, and labelled deduction : for modal logic. Moreover, if you have an interest in the work of the : late Arthur Prior, note that this workshop is devoted to exploring : ideas he first introduced 30 years ago --- it will be an ideal : opportunity to see how his ideas have been developed in the : intervening period. : : In this workshop we hope to bring together researchers and students : from all the different fields just mentioned (and hopefully some : others) in an attempt to explore just what they all have (and do not : have) in common. If you're unsure whether your work is of relevant to : the workshop, please check out the newly opened Hybrid Logic Site: : : http://www.illc.uva.nl/~carlos/hybrid : : And do not hesitate to contact the workshop organisers for more : information. We'd be delighted to tell you more. Contact details are : give below. : : SUBMISSIONS: : : We invite the contribution of research papers to the workshop. Please : send electronically an extended abstract of up to 10 A4 size pages, in : PostScript format to: carlos@wins.uva.nl BEFORE 1st of JUNE, 2000. : : Please note that all workshop contributors are required by the ESSLLI : organizers to register for the Summer School. The deadline for early : registration at ESSLLI is May 31st, 2000. : : PROCEEDINGS: : : Papers accepted for the workshop will be made available from the : Hybrid Logic Site. Following the workshop, participants will be : invited to submit their contributions for publication in a special : issue of the Journal of Logic and Computation. : : IMPORTANT DATES: : : * Submissions: June 1, 2000 : * Notification: June 30, 2000 : * Provisional workshop programme: July 15, 2000 : * Website-ready copy of all workshop contributions: July 31, 2000 : * Workshop: August 14th to 18th, 2000 : : CONTACT DETAILS: : : Please visit http://www.illc.uva.nl/~carlos/hybrid for further : information. : : Send all correspondence regarding the workshop to the organizers: : : Carlos Areces : e-mail: carlos@wins.uva.nl : http://www.illc.uva.nl/~carlos : : Patrick Blackburn : e-mail: patrick@coli.uni-sb.de : http://www.coli.uni-sb.de/~patrick
-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html