9.1072, Confs: LD'98

LINGUIST Network linguist at linguistlist.org
Sat Jul 25 20:50:01 UTC 1998


LINGUIST List:  Vol-9-1072. Sat Jul 25 1998. ISSN: 1068-4875.

Subject: 9.1072, Confs: LD'98

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

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

Editors:  	    Brett Churchill <brett at linguistlist.org>
		    Martin Jacobsen <marty at linguistlist.org>
		    Elaine Halleck <elaine at linguistlist.org>
                    Anita Huang <anita at linguistlist.org>
                    Ljuba Veselinova <ljuba at linguistlist.org>
		    Julie Wilson <julie 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: Martin Jacobsen <marty at linguistlist.org>
 ==========================================================================
Please keep your conference announcement as short as you can; LINGUIST
will not post conference announcements which in our opinion are
excessively long.  Also, please remember that, once posted, your
announcement will be permanently available at our website:
   http://www.linguistlist.org/issues/indices/Confs1997r.html
For this reason, we discourage multiple submissions of the same
conference announcement.  Thank you for your cooperation.

=================================Directory=================================

1)
Date:  Thu, 23 Jul 1998 11:24:40 +0200 (MET DST)
From:  "(Vigano Luca) ld98" <ld98 at informatik.uni-freiburg.de>
Subject:  LD'98 - Call for Participation

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

Date:  Thu, 23 Jul 1998 11:24:40 +0200 (MET DST)
From:  "(Vigano Luca) ld98" <ld98 at informatik.uni-freiburg.de>
Subject:  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

---------------------------------------------------------------------------
LINGUIST List: Vol-9-1072



More information about the LINGUIST mailing list