12.433, Calls: Modal/Temporal Logics, Lang/Cognitive Science

Fri Feb 16 21:19:50 UTC 2001

LINGUIST List:  Vol-12-433. Fri Feb 16 2001. ISSN: 1068-4875.

Subject: 12.433, Calls: Modal/Temporal Logics, Lang/Cognitive Science

Moderators: Anthony 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 (reviews at linguistlist.org):
	Simin Karimi, U. of Arizona
	Terence Langendoen, U. of Arizona

Editors (linguist at linguistlist.org):
	Karen Milligan, WSU 		Naomi Ogasawara, EMU
	Lydia Grebenyova, EMU		Jody Huellmantel, WSU
	James Yuells, WSU		Michael Appleby, EMU
	Marie Klopfenstein, WSU		Ljuba Veselinova, Stockholm U.

Software: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
          Gayathri Sriram, E. Michigan U. <gayatri at linguistlist.org>

Home Page:  http://linguistlist.org/

The LINGUIST List is funded by Eastern Michigan University, Wayne
State University, and donations from subscribers and publishers.

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:  Fri, 16 Feb 2001 09:24:19 +0100 (MET)
From:  Carola Dori <dori at itc.it>
Subject: Design/Experimental Evaluation of Systems for Modal and Temporal Logics

2)
Date:  Thu, 15 Feb 2001 12:04:50 -0700 (MST)
From:  "Tania S. Zamuner" <zamuner at U.Arizona.EDU>
Subject:  Coyote Papers 12: Language in Cognitive Science

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

Date:  Fri, 16 Feb 2001 09:24:19 +0100 (MET)
From:  Carola Dori <dori at itc.it>
Subject: Design/Experimental Evaluation of Systems for Modal and Temporal Logics

************************************************************************
			  IJCAR workshop on

	 Issues in the Design and Experimental Evaluation of
		Systems for Modal and Temporal Logics

             http://www.mrg.dist.unige.it/~enrico/wkshp-ijcar.html

		       Siena, June 18-19, 2001
************************************************************************

Topic
*****
The aim of this workshop is to bring together people who are
interested in the development and experimental evaluation of systems
for modal, temporal and description logics. The emphasis of the
workshop is on the identification of open problems and the discussion
of possible solutions under the theme:
- - Which are the key issues in the design of modal and temporal systems?
- - What is a good benchmark set?
- - What is a good comparative evaluation?

The workshop will consist of three parts on each of these questions,
with invited speaker starting the discussion followed by contributions
from the participants. An overall panel will conclude the
workshop. Topics of interest include (but are not limited to)
- - Tableaux vs Translations Methods
- - SAT-based vs BDD-based techniques
- - Running Time vs Scaling abilities
- - Random Benchmarks vs Industrial Case Studies

Submission
**********
Submissions are encouraged in one of the following two categories:
A. Regular paper: Submissions in this category should describe
   completed work or work in progress, including description of
   researches, testing methodologies, tools, and applications. The
   length of submitted papers should be no more than 10 pages in LNCS
   style.
B. Discussion paper: Submissions in this category are intended to
   initiate discussions. They should address controversial issues and
   may include bold provocative statements on the above themes. The
   length of papers should be no more than 5 pages in LNCS style.

Submissions should be prepared following the LNCS guidelines and sent
in postscript format by e-mail to Enrico Giunchiglia (subject:
IJCAR-workshop Submission). The category (either A or B) must be
clearly indicated. Please include also address and e-mail of the
contact author into the submission e-mail.

Publication
***********
Accepted papers will be distribuited as part of the workshop working
notes. Some of the papers might be published in a special issue of an
international journal (to be confirmed, check the web site).

Participation
*************
Participation will be open to authors, the invited speakers and the
people in the PC. If you wish to attend without presenting a paper,
please send a brief e-mail to Enrico Giunchiglia (subject:
IJCAR-workshop participation) with a brief summary of your research
interests. Note that all participants must register to IJCAR.

Program Committee
*****************
A. Biere (ETH, Zurich)
E. Giunchiglia (U. Genova, Organiser)
F. Giunchiglia (U. Trento)
I. Gent (U. St. Andrews)
I. Horrocks (U. Manchester)
F. Massacci (U. Siena)

Important dates
***************
Submission deadline: April 1, 2001
Notification of acceptance: April 30, 2001
Final version due: May 13, 2001
Early registration: to be announced

Further Infos
*************
For up-to-date information, see the workshop web site
http://www.mrg.dist.unige.it/~enrico/wkshp-ijcar.html
or contact Enrico Giunchiglia (subject: IJCAR-workshop infos).

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

Date:  Thu, 15 Feb 2001 12:04:50 -0700 (MST)
From:  "Tania S. Zamuner" <zamuner at U.Arizona.EDU>
Subject:  Coyote Papers 12: Language in Cognitive Science

CALL FOR PAPERS!

Coyote Papers: University of Arizona Working Papers in Linguistics
Volume 12: Language in Cognitive Science
Extended submission Deadline: Midnight, March 31, 2001

The University of Arizona Graduate Student Linguistics Circle invites you
to submit working papers on psycholinguistics and computational
linguistics for a new electronic volume of the Coyote Papers to be
published in 2001. Submitting authors may be graduate students or faculty
members. Submissions are limited to a maximum of one individual and one
joint paper per author.

Papers should be no longer than 10 single-spaced pages (excluding
references, figures, and appendices) and should strictly adhere to the
formatting guidelines in the style sheet. The style sheet can be
downloaded from:

http://wacky.ccit.arizona.edu/~ling/webpages/cp12call.htm

In addition, please include a 150 word abstract separate from your paper.
Papers which do not adhere to the formatting guidelines will not be
considered. Please provide three hard copies.

Submissions via e-mail will also be accepted as long as they are received
by the deadline. Submission of hard copies is not required for email
submissions. Submissions via fax will not be accepted.

Notification of acceptance and reviews will be given in the end of April.
Final revisions will be due in the end of May.

This will be an electronic volume which will be available online in pdf
format at no charge; there will be a printed version available at an extra
cost.

Submissions should be sent to Coyote Papers, Department of Linguistics,
Douglass 200E, University of Arizona, Tucson, AZ 85721, U.S.A.

For more information about Coyote Papers, see the web site at:
http://wacky.ccit.arizona.edu/~ling/webpages/Coyote.html

Questions should be addressed to the editors by email.

Editors, Coyote Papers 12: Language in Cognitive Science:
Rachel L. Hayes <rhayes at u.arizona.edu>
William D. Lewis <wlewis at u.arizona.edu>
Erin L. O'Bryan <obryan at u.arizona.edu>
Tania S. Zamuner <zamuner at u.arizona.edu>

---------------------------------------------------------------------------
LINGUIST List: Vol-12-433