CFP: Book on Labelled Deduction

[(Vigano Luca) ld98]

-----------------------------------------------------------------------=

This message was sent to several mailing lists: apologies to those of=20=

you who receive multiple copies.
Please forward it to everyone who might be interested.
-----------------------------------------------------------------------=



                               CALL FOR PAPERS


                             LABELLED DEDUCTION

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

 =09=09  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

=09 (An edited volume intended for the Applied Logic Series of=20
=09=09=09Kluwer 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,=20
     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 publicatio=
n
     elsewhere.

   * The primary means of submission is electronic, in PostScript forma=
t.
     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 contac=
t
     information (e-mail and postal addresses).

   * Authors are strongly encouraged to use LaTeX2e and the article
     document class with a4paper and 11pt as options.=20
     (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 f=FCr Informatik, Albert-Ludwigs-Universit=E4t
=09Freiburg, Germany
Marcello D'Agostino, Universit=E0 di Ferrara, Italy
Dov Gabbay, King's College, London, UK
Se=E1n Matthews, Max-Planck-Institut f=FCr Informatik, Saarbr=FCcken, G=
ermany=20
Luca Vigan=F2, Institut f=FCr Informatik, Albert-Ludwigs-Universit=E4t
=09Freiburg, 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=F2
     Institut f=FCr Informatik
     Albert-Ludwigs-Universit=E4t Freiburg
     Universit=E4tsgel=E4nde Flugplatz
     D-79110 Freiburg
     Germany

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