11.2575, Calls: Computational Semantics, Motivating Movement
The LINGUIST Network
linguist at linguistlist.org
Thu Nov 30 00:42:28 UTC 2000
LINGUIST List: Vol-11-2575. Wed Nov 29 2000. ISSN: 1068-4875.
Subject: 11.2575, Calls: Computational Semantics, Motivating Movement
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: Andrew Carnie: U. of Arizona <carnie at linguistlist.org>
Editors: Karen Milligan, Wayne State U. <karen at linguistlist.org>
Michael Appleby, E. Michigan U. <michael at linguistlist.org>
Rob Beltz, E. Michigan U. <rob at linguistlist.org>
Lydia Grebenyova, E. Michigan U. <lydia at linguistlist.org>
Jody Huellmantel, Wayne State U. <jody at linguistlist.org>
Marie Klopfenstein, Wayne State U. <marie at linguistlist.org>
Naomi Ogasawara, E. Michigan U. <naomi at linguistlist.org>
James Yuells, Wayne State U. <james at linguistlist.org>
Ljuba Veselinova, Stockholm U. <ljuba at linguistlist.org>
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: Wed, 29 Nov 2000 19:11:06 -0500
From: Michael Kohlhase <kohlhaser at cs.cmu.edu>
Subject: Inference in Computational Semantics (ICoS-3)
2)
Date: Wed, 29 Nov 2000 21:42:28 -0000
From: "Alison Henry (Prof)" <AM.Henry at ulst.ac.uk>
Subject: Motivating Movement conference: CORRECTION to email address
-------------------------------- Message 1 -------------------------------
Date: Wed, 29 Nov 2000 19:11:06 -0500
From: Michael Kohlhase <kohlhaser at cs.cmu.edu>
Subject: Inference in Computational Semantics (ICoS-3)
* FIRST CALL FOR PAPERS *
third workshop on
INFERENCE IN COMPUTATIONAL SEMANTICS
ICoS-3
Siena, Italy, June 18-20, 2001
http://www.cs.cmu.edu/~kohlhase/event/icos3/
(Submission deadline: March 15, 2001)
ABOUT ICoS
- --------
Traditional inference tools (such as theorem provers and model
builders) are reaching new levels of sophistication and are now widely
and easily available. A wide variety of new tools (statistical and
probabilistic methods, ideas from the machine learning community) are
likely to be increasingly applied in computational semantics. Most
importantly of all, computational semantics seems to have reached the
stage where the exploration and development of inference is one of its
most pressing tasks - and there's a lot of interesting new work which
takes inferential issues seriously.
The Workshop on Inference in Computational Semantics (ICoS) intends to
bring researchers from areas such as Computational Linguistics,
Artificial Intelligence, Computer Science, and Logic together, in
order to discuss approaches and applications of Inference in natural
language semantics.
ICoS-1 took place in Amsterdam on August 15, 1999 with an attendance
of over 50 researchers. A selection of the papers presented at ICoS-1
has been published in a special issue of the Journal of Language and
Computation.
ICoS-2 took place in Dagstuhl Castle, Germany, on July 29-30,
2000. Although the attendance was only 30, it was an intense and
communicative meeting. A selection of the papers presented at ICoS-2
will be published in the Journal of Language and Computation.
ICoS-3 will be co-located with the the International Joint Conference
on Automated Reasoning (IJCAR 2001, which takes place June 18-23, 2001
at Siena, Italy. IJCAR is a joint meeting of all major conferences on
automated theorem proving (CADE, FTP, TABLEUAX), and is therefore a
good chance to meet the theorem proving community.
ICoS-3 is endorsed by SIGSEM, the Association for Computational
Linguistics (ACL) Special Interest Group (SIG) on computational
semantics.
DATES
- ---
People who would like to submit a paper, system descriptions or who
would like to attend the workshop should consider the following dates:
Submission Deadline: March 15, 2001.
Notification: April 15, 2001.
Final Versions: May 15. 2001.
Early Registration until: June 1., 2001.
ICoS-3 Tutorials June 18, 2001.
ICoS-3 Workshop: June 19-20, 2001.
IJCAR: June 18-23, 2001
INVITED SPEAKERS
- --------------
We anticipate having three invited talks at ICoS-3. One will be given by
Alexander Koller (Saarbruecken)
The other speakers will be announced in due course.
Tutorials
- -------
We will start off the workshop with two tutorials on June 18. This
gives the researchers from automated reasoning and computational
semantics respectively to get an understanding of the other field
before the actual workshop. The tutorials will given by
Claire Gardent (CNRS, Nancy): Computational Semantics
for automated reasoners
Uli Furbach (Univ. Koblenz): Automated Reasoning
for computational semanticists
PROGRAM COMMITTEE
- ---------------
The program committee for ICoS-3 consists of the following people:
Patrick Blackburn, INRIA Lorraine (co-chair)
Michael Kohlhase, Carnegie-Mellon University (co-chair)
Johan Bos, Edinburgh
Peter Baumgartner, Koblenz
David Beaver, Stanford
Dick Crouch, Xerox Parc
Maarten de Rijke, Amsterdam
Nissim Franchez, Tel Aviv
Udo Hahn, Freiburg
Gerard Huet, INRIA Rocquencourt
Dale Miller, State College
Martha Palmer, UPenn
Stephen Pulman, Oxford
Mathew Stone, Rutgers Univ
Jun-ichi Tsuji, Tokyo
Bonnie Webber, Edinburgh
SUBMISSIONS
- ---------
We invite three kinds of submissions
(LaTeX2e, 11pt, one column, a4paper (not a4wide.sty)):
- research papers on inference methods in computational semantics as well
as their applications (15 pages),
- system descriptions (6 pages), System descriptions should focus on
actual implementations, explaining system architecture issues and
specific implementation techniques. Every system description should be
accompanied by a system demo at ICoS-3.
- system demos (2 page abstracts): People who would like demonstrate
systems that address inference in computational semantics should send
two-page abstracts.
Research papers and system descriptions will be peer-refereed by the
programme committee above, system demos are only screened for
appropriateness by the program chairs.
SUBMISSION DEADLINE: March 15, 2001.
NOTIFICATION: April 15, 2001.
The primary means of submission will be electronic, in PostScript
format. Submissions should be sent to the organizers.icos3 at ags.uni-sb.de
In addition to the (informal) workshop proceedings, we plan to publish
a special issue of the Journal of Language and Computation devoted to
ICoS-3. Shortly after the workshop, authors will be contacted by the
editors for special issue, inviting them to contribute; we may ask you
to incorporate comments/discussions/... arising during ICoS-3 into
your paper. Details on the publication schedule for the special issue
as well as formatting instructions will be announced at the workshop.
Registration and Further Information If you have any questions, please
contact the local organizers at icos3 at ags.uni-sb.de.
FURTHER INFORMATION
- -----------------
If you have any questions, please contact the local organizers
Patrick Blackburn and Michael Kohlhase via icos3 at ags.uni-sb.de.
For actual information concerning ICoS-3 please consult
http://www.cs.cmu.edu/~kohlhase/event/icos3/
-------------------------------- Message 2 -------------------------------
Date: Wed, 29 Nov 2000 21:42:28 -0000
From: "Alison Henry (Prof)" <AM.Henry at ulst.ac.uk>
Subject: Motivating Movement conference: CORRECTION to email address
Motivating Movement: explaining the displacement property in natural language
THERE WAS AN ERROR IN THE EMAIL ADDRESS IN THIS
REMINDER (BUT NOT IN THE INITIAL CALL) The email
address for abstracts is AM.Henry at ulst.ac.uk and NOT
Henry at ulst.ac.uk. Abstracts delayed because of this
which are resent will be accepted up to 2nd December.
REMINDER: THE DEADLINE FOR ABSTRACTS IS 30
NOVEMBER 2000
Conference Dates: 26-28 January 2001
University of Ulster at Jordanstown
Invited speakers:
Liliane Haegeman Lille
Jim McCloskey UCSC
David Pesetsky MIT
This conference aims to bring together syntacticians to consider what
is probably one of the key issues in syntactic theory. Why do
languages have (apparent) processes which move elements in
sentences/derivations? Is this an 'imperfection' of the system? What
triggers displacement? What is the nature of EPP?
Papers are invited on syntax (including acquisition and syntactic
change) which throw light on why apparent movement exists, how it
should be handled in syntactic theory, or the nature of 'movement'
processes in particular languages or sentence types.
Guidelines for submission of abstracts:
Deadline for receipt of abstracts: 30 November 2000
Abstracts should not exceed two pages in 12-point font.
Abstracts should be submitted to:
Motivating Movement Conference
c/o Prof. Alison Henry
Linguistics Division
School of Psychology and Communication
University of Ulster at Jordanstown
Newtownabbey
BT37 0QB
N Ireland
Send 6 anonymous copies plus one with name and affiliation, plus a 3X5
card giving name, affiliation, paper title, address, email address,
telephone.
or by email to :
AM.Henry at ulst.ac.uk
with Motivating Movement Conference as the subject or by fax to:
02890-368251 (within UK)
+44-2890-368251 (from outside UK)
clearly marked 'Motivating Movement Conference'
---------------------------------------------------------------------------
LINGUIST List: Vol-11-2575
More information about the LINGUIST
mailing list