10.501, Calls: Methods for Modalities, Linguistics/Language

Thu Apr 8 03:27:50 UTC 1999

LINGUIST List:  Vol-10-501. Wed Apr 7 1999. ISSN: 1068-4875.

Subject: 10.501, Calls: Methods for Modalities, Linguistics/Language

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:  Tue, 6 Apr 1999 21:58:54 +0200 (MET DST)
From:  m4m at wins.uva.nl (Methods for Modalities)
Subject:  M4M: Call for Participation

2)
Date:  Tue, 6 Apr 1999 08:51:23 -0600 (MDT)
From:  NANCY MAE ANTRIM <nantrim at mail.utep.edu>
Subject:  call for papers WECOL

-------------------------------- Message 1 -------------------------------

Date:  Tue, 6 Apr 1999 21:58:54 +0200 (MET DST)
From:  m4m at wins.uva.nl (Methods for Modalities)
Subject:  M4M: Call for Participation

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 (marco at wins.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/

-------------------------------- Message 2 -------------------------------

Date:  Tue, 6 Apr 1999 08:51:23 -0600 (MDT)
From:  NANCY MAE ANTRIM <nantrim at mail.utep.edu>
Subject:  call for papers WECOL

				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 WECOL at UTEP.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: nantrim at mail.utep.edu

---------------------------------------------------------------------------
LINGUIST List: Vol-10-501