LINGUIST List 10.501

Wed Apr 7 1999

Calls: Methods for Modalities, Linguistics/Language

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

Directory

1. Methods for Modalities, M4M: Call for Participation
2. NANCY MAE ANTRIM, call for papers WECOL

CALL FOR PARTICIPATION

METHODS FOR MODALITIES 1 (M4M)


Institute for Logic, Language and Computation
University of Amsterdam 
May 6-7, 1999
http://www.illc.uva.nl/~mdr/M4M/

DEADLINE FOR EARLY REGISTRATION: May 1, 1999

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

SPECIAL FEATURES
To stimulate interaction and transfer of expertise, M4M will be
centered around a number of long presentations by leading researchers;
these presentations will provide both the background and inside
information in a number of key areas. To complement these, there will
be short, focussed presentations aimed at highlighting new
developments, as well as system demonstrations.

PROGRAM
Long presentations:
 * David Basin - Verification Based on Monadic Logic
 * Patrick Blackburn - Labeled Deduction and Tableaux
 * Ian Horrocks - Tableaux Implementations
 * Hans de Nivelle - Resolution Implementations
 * Renate Schmidt - Resolution-Based Methods
 * Roberto Sebastiani - Testing and Efficiency

Contributed papers:
 * Alechina and Immerman - Efficient Fragment of Transitive Closure Logic
 * Bleeker and Meertens - Knowledge in Security Protocols 
 * Cerrito, Mayer, and Praud - First-Order Linear Time Temporal Logic 
 over Finite Time Frames is not Semi-Decidable 
 * Van Eijk, de Boer, van der Hoek, and Meyer - A Modal Interpretation 
 of Quantification 
 * Farinas del Cerro and Gasquet - Tableaux Based Decision Procedures 
 for Modal Logics of Confluence and Density 
 * Governatori and Rotolo - Labelled Modal Sequents 
 * Horrocks and Patel-Schneider - Generating Hard Modal Problems for 
 Modal Decision Procedures 
 * Horrocks, Sattler and Tobies - Practical Reasoning for Description Logics 
 * Ohlbach - A Theory Resolution Style ABox Calculus 

System Demonstrations:
 * Cunningham and Pitt - KE 
 * Hendriks - Akka 
 * Horrocks - FaCT 
 * Marx and Schlobach - lc2
 * de Nivelle - Bliksem 
 * Patel-Schneider - DLP 

Please consult http://www.illc.uva.nl/~mdr/M4M/program.html for full details.

REGISTRATION
The early registration fee for M4M is 100 Dutch guilders; the fee
includes 2 lunches, coffee and tea services as well as a copy of the
informal workshop proceedings. To register, please visit the
registration page at

 http://www.illc.uva.nl/~mdr/M4M/registration.html

The preferred method of payment is electronically (see the
registration page for details), although it is possible to pay the fee
on the spot, this is strongly discouraged. The late registration fee
is 150 guilders.

Affordable accommodation is very hard to come by in Amsterdam; we have
reserved a block of rooms for participants of M4M in the Best Western
Eden Hotel (***) at 180 Dutch guilders per night. The address is
Amstel 144, 1017 AE Amsterdam, tel +31 20 530 7878, fax +31 20 623
3267. Please confirm your reservation at least 2 weeks in advance
through the M4M secretary Marco de Vries (marcowins.uva.nl).

IMPORTANT DATES
 * Deadline early registration: May 1, 1999
 * Workshop dates: May 6, 7, 1999

PROGRAM COMMITTEE
The program committee for M4M consists of Carlos Areces (Amsterdam),
Enrico Franconi (Manchester), Rajeev Gore (Canberra), Hans de Nivelle
(Amsterdam/Saarbruecken), Hans Juergen Ohlbach (London), Maarten de
Rijke (Amsterdam), Holger Schlingloff (Bremen).

SPONSORS
M4M is generously sponsored by the Netherlands Organization for
Scientific Research (NWO), the Computational Logic Group at ILLC, the
Spinoza project `Logic in Action', Henry Chinaski Productions, and
DFG.

- 

M4M: Methods for Modalities ILLC, Univ of Amsterdam, May 6-7, 1999
 http://www.illc.uva.nl/~mdr/M4M/

				WECOL 99
		 Western Conference on Linguistics
		 The University of Texas at El Paso
			 October 22-24, 1999


			 FIRST CALL FOR PAPERS

			 Keynote Speakers

			 Frederick Newmeyer
			University of Washington

			 Michael Hammond
			University of Arizona

Abstracts are invited for 20-minute talks in all areas of linguistics.
Abstracts must be no more than one page (including data and
references), single-spaced and in at least 12-point type (10-point for
examples), with one-inch margins on all sides. All submissions must
include the following:

	* five anonymous copies of the abstract
	* one copy of the abstract with authors name and affiliation
	* one 3x5 card with name, affiliation, address, phone number,
 e-mail address and paper title

Deadline for receipt of abstracts is June 1, 1999.

Send abstracts to:
	
		WECOL Abstract Committee
		Department of Languages and linguistics
		The University of Texas at El Paso
		El Paso, Texas 79968

Fax and e-mail submissions will not be accepted. An individual may
submit at most one single and one co-authored paper.	

Authors whose abstracts are accepted will be notified around the beginning
of July by e-mail.

For more information e-mail WECOLUTEP.EDU or visit the conference website
at http://www.utep.edu/wecol				


*****************************************************************************
Nancy Mae Antrim
Dept. of Languages and Linguistics
University of Texas at El Paso
El Paso, Texas 79968-0531
Tel: (915) 747-7045
Fax: (915) 747-5292
e-mail: nantrimmail.utep.edu