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

As a matter of policy, LINGUIST discourages the use of abbreviations or acronyms in conference announcements unless they are explained in the text.

- Jennifer MacDougall, The Mathematics of Language
- 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 .Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue

***** 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.ukMail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue