LINGUIST List 9.1717

Fri Dec 4 1998

Calls: U of North Carolina, Labelled Deduction

Editor for this issue: Karen Milligan <karenlinguistlist.org>

Directory

1. Patrick Murphy, University of North Carolina, Spring Colloquium
2. (Vigano Luca) ld98, Book on Labelled Deduction

 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 <hcbemail.unc.edu>

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