LINGUIST List 9.1072

Sat Jul 25 1998

Confs: LD'98

Editor for this issue: Martin Jacobsen <martylinguistlist.org>

Directory

1. (Vigano Luca) ld98, LD'98 - Call for Participation

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

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

 **************************
 * CALL FOR PARTICIPATION *
 **************************

Advanced program, registration, travel and accomodation information
are available at the homepage of the workshop

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


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. Both finished work and work in
progress will be reported.

TOPICS OF INTEREST 
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

CONFERENCE SITE 
Institut fuer Informatik of the University of Freiburg. Freiburg is a
medieval town of about 200,000 inhabitants at the edge of the Black
Forrest. 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, King's College, London, UK
Sean Matthews, Max-Planck-Institut fuer Informatik, Saarbruecken,
	Germany
Luca Vigano`, Institut fuer Informatik, Freiburg, Germany