11.215, Calls: Logic/Language, Modal/Temporal Logic

Wed Feb 2 22:06:57 UTC 2000

LINGUIST List:  Vol-11-215. Wed Feb 2 2000. ISSN: 1068-4875.

Subject: 11.215, Calls: Logic/Language, Modal/Temporal Logic

Moderators: Anthony Rodrigues Aristar: Wayne State U.<aristar at linguistlist.org>
            Helen Dry: Eastern Michigan U. <hdry at linguistlist.org>
            Andrew Carnie: U. of Arizona <carnie at linguistlist.org>

Reviews: Andrew Carnie: U. of Arizona <carnie at linguistlist.org>

Associate Editors:  Martin Jacobsen <marty at linguistlist.org>
                    Ljuba Veselinova <ljuba at linguistlist.org>
		    Scott Fults <scott at linguistlist.org>
		    Jody Huellmantel <jody at linguistlist.org>
		    Karen Milligan <karen at linguistlist.org>

Assistant Editors:  Lydia Grebenyova <lydia at linguistlist.org>
		    Naomi Ogasawara <naomi at linguistlist.org>
		    James Yuells <james at linguistlist.org>

Software development: John H. Remmers <remmers at emunix.emich.edu>
                      Sudheendra Adiga <sudhi at linguistlist.org>
                      Qian Liao <qian at linguistlist.org>

Home Page:  http://linguistlist.org/

Editor for this issue: Lydia Grebenyova <lydia at linguistlist.org>
 ==========================================================================

As a matter of policy, LINGUIST discourages the use of abbreviations
or acronyms in conference announcements unless they are explained in
the text.

=================================Directory=================================

1)
Date:  Tue, 1 Feb 2000 22:39:57 +0100
From:  Carlos Areces <carlos at wins.uva.nl>
Subject:  Logic/Lang: Second International Workshop on Hybrid Logic/ HyLo 2000

2)
Date:  Tue, 1 Feb 2000 23:34:00 +0100
From:  Advances in Modal Logic <mdr at acm.org>
Subject:  Logic: Advances in Modal/Temporal Logic: AiML-ICTL 2000

-------------------------------- Message 1 -------------------------------

Date:  Tue, 1 Feb 2000 22:39:57 +0100
From:  Carlos Areces <carlos at wins.uva.nl>
Subject:  Logic/Lang: Second International Workshop on Hybrid Logic/ HyLo 2000

                 Twelfth European Summer School
               in Logic, Language and Information
	                  ESSLLI-2000
	               August 6-18, 2000
		   Birmingham, Great Britain

                   WORKSHOP ON HYBRID LOGICS
                 (Bringing Them All Together)

                        CALL FOR PAPERS

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

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 either in
a conference volume or a special issue of a journal.  Further details
will be announced in due course.

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

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 at wins.uva.nl
     http://www.illc.uva.nl/~carlos

     Patrick Blackburn
     e-mail: patrick at coli.uni-sb.de
     http://www.coli.uni-sb.de/~patrick

***********************************************************************

-
Carlos Eduardo Areces
Institute for Logic, Language and Computation (ILLC)

University of Amsterdam.
Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands
Phone : +31 20 525-6925
e-mail: carlos at wins.uva.nl
WWW   : http://www.illc.uva.nl/~carlos

-------------------------------- Message 2 -------------------------------

Date:  Tue, 1 Feb 2000 23:34:00 +0100
From:  Advances in Modal Logic <mdr at acm.org>
Subject:  Logic: Advances in Modal/Temporal Logic: AiML-ICTL 2000

SECOND CALL FOR PAPERS

AiML-ICTL 2000
Advances in Modal Logic - International Conference on Temporal Logic 2000
October 4-7, 2000, University of Leipzig, Germany

Deadline: May 15, 2000

