12.1329, Confs: Inference in Comp Semantics: ICoS-3, Italy
The LINGUIST Network
linguist at linguistlist.org
Tue May 15 16:59:31 UTC 2001
LINGUIST List: Vol-12-1329. Tue May 15 2001. ISSN: 1068-4875.
Subject: 12.1329, Confs: Inference in Comp Semantics: ICoS-3, Italy
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.
Heather Taylor-Loring, EMU
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: Lydia Grebenyova <lydia at linguistlist.org>
==========================================================================
Please keep conferences announcement as short as you can; LINGUIST
will not post conference announcements which in our opinion are
excessively long.
=================================Directory=================================
1)
Date: Sun, 13 May 2001 09:35:52 -0400
From: Michael Kohlhase <kohlhase at cs.cmu.edu>
Subject: Inference in Computational Semantics: ICoS-3 at IJCAR, Italy
-------------------------------- Message 1 -------------------------------
Date: Sun, 13 May 2001 09:35:52 -0400
From: Michael Kohlhase <kohlhase at cs.cmu.edu>
Subject: Inference in Computational Semantics: ICoS-3 at IJCAR, Italy
* CALL FOR PARTICIPATION *
third workshop on
INFERENCE IN COMPUTATIONAL SEMANTICS
ICoS-3
Siena, Italy, June 18-19, 2001
http://www.cs.cmu.edu/~kohlhase/event/icos3/
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-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, TABLEAUX), and is therefore a
good chance to meet the automated reasoning community.
ICoS-3 is endorsed by SIGSEM, the Association for Computational
Linguistics (ACL) Special Interest Group (SIG) on computational
semantics.
DATES
- ---
Early Registration until: May 15, 2001.
ICoS-3 Workshop: June 18-19, 2001.
IJCAR: June 18-23, 2001
TENTATIVE PROGRAM
- ----------------
The following program is subject to change. For up to date
information, see:
http://www.cs.cmu.edu/~kohlhase/event/icos3/program.html .
Monday, June 18
- -------------
9:00 - 9:15 Opening; The organizers
9:15 - 10:15 Invited Talk: TBA; Ian Pratt-Hartmann;
10:15 - 10:30 Discussion
10:30 - 11:00 Coffee/Tea Break
11:00 - 12:30 Tutorial: Automated Reasoning for
Computational Semanticists Uli Furbach
12:30 - 14:00 Lunch (included in ICoS-3 Reg.)
14:00 - 14:30 Relevant Answers to WH Questions Allan Ramsay &
Helen Gaylard
14:30 - 15:00 Model Checking for Contextual
Reasoning in NLG Kristina Striegnitz
15:00 - 15:30 Analyzing the Core of Categorial Carlos Areces &
Grammar Raffaella Bernardi
15:30 - 16:00 Coffee/Tea Break
16:00 - 16:15 Semantics of Natural Language
Expressions and Inference Verification Ales Horak &
in TIL Leo Hadacz
16:15 - 16:30 Quasi-NL Knowledge Representation for Jana Sukkarieh
Structurally-Based Inferences
16:30 - 16:45 System Description: DORIS 2001 Johan Bos
16:45 - 17:00 Financial advisor: technique of Boris Galitsky
semantic headers
17:00 - 18:30 Discussion, System Demonstrations
20:00 - ??:?? ICoS-3 Dinner
Tuesday, June 19
- --------------
9:00 - 9:15 Opening The organizers
9:15 - 10:15 Invited Talk: TBA Alexander Koller
10:15 - 10:30 Discussion
10:30 - 11:00 Coffee/Tea Break
11:00 - 12:30 Tutorial: Linguistics for Automaters Claire Gardent
of Reasoning
12:30 - 14:00 Lunch (included in ICoS-3 registration)
14:00 - 14:30 Dialogue Systems as Proof Editors Aarne Ranta &
Robin Cooper
14:30 - 15:00 The Color of Semantic Opposition Sandiway Fong
in Wordnet
15:00 - 15:30 Reasoning without Believing: Manfred Kerber &
Mechanizing Presuppositions Michael Kohlhase
and Partiality
15:30 - 16:00 Coffee/Tea Break
16:00 - 17:00 Light-Weight Subsumption Checking Christof Monz &
for Computational Semantics Maarten de Rijke
16:30 - 17:30 Invited Talk: Natural Languages are David Israel
Programming Languages
for Minds: Some
(Further) Thoughts
17:30 - 18:30 Panel Discussion
REGISTRATIION
- -----------
In a nutshell, there are two registration options:
- ICoS only: covers all of the ICoS-3 workshop including the tutorials
and the IJCAR opening reception, this is 260 Euro (early)
and 335 Euro (late).
- with IJCAR: you register for IJCAR and add on ICoS as a workshop
(65 Euro).
Registration is handled by IJCAR at
http://www.dii.unisi.it/~ijcar/Logistics/registration.html
FURTHER INFORMATION
- -----------------
If you have any questions, please contact the Program Chairs
Patrick Blackburn and Michael Kohlhase via icos3 at ags.uni-sb.de.
For further information concerning ICoS-3 please consult
http://www.cs.cmu.edu/~kohlhase/event/icos3/
---------------------------------------------------------------------------
LINGUIST List: Vol-12-1329
More information about the LINGUIST
mailing list