8.1709, Calls: Labelled Deduction, Semantics & Ling. Theory

The LINGUIST List linguist at linguistlist.org
Fri Nov 28 13:41:11 UTC 1997

LINGUIST List:  Vol-8-1709. Fri Nov 28 1997. ISSN: 1068-4875.

Subject: 8.1709, Calls: Labelled Deduction, Semantics & Ling. Theory

Moderators: Anthony Rodrigues Aristar: Texas A&M U. <aristar at linguistlist.org>
            Helen Dry: Eastern Michigan U. <hdry at linguistlist.org>
            T. Daniel Seely: Eastern Michigan U. <seely at linguistlist.org>

Review Editor:     Andrew Carnie <carnie at linguistlist.org>

Associate Editor: Ljuba Veselinova <ljuba at linguistlist.org>

Assistant Editors:  Martin Jacobsen <marty at linguistlist.org>
                    Brett Churchill <brett at linguistlist.org>
                    Anita Huang <anita at linguistlist.org>
                    Julie Wilson <julie at linguistlist.org>
                    Elaine Halleck <elaine at linguistlist.org>

Software development: John H. Remmers <remmers at emunix.emich.edu>
                      Zhiping Zheng <zzheng at online.emich.edu>

Home Page:  http://linguistlist.org/

Editor for this issue: Elaine Halleck <elaine at linguistlist.org>

Please do not use abbreviations or acronyms for your conference unless
you explain them in your text.  Many people outside your area of
specialization will not recognize them. Also, if you are posting a
second call for the same event, please keep the message short.  Thank
you for your cooperation.


Date:  Wed, 26 Nov 1997 17:07:04 +0100 (MET)
From:  ld98 <ld98 at informatik.uni-freiburg.de>
Subject:  Labelled Deduction workshop

Date:  Wed, 26 Nov 1997 14:16:59 -0500
From:  SALT 8 Conference <salt8 at MIT.EDU>
Subject:  Semantics and Linguistic Theory--SALT 8

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

Date:  Wed, 26 Nov 1997 17:07:04 +0100 (MET)
From:  ld98 <ld98 at informatik.uni-freiburg.de>
Subject:  Labelled Deduction workshop

          The First International Workshop on Labelled Deduction
                Freiburg, Germany, September 7 - 9, 1998


                       * CALL FOR PAPERS *

   * Aim and format

     To survey research in the field, and to allow researchers (in Logic,
     Computer Science, Artificial Intelligence, Linguistics, etc.) to
     exchange ideas, techniques and results.
        o Both finished work and work in progress can be reported. We
          welcome three classes of submissions with presentation:
             + System description: 2 pages (system demo)
             + Work in progress: 5 pages (short presentation)
             + Polished work: 15 pages (long presentation)
        o Submissions will be refereed primarily on a basis of relevance,
          for an informal proceedings distributed only at the workshop.
          Since an intention of the workshop is to survey current work,
          versions of papers that have been, or may, appear elsewhere are
          welcome. Papers may later be submitted to a planned second round
          of refereeing, for proper publication as a book or journal special
        o Submissions should be sent by email: please mail
             + a postscript file, and
             + a plain text file including title, authors, and contact
          to ld98 at informatik.uni-freiburg.de

   * Topics of interest

     We welcome papers on current research in all aspects of Labelled
     Deduction, including but not limited to:
        o Logical modeling based on Labelled Deduction
        o Formal metatheory for, or based on, Labelled Deduction
        o Hybrid reasoners and combinations of logics based on labelling
        o Automated reasoning, implementation, and system support
        o Annotated logic programming
        o Applications

   * Important dates

        o Submission: April 15th, 1998
        o Notification: June 26th, 1998
        o Final Papers: July 31st, 1998
        o Workshop: Sept 7 - 9, 1998

   * Conference site

     Institut fuer Informatik of the University of Freiburg. Freiburg is a
     town of about 200,000 inhabitants at the edge of the Black-forest. The
     city is easily accessible, being within an hour from international
     airports in Strasbourg and Basel. There are also good connections
     (hourly trains) to airports in Frankfurt and Zurich, which are about 2
     to 3 hours away.

   * Organizing Committee

     David Basin and Luca Vigano`

   * Program Committee

     David Basin, Institut fuer Informatik, Freiburg, Germany
     Marcello D'Agostino, Universita` di Ferrara, Italy
     Dov Gabbay, Imperial College, London, UK
     Sean Matthews, Max-Planck-Institut fuer Informatik, Saarbruecken,
     Luca Vigano`, Institut fuer Informatik, Freiburg, Germany

   * Addresses

        o The LD'98 home page (http://www.informatik.uni-freiburg.de/~ld98/)
        o Email: ld98 at informatik.uni-freiburg.de
        o By post:

          c/o Luca Vigano`
          Institut fuer Informatik
          Universitaet Freiburg
          Am Flughafen 17
          79110 Freiburg

          Phone: +49 (761) 203-8243
          Fax: +49 (761) 203-8242

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

Date:  Wed, 26 Nov 1997 14:16:59 -0500
From:  SALT 8 Conference <salt8 at MIT.EDU>
Subject:  Semantics and Linguistic Theory--SALT 8

NOTE: Abstracts for SALT 8 are due this coming Tuesday December 2, 1997!

                       SALT 8 - Call for Papers

                     Semantics and Linguistic Theory
                          Eighth Annual Meeting
                  Massachusetts Institute of Technology
                             May 8-10, 1998

Invited Speakers:

Angelika Kratzer
Fred Landman
Richard Larson
Tanya Reinhart

SALT 8 welcomes submissions for 30-minute presentations (with 10 additional
minutes for discussion) on any topic in the semantic analysis of natural
language emphasizing the connection to linguistic theory. Authors should
submit 10 copies of abstracts, no more than 2 pages (1000 words) long.
Authors' names, address, affiliation, status (faculty/student), phone
number and e-mail address, paper title, and list of prior or planned
presentations at other conferences should accompany the abstracts on a 3x5
card. Fax or E-mail submissions will not be accepted.

- -------------

SALT does not accept papers that by the time of the conference have
appeared or have been accepted for publication in a peer-reviewed journal.

Preference will be given to presentations not duplicated at other major
conferences (including LSA, NELS, WCCFL, etc.). Authors are asked to
indicate prior or planned presentations of their papers on the abstract
submission card.

Any person can submit at most one abstract as sole author and a second
abstract as co-author or two abstracts as co-author.

Choose a title that clearly indicates the topic of the paper. State the
problem or research question raised by prior work, with specific references
to relevant prior work. State the main point or argument of the proposed
presentation. Give at least one critical example, with explanation of why
and how it supports the main point or argument. When examples are in
languages other than English, provide word by word glosses. State the
relevance of your ideas to past work or to the future development of the
field. Describe analyses in as much detail as possible. Avoid merely saying
"a solution to this problem will be presented". [adapted from the LSA
guidelines for abstract submissions]
- -------------

Deadline for submission of abstracts is Tuesday December 2, 1997.
The program will be announced in February 1998.

Send abstracts to:

SALT 8 Organizing Committee
Department of Linguistics & Philosophy
Massachusetts Institute of Technology
E39-245, 77 Massachusetts Avenue
Cambridge, MA 02139

Further announcements will be made as the conference approaches.

In conjunction with SALT, there will be a one day workshop on French syntax &
semantics. Details will be announced soon.

Inquiries are welcome to the address above, or e-mail to salt8 at mit.edu.

The Conference Web Site is accessible at

The web sites for two previous SALT meetings are still accessible: SALT 7
at Stanford (http://www-csli.stanford.edu/Linguistics/salt7/) and SALT 6 at
Rutgers (http://ruccs.rutgers.edu/ling/evnt/salt6.html).

Semantics & Linguistic Theory (SALT 8)
Organizing Committee: Kai von Fintel, Irene Heim, Sabine Iatridou

Department of Linguistics & Philosophy           	  E39-245
Massachusetts Institute of Technology         Cambridge, MA 02139
77 Massachusetts Avenue					   U.S.A.
- ---------------------------------------------------------------
e-mail:          salt8 at mit.edu
World Wide Web:  http://web.mit.edu/linguistics/www/salt8.html

LINGUIST List: Vol-8-1709

More information about the Linguist mailing list