AiML-ICTL 2000
In the year 2000, the Advances in Modal Logic workshop and the
International Conference on Temporal Logic will be run as a combined event,
bringing together the strongly related modal logic and computer science oriented
temporal logic communities to present and share the latest exciting
results in all relevant areas.

TOPICS
Topics of interest include: common-sense temporal reasoning,
complexity of modal and temporal logics, deontic logic, description logics,
dynamic logic, epistemic logic, modal logics of agency and space, modal logic
and game theory, modal logic and grammar formalisms, modal realism and
anti-realism, modal and temporal logic programming and theorem proving, model
theory and proof theory of modal and temporal logic, representation of time in
natural language semantics, non-monotonic modal logics, provability logic,
temporal databases. Papers on related subjects will also be considered.

SPECIAL SESSION
During the workshop there will be a special session on description logics
and applications of modal logic in Knowledge Representation.

INVITED SPEAKERS
Invited speakers include:
  Nuel Belnap (Pittsburgh)           Mark Reynolds  (Perth)
  Stephane Demri (Grenoble)          Krister Segerberg (Uppsala)
  Silvio Ghilardi (Milan)            Colin Stirling (Edinburgh)
  Giuseppe de Giacomo (Rome)         Moshe Vardi (Houston)

PAPER SUBMISSION
Authors are invited to submit a detailed abstract of a full paper of at
most 10 pages (a4paper, 11pt) by e-mail to the programme chair, using
`AiML-ICTL Submission' as the subject line.  The cover page should include
title, names of authors, the coordinates of the corresponding author, and
some keywords describing the topic of the paper.  Following this it should
be indicated whether this is a submission to AiML or ICTL. To be
considered, submissions must be received no later than May 15, 2000.

Note that at least one author of each accepted paper is required to attend
the workshop to present the paper.

PUBLICATION DETAILS
Preliminary versions of the full papers should be made available at the
workshop; two separate proceedings volumes (AiML and ICTL)  will be
submitted to CSLI Publications.  Notification date for the conference is July
15, 2000;
for the volumes it is December 1, 2000. Full versions of accepted
ICTL papers can be offered fast track journal publication in one of D.M.
Gabbay's Oxford Journals.

GRANTS
There will be a small number of grants available for participants from
Eastern Europe.

PROGRAM COMMITTEE
  Franz Baader, Aachen              Greg Restall, Sydney
  Howard Barringer, Manchester      Maarten de Rijke, Amsterdam
  Marcelo Finger, Sao Paulo         Heinrich Wansing, Dresden (chair)
  Nissim Francez, Haifa             Frank Wolter, Leipzig
  Dov Gabbay, London                Michael Zakharyaschev, Leeds

PROGRAM CHAIR
  Heinrich Wansing
  Dresden University of Technology
  Institute of Philosophy
  01062 Dresden, Germany
  E-mail: <wansing at Rcs1.urz.tu-dresden.de>
  Phone: +49 351 463 5489
  Fax: +49 351 463 6068

LOCAL ORGANIZERS
  Frank Wolter, Leipzig            Holger Sturm, Leipzig

IMPORTANT DATES
  Submission deadline: May 15, 2000
  Notification: July 15, 2000
  Workshop: October 4-7, 2000
  Preliminary version for workshop volume due:  at the workshop
  Notification of acceptance for publication:   December 1, 2000

FURTHER INFORMATION
E-mail enquiries about AiML-ICTL 2000 should be directed to
<wolter at informatik.uni-leipzig.de>. Information about AiML can be
obtained
on the World-Wide Web at http://www.illc.uva.nl/~mdr/AiML/ , and about
AiML-ICTL 2000 at
http://www.informatik.uni-leipzig.de/~wolter/aiml.html .

-
Advances in Modal Logic -
International Conference on Temporal Logic 2000
October 4-7, Leipzig, Germany
www.illc.uva.nl/~mdr/AiML/

---------------------------------------------------------------------------
LINGUIST List: Vol-11-215