13.1724, Calls: Hybrid Logic, Universal Lang

Wed Jun 19 00:56:32 UTC 2002

LINGUIST List:  Vol-13-1724. Tue Jun 18 2002. ISSN: 1068-4875.

Subject: 13.1724, Calls: Hybrid Logic, Universal Lang

Moderators: Anthony Aristar, Wayne State U.<aristar at linguistlist.org>
            Helen Dry, Eastern Michigan U. <hdry at linguistlist.org>

Reviews (reviews at linguistlist.org):
	Simin Karimi, U. of Arizona
	Terence Langendoen, U. of Arizona

Consulting Editor:
        Andrew Carnie, U. of Arizona <carnie at linguistlist.org>

Editors (linguist at linguistlist.org):
	Karen Milligan, WSU 		Naomi Ogasawara, EMU
	James Yuells, EMU		Marie Klopfenstein, WSU
	Michael Appleby, EMU		Heather Taylor, EMU
	Ljuba Veselinova, Stockholm U.	Richard John Harvey, EMU
	Dina Kapetangianni, EMU		Renee Galvis, WSU
	Karolina Owczarzak, EMU

Software: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
          Gayathri Sriram, E. Michigan U. <gayatri at linguistlist.org>

Home Page:  http://linguistlist.org/

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

Editor for this issue: Renee Galvis <renee 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:  Fri, 14 Jun 2002 15:40:58 +0200
From:  Methods for Modalities <m4m at science.uva.nl>
Subject:  HyLo at LICS: Call for Participation and Preliminary Program

2)
Date:  Sat, 15 Jun 2002 04:03:47 +0000
From:  Jinyoung Tak <jytak at sejong.ac.kr>
Subject:  Call for Papers

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

Date:  Fri, 14 Jun 2002 15:40:58 +0200
From:  Methods for Modalities <m4m at science.uva.nl>
Subject:  HyLo at LICS: Call for Participation and Preliminary Program

                                 HyLo at LICS
                       4th Workshop on Hybrid Logics

                       LICS 2002 Affiliated Workshop
                   July 25th, 2002. Copenhagen, Denmark
               (DEADLINE FOR EARLY REGISTRATION JUNE 15!!!)

              CALL FOR PARTICIPATION AND PRELIMINARY PROGRAM

 Theme:

 Hybrid logic is a branch of modal logic in which it is possible to
 directly refer to worlds/times/states or whatever the elements of the
 (Kripke) model are meant to represent. Although they date back to the late
 1960s, and have been sporadically investigated ever since, it is only in
 the 1990s that work on them really got into its stride.

 It is easy to justify interest in hybrid logic on applied grounds, with
 the usefulness of the additional expressive power. For example, when
 reasoning about time one often wants to build up a series of assertions
 about what happens at a particular instant, and standard modal formalisms
 do not allow this. What is less obvious is that the route hybrid logic
 takes to overcome this problem (the basic mechanism being to add nominals
 --- atomic symbols true at a unique point --- together with extra
 modalities to exploit them) often actually improves the behavior of the
 underlying modal formalism. For example, it becomes far simpler to
 formulate modal tableau and resolution in hybrid logic, and completeness
 and interpolation results can be proved of a generality that is simply not
 available in modal logic. That is, hybridization --- adding nominals and
 related apparatus --- seems a fairly reliable way of curing many known
 weaknesses in modal logic.

 HyLo at LICS is likely to be relevant to a wide range of people, including
 those interested in description logic, feature logic, applied modal
 logics, temporal logic, and labelled deduction. 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 from all the
 different fields just mentioned (and hopefully some others) in an attempt
 to explore what they all have (and do not have) in common. If you're
 unsure whether the workshop is of relevance to your work , please check
 out the Hybrid Logics homepage. And do not hesitate to contact the
 workshop organisers for more information. We'd be delighted to tell you
 more. Contact details are given below.

 The program includes invited talks by Melvin Fitting and Moshe Vardi.

 Thursday 25th, July 2002:

  9.00 - 10.00 Hs.       Melvin Fitting
                         AddOns.
 14.00 - 15.00 Hs.       Moshe Vardi.
                         Logic and Automata: Words, Trees, and Forests.

 The full program is available at the workshop webpages:

                    http://hylo20002.hylo.net

 PROCEEDINGS:

 Papers accepted for the workshop and related material will be available
 from the Hybrid Logic Site.

 Important DATES:

      Website-ready copy of all workshop contributions: June 30th, 2002
      Workshop: July 25th.

 Contact Details:

 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 aplog.org
      http://www.loria.fr/~blackbur

      Maarten Marx
      e-mail: marx at science.uva.nl
      http://www.illc.uva.nl/~marx

      Ulrike Sattler
      e-mail: sattler at tcs.inf.tu-dresden.de
      http://lat.inf.tu-dresden.de/~uli/

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

Date:  Sat, 15 Jun 2002 04:03:47 +0000
From:  Jinyoung Tak <jytak at sejong.ac.kr>
Subject:  Call for Papers

	Third Call for Papers

The Unish Research Center at Sejong University is pleased to announce
its Third Call for Papers: The Journal of Universal Language 3:2.

I. HONORARIUM

As a token of our gratitude, the contributors whose paper appears in
the Journal of Universal Language will be awarded around $900-$1,000.

II. TOPICS OF INTEREST

The Journal of Universal Language, which will be published in
September 2002, is open to all those contributions which deal with a
topic related to the followings:

     	--various areas of artificial language,
	--universality in language,
	--communication & culture in language,
	--endangered language,
	--language typology.

The editors encourage the submission of papers on proposed themes as
well as on other topics relevant to the interest of the Journal of
Universal Language.

III. IMPORTANT DATES

   15 July 2002: deadline for receipt of papers
   15 August 2002: notification of acceptance
   15 September 2002: camera-ready final version

IV. SUBMISSIONS

1. Papers should not exceed 25 A4 pages(excluding references).
2. A 200-word abstract should be given at the beginning of
manuscripts.
3. For hard copy submissions, please send 3 copies, accompanied by a
cover letter which includes the title, author(s), affiliation(s),
contact author's e-mail address, postal address, and telephone
numbers, to:

	Jin-young Tak, Editor
Department of English Language/Literature,
      Sejong University, Dasan-gwan 435
        Gunja-dong, Gwangjin-gu
               Seoul, Korea

4. Electronic submissions are acceptable. Acceptable file formats are
PostScript (.ps), Portable Document Format (.pdf), MS Word (.doc), and
plain text. Please send your file in an attachment to:

		jytak at sejong.ac.kr.

For more information:
http://www.unish.org/index.html

---------------------------------------------------------------------------
LINGUIST List: Vol-13-1724