LINGUIST List 10.100

Fri Jan 22 1999

Calls: Mathematics of Language, Conditional Logic

Editor for this issue: Jody Huellmantel <jodylinguistlist.org>

Directory

1. Jennifer MacDougall, The Mathematics of Language
2. Dov Gabbay, Conditional and non-monotonic Logic

 +=+=+=+=+=+=+=+=+=+=+ CALL FOR PAPERS +=+=+=+=+=+=+=+=+=+=+
 SIXTH MEETING ON THE MATHEMATICS OF LANGUAGE
 July 23-25, 1999
 University of Central Florida
 Orlando, Florida, USA
 +=+=+=+=+=+=+=+=+=+=+==+=+=+=+=+=+=+=+=+=++=+=+=+=+=+=+=+=+

The Association for the Mathematics of Language is pleased to announce
that its sixth meeting (MOL6) will be held in July, 1999. The
biennial MOL meetings are a workshop-style forum for presenting work
relating to mathematical linguistics.

SUBMISSIONS
Submissions are invited from all areas of study that deal with the
mathematical properties of natural language. These areas include, but
are not limited to, mathematical models of phonology, morphology,
syntax, semantics and pragmatics; mathematical properties of
linguistic frameworks/theories and models of natural language
processing and generation; mathematical models of language acquisition
and change; parsing theory; and statistical and quantitative models of
language.

Submissions should give enough motivation to attract the interest of
the audience and enough details to attract people who follow the area
of the paper.


SUBMISSION FORMAT
Submissions should be no longer than 5000 words in length (about 10
pages, 11pt, excluding references). Papers must include an abstract
(200 words. max).

All contributions to MOL6 are to be made electronically as an
uncompressed mime-encoded postscript attachment. Please send your
submission to mol-submitcis.upenn.edu.

IMPORTANT DATES
 Deadline for submissions:		February 15, 1999
 Notification of acceptance:		April 15, 1999
 Deadline for final drafts:		June 1, 1999
 Meeting dates:				July 23-25, 1999

MOL PROGRAM COMMITTEE
 Tilman Becker (DFKI)
 Patrick Blackburn (University of Saarland)
 Christophe Fouquere (Paris 13)
 David Johnson (IBM Yorktown Heights)
 Mark Johnson (Brown University) 
 Aravind Joshi, Co-Chair (UPENN)
 Andras Kornai (BBN)
 Uli Krieger (DFKI)
 Natasha Kurtonina (Utrecht/UPENN) 
 Alain Lecomte (Grenoble U.)
 Carlos Martin-Vide (GRLMC/Tarragona) 
 Mehryar Mohri (AT&T) 
 Larry Moss, Co-Chair (Indiana)
 Mark-Jan Nederhof (DFKI)
 Richard Oehrle (University of Arizona) 
 Fernando Pereira (AT&T)
 James Rogers (UCF)
 Giorgio Satta (Padua)
 Walt Savitch (UCSD)
 Mark Steedman (Edinburgh)
 David Weir (Sussex) 
 K. Vijayshanker (U. Del.)


CONFERENCE VENUE
The conference will be held in Orlando, Florida at the University of
Central Florida. Orlando has very good air access, and there are a
wealth of attractions for those who might like to bring family along.

FURTHER INFORMATION 
For questions about local arrangements, please contact
jrogerscs.ucf.ed. Information about the program, when available, and
about the Association for the Mathematics of Language can be obtained
on the World-Wide Web at http://www.cis.upenn.edu/~ircs/mol/mol.html

Titles of papers from previous MOL meetings can be found 
at http://www.cis.upenn.edu/~ircs/mol/molpubs.html .

***** WORKSHOP ON PROOF THEORY FOR CONDITIONAL AND NON-MONOTONIC LOGIC******

 DOV GABBAY AND HOWARD BARRINGER



Conditional logic and non-monotonic logic are central areas in
philosophy, computer science and language. Moreover, the connection
between non-monotonic consequence "A entails B" and the conditional
"A>B" is well known, so too are the formal similarities between the
conditional and substuctural implications.

The semantic modelling (possible worlds, probabilistic, translational,
etc) of the conditional and non-monotonic consequence seems to be
relatively well developed but not much work has been done on the
proof-theoretic aspects.

Put simply, we need systems which can do the following:

Given a (non-monotonic/conditional) database Delta and given a formula
C (which could be of the form A>B ), we need formal but intuitive
algorithmic, proof procedures (e.g. tableaux, Gentzen, goal directed,
LDS etc.) for determining whether D follows from Delta . Furthermore,
we need to correlate different such proof systems within the landscape
of known semantically presented conditional /non-monotonic logics.

This workshop calls for papers in this area covering some of (but not
exclusively) the topics below:

*proof rules for conditional/non-monotonic logics;

*connections between non-monotonic consequence and conditionals;

*connections with belief revision and the Ramsey test (no
 triviality result holds if the database is non-monotonic);

*time, action and the conditional;

*conditional proof theory compared to substructural proof theory;

*translations of conditional systems into classical and/or modal
 logic;

*labelled proof systems for conditional logic;

*executable conditional logic.



The workshop will take place during the second week of the ESSLLI Summer
School (August 16-20, 1999) and allows for up to 12 30-45 minute
lectures.

The ESSLLI Summer School is organized under the auspices of the
European Association for Logic, Language and Information (FoLLI).
Previous ESSLLI Summer Schools have been highly successful, attracting
around 500 students from Europe and elsewhere. The school has
developed into an important meeting place and forum for discussion for
students and researchers interested in the interdisciplinary study of
Logic, Language and Information. For more information see
<http://esslli.let.uu.nl>;.


Good papers from the workshop will be published either as a volume in
one of Dov Gabbay's book series or as a special issue in one of the
journals for which he is an editor (e.g. JLC or IGPL).

All researchers in the area, but especially Ph.D. students and young
researchers, are encouraged to submit a two-page abstract (hard copy or
e-mail (plain ASCII or (La)TeX) .

SUBMISSION DETAILS AND DATES AS FOLLOWS:

* DEADLINE FOR SUBMISSIONS March 15, 1999

* SUBMIT TO
Jane Spurr , Department of computer science , King's College London,
Strand, London WC2R 2LS.
It is preferable to submit electronically to janedcs.kcl.ac.uk.

* NOTIFICATION OF ACCEPTANCE : May 15, 1999


* FURTHER NOTE 
Papers submitted to the workshop can also be considered, if the author
so wishes, as a regular submission to any of Dov Gabbay's journals.


Professor D M Gabbay 

Dept of Computer Science 
King's College 
Strand 
London WC2R 2LS

Telephone + 44 171 873 5090
Fax + 44 171 240 1071

Latex or postscript files send to Jane Spurr janedcs.kcl.ac.uk