11.1078, Calls: Hybrid Logics, Linguistic Olympics update

Thu May 11 20:06:15 UTC 2000

LINGUIST List:  Vol-11-1078. Thu May 11 2000. ISSN: 1068-4875.

Subject: 11.1078, Calls: Hybrid Logics, Linguistic Olympics update

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:  Ljuba Veselinova, Stockholm U. <ljuba at linguistlist.org>
		    Scott Fults, E. Michigan U. <scott at linguistlist.org>
		    Jody Huellmantel, Wayne State U. <jody at linguistlist.org>
		    Karen Milligan, Wayne State U. <karen at linguistlist.org>

Assistant Editors:  Lydia Grebenyova, E. Michigan U. <lydia at linguistlist.org>
		    Naomi Ogasawara, E. Michigan U. <naomi at linguistlist.org>
		    James Yuells, Wayne State U. <james at linguistlist.org>

Software development: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
                      Sudheendra Adiga, Wayne State U. <sudhi at linguistlist.org>
                      Qian Liao, E. Michigan U. <qian at linguistlist.org>

Home Page:  http://linguistlist.org/

The LINGUIST List is funded jointly by Eastern Michigan University,
Wayne State University, and donations from subscribers and publishers.

Editor for this issue: Jody Huellmantel <jody 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:  Mon, 8 May 2000 20:27:41 +0200
From:  Carlos Areces <carlos at wins.uva.nl>
Subject:  Workshop on Hybrid Logics (HyLo 2000)

2)
Date:  Wed, 10 May 2000 18:42:41 -0700
From:  Tom Payne <tpayne at OREGON.UOREGON.EDU>
Subject:  Linguistic Olympics update

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

Date:  Mon, 8 May 2000 20:27:41 +0200
From:  Carlos Areces <carlos at wins.uva.nl>
Subject:  Workshop on Hybrid Logics (HyLo 2000)

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

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

Date:  Wed, 10 May 2000 18:42:41 -0700
From:  Tom Payne <tpayne at OREGON.UOREGON.EDU>
Subject:  Linguistic Olympics update

Thank you very much to those who have looked at the Linguistic
Olympics website and given me suggestions on how to improve it. I
neglected to mention in my posting yesterday that I very much
appreciate comments on the individual problems from those who are
familiar with the languages involved. I cannot do all the background
research on these languages myself, and so I rely on the support of
the community of linguists to check on the accuracy of the information
presented in the problems. This is an educational outreach that
represents the whole field of linguistics and so I want the
information to be absolutely accurate.

Just as a reminder, the site is found at
http://darkwing.uoregon.edu/~tpayne/lingolym. Some systems
may require you to type
http://darkwing.uoregon.edu/~tpayne/lingolym/index.htm.

Thank you again for your comments and suggestions. And I do look
forward to receiving many more linguistic problems.

Tom Payne

---------------------------------------------------------------------------
LINGUIST List: Vol-11-1078