LINGUIST List 10.501

Wed Apr 7 1999

Calls: Methods for Modalities, Linguistics/Language

Editor for this issue: Jody Huellmantel <>

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


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

Message 1: M4M: Call for Participation

Date: Tue, 6 Apr 1999 21:58:54 +0200 (MET DST)
From: Methods for Modalities <>
Subject: M4M: Call for Participation



Institute for Logic, Language and Computation
University of Amsterdam 
May 6-7, 1999


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.

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.

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 for full details.

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

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 (

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

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).

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


M4M: Methods for Modalities ILLC, Univ of Amsterdam, May 6-7, 1999
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue

Message 2: call for papers WECOL

Date: Tue, 6 Apr 1999 08:51:23 -0600 (MDT)
Subject: call for papers WECOL

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


			 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

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