10.100, Calls: Mathematics of Language, Conditional Logic
LINGUIST Network
linguist at linguistlist.org
Fri Jan 22 21:00:59 UTC 1999
LINGUIST List: Vol-10-100. Fri Jan 22 1999. ISSN: 1068-4875.
Subject: 10.100, Calls: Mathematics of Language, Conditional Logic
Moderators: Anthony Rodrigues Aristar: Wayne State U.<aristar at linguistlist.org>
Helen Dry: Eastern Michigan U. <hdry at linguistlist.org>
Andrew Carnie: U. of Arizona <carnie at linguistlist.org>
Reviews: Andrew Carnie: U. of Arizona <carnie at linguistlist.org>
Associate Editors: Martin Jacobsen <marty at linguistlist.org>
Brett Churchill <brett at linguistlist.org>
Ljuba Veselinova <ljuba at linguistlist.org>
Assistant Editors: Scott Fults <scott at linguistlist.org>
Jody Huellmantel <jody at linguistlist.org>
Karen Milligan <karen at linguistlist.org>
Software development: John H. Remmers <remmers at emunix.emich.edu>
Chris Brown <chris at linguistlist.org>
Home Page: http://linguistlist.org/
Editor for this issue: Jody Huellmantel <jody at linguistlist.org>
==========================================================================
As a matter of policy, LINGUIST discourages the use of abbreviations
or acronyms in conference announcements unless they are explained in
the text.
=================================Directory=================================
1)
Date: Fri, 22 Jan 1999 15:41:36 EST
From: Jennifer MacDougall <jmacdoug at central.cis.upenn.edu>
Subject: The Mathematics of Language
2)
Date: Fri, 22 Jan 1999 17:33:15 +0000
From: Dov Gabbay <dg at dcs.kcl.ac.uk>
Subject: Conditional and non-monotonic Logic
-------------------------------- Message 1 -------------------------------
Date: Fri, 22 Jan 1999 15:41:36 EST
From: Jennifer MacDougall <jmacdoug at central.cis.upenn.edu>
Subject: The Mathematics of Language
+=+=+=+=+=+=+=+=+=+=+ 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-submit at cis.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
jrogers at cs.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 .
-------------------------------- Message 2 -------------------------------
Date: Fri, 22 Jan 1999 17:33:15 +0000
From: Dov Gabbay <dg at dcs.kcl.ac.uk>
Subject: Conditional and non-monotonic Logic
***** 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 jane at dcs.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 jane at dcs.kcl.ac.uk
---------------------------------------------------------------------------
LINGUIST List: Vol-10-100
More information about the LINGUIST
mailing list