LINGUIST List 12.2359

Sun Sep 23 2001

Calls: Methods for Modalities FINAL CALL, Foreign Lang

Editor for this issue: Renee Galvis <reneelinguistlist.org>

Directory

1. Methods for Modalities, Methods for Modalities, FINAL CALL FOR SUBMISSIONS M4M-2
2. Anna Bosch, KFLC, Kentucky Foreign Language Conference

FINAL CALL FOR SUBMISSIONS

METHODS FOR MODALITIES 2 (M4M-2)

Institute for Logic, Language and Computation
University of Amsterdam 
November 29-30, 2001
www.science.uva.nl/~m4m

DEADLINE: October 12, 2001

THEME
The workshop Methods for Modalities (M4M) aims to bring together 
researchers interested in developing proof tools and reasoning methods for 
modal logic broadly conceived, including description logic, hybrid logics, 
feature logic, temporal logic, etc.

SPECIAL FEATURES 
To stimulate interaction and transfer of expertise, M4M will be centered
around a number of long presentations by leading researchers; these
presentations aim to provide both the general background and inside
information in a number of key areas. To complement these, we are inviting
submissions of short, focussed presentations aimed at highlighting new
developments and applications, and submissions of system demonstrations. 
M4M-2 is the second installment of this bi-anual workshop series.

SUBMISSIONS
We invite three kinds of submissions: 

 A. Research papers on proof tools and reasoning methods for modal logic as
 well as their applications. Submissions in this category need not be
 unpublished work; they can be up to 10 A4 size pages.
 B. System descriptions can be up to 4 A4 size pages, they should focus on
 actual implementations explaining system architecture issues and 
 specific implementation techniques. Every system description should be 
 accompanied by a system demo at M4M.
 C. Application descriptions can be up to 6 A4 size pages, they should
 focus on experieces of using modal-like languages to solve specific 
 real-world tasks. A description of the problem should be given, 
 together with an explanation of how modal like inference systems were 
 used to tackle/analyse it. If available, demos of the final 
 product/solution can be organized during M4M.

The primary means of submission will be electronic, in PostScript or PDF
format. Submissions should be sent to m4mscience.uva.nl.

PROGRAM
The following people have agreed to give long presentations:
 * Ed Brinksma (on applications of formal methods)
 * Marta Cialdea Mayer (on quantified modal logic and tableaux methods)
 * Enrico Franconi (on tools for knowledge engineering)
 * Joe Halpern (to be announced)
 * Fabio Massacci (on testing of automated deduction systems)
 * Wolfgang Thomas (on automata theory and model checking)
In addition, there will be demonstration sessions, and short presentations
of contributed papers.

PROGRAM COMMITTEE
The program committee for M4M consists of 
 Carlos Areces, ILLC, The Netherlands (co-chair), 
 Stephane Demri, LSV, ENS de Cachan and Lab. LEIBNIZ, France, 
 Joseph Halpern, Cornell University, USA, 
 Ian Horrocks, University of Manchester, United Kingdom, 
 Joost-Pieter Katoen, University of Twente, The Netherlands,
 Maarten de Rijke, ILLC, The Netherlands (co-chair), 
 Holger Schlingloff, University of Bremen, Germany,
 Renate Schmidt, University of Manchester, United Kingdom.

IMPORTANT DATES
 * Deadline for submissions: October 12, 2001
 * Notification: November 5, 2001
 * Workshop dates: November 29-30, 2001

FURTER INFORMATION
Please visit www.science.uva.nl/~m4m for further information about M4M. 

- 

M4M: Methods for Modalities www.science.uva.nl/~m4m

Call for Papers
Kentucky Foreign Language Conference
Linguistics Sessions

The 55th Annual Kentucky Foreign Language Conference will be held on
April 18-20, 2002, at the University of Kentucky in Lexington. The
conference will include sessions devoted to theoretical and
descriptive linguistics, sociolinguistics, and applied linguistics,
including special sessions this year on Semantics and Pragmatics.

If you wish to present a paper in one of these sessions, send a
one-page abstract (data, tables, and references may be on a second
page) by email to boschuky.edu.

Graduate students interested in participating in graduate student
sessions should send their abstracts to mjohar00pop.uky.edu.

Please include the following information with your abstract:
Name, affiliation, address, E-mail address, daytime phone number.


All papers will be 20 minutes in length, with an additional 10 minutes
for questions. The deadline for submission of abstracts is November
1, 2001; authors will be notified of the acceptance or rejection of
their paper in mid December.

The conference program and information about registration and hotel
accommodations is available at our website: http://www.uky.edu/AS/KFLC

Paper copies of registration information will only be mailed to
conference participants who specifically request US Postal Service
mail.