9.1717, Calls: U of North Carolina, Labelled Deduction

LINGUIST Network linguist at linguistlist.org
Fri Dec 4 09:08:43 UTC 1998 

LINGUIST List:  Vol-9-1717. Fri Dec 4 1998. ISSN: 1068-4875.

Subject: 9.1717, Calls: U of North Carolina, Labelled Deduction

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>
                    Brett Churchill <brett at linguistlist.org>
                    Ljuba Veselinova <ljuba at linguistlist.org>

Assistant Editors:  Scott Fults <scott at linguistlist.org>
		    Jody Huellmantel <jody at linguistlist.org>
		    Karen Milligan <karen at linguistlist.org>

Software development: John H. Remmers <remmers at emunix.emich.edu>
                      Chris Brown <chris at linguistlist.org>

Home Page:  http://linguistlist.org/


Editor for this issue: Karen Milligan <karen 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:   Thu, 03 Dec 1998 20:11:30 -0500
From:  "Patrick Murphy" <murphy at email.unc.edu>
Subject:  University of North Carolina, Spring Colloquium

2)
Date:  Wed,  2 Dec 1998 11:36:06 +0100 (MET)
From:  "(Vigano Luca) ld98" <ld98 at informatik.uni-freiburg.de>
Subject:  Book on Labelled Deduction

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

Date:   Thu, 03 Dec 1998 20:11:30 -0500
From:  "Patrick Murphy" <murphy at email.unc.edu>
Subject:  University of North Carolina, Spring Colloquium

                      1st Call for Papers

               1999 Spring Linguistics Colloquium
         The University of North Carolina at Chapel Hill
                    Saturday, March 27, 1999

      Guest Speaker: Alice C. Harris, Vanderbilt University

Papers on any aspect of the study of language will be considered.  Please
submit an abstract of your paper and include any other relevant information,
such as a need for audio-visual equipment or special scheduling
considerations.  Presentations will be limited to 30 minutes including
discussion.  Deadline for submission of abstracts is Friday, February 12,
1999.

Please submit abstracts to:

1999 Spring Linguistics Colloquium
318 Dey Hall, CB# 3155
The University of North Carolina at Chapel Hill
Chapel Hill, NC  27599

Email inquiries: Hans Boas <hcb at email.unc.edu>



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

Date:  Wed,  2 Dec 1998 11:36:06 +0100 (MET)
From:  "(Vigano Luca) ld98" <ld98 at informatik.uni-freiburg.de>
Subject:  Book on Labelled Deduction




				   Second

                               CALL FOR PAPERS


                             LABELLED DEDUCTION

	 (An edited volume intended for the Applied Logic Series of
			Kluwer Academic Publishers)

 		  http://www.informatik.uni-freiburg.de/~ld98/

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

Background

In September 1998, the University of Freiburg (Germany) hosted

                                    LD'98
           The First International Workshop on Labelled Deduction.

The participants of LD'98 reported on research, related to or based on
Labelled Deduction, in many areas of computer science, artificial
intelligence, mathematical logic, cognitive science, philosophy, and
computational linguistics. More information on LD'98 is available at
the URL of the workshop http://www.informatik.uni-freiburg.de/~ld98/WS/

Motivated by the success of the workshop, the members of the program
committee of LD'98 will edit a volume collecting original papers on
this topic and titled

                             LABELLED DEDUCTION

	 (An edited volume intended for the Applied Logic Series of
			Kluwer Academic Publishers)

Topics of interest

The title reflects the planned contents of this book: We welcome
original contributions on all theoretical and practical aspects of
Labelled Deduction, including but not limited to:

   * Logical modeling based on Labelled Deduction
   * Formal metatheory for, or based on, Labelled Deduction
   * Hybrid reasoners and combinations of logics based on labelling
   * Automated reasoning, implementation, and system support
   * Annotated logic programming
   * Applications

Submissions

   * Authors are invited to submit full papers of at most 18 pages
     (formatted as described below) to be received by January 31st,
     1999. Notification of acceptance or rejection of the papers will
     be sent by April 30th, 1999, and final versions of accepted
     papers will be due by June 15th, 1999.

   * Submitted papers must be original and not submitted for publication
     elsewhere.

   * The primary means of submission is electronic, in PostScript format.
     Papers should be e-mailed to ld98 at informatik.uni-freiburg.de.
     If electronic submission is not possible, then 5 hard copies
     should be sent to the postal address given below.
     Regardless of the submission method, a letter or e-mail message
     accompanying the paper must contain the title, authors, and contact
     information (e-mail and postal addresses).

   * Authors are strongly encouraged to use LaTeX2e and the article
     document class with a4paper and 11pt as options.
     (Basic dimensions for a4paper-11pt format are approximately: text
     height 300mm, text width 210mm, 11pt text with a 13.5pt leading
     (baseline skip).)

   * Submitted papers must be written in English.

Reception of submissions will be confirmed by e-mail after we have
succeeded in printing the paper.

Important dates

     Submission deadline:        January 31st, 1999
     Notification of acceptance: April 30th, 1999
     Deadline for final papers:  June 15th, 1999

Program Committee

David Basin, Institut fr Informatik, Albert-Ludwigs-Universitt
	Freiburg, Germany
Marcello D'Agostino, Universit di Ferrara, Italy
Dov Gabbay, King's College, London, UK
Sen Matthews, Max-Planck-Institut fr Informatik, Saarbrcken, Germany
Luca Vigan, Institut fr Informatik, Albert-Ludwigs-Universitt
	Freiburg, Germany

Addresses

   * The LABELLED DEDUCTION (LD'98) home page
     (http://www.informatik.uni-freiburg.de/~ld98/)

   * Email: ld98 at informatik.uni-freiburg.de

   * By post:

     LABELLED DEDUCTION
     c/o Luca Vigan
     Institut fr Informatik
     Albert-Ludwigs-Universitt Freiburg
     Universittsgelnde Flugplatz
     D-79110 Freiburg
     Germany

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



---------------------------------------------------------------------------
LINGUIST List: Vol-9-1717

More information about the LINGUIST mailing list