LINGUIST List 12.1329

Tue May 15 2001

Confs: Inference in Comp Semantics: ICoS-3, Italy

Editor for this issue: Lydia Grebenyova <lydialinguistlist.org>

Directory

1. Michael Kohlhase, Inference in Computational Semantics: ICoS-3IJCAR, 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 icos3ags.uni-sb.de.

For further information concerning ICoS-3 please consult
 http://www.cs.cmu.edu/~kohlhase/event/icos3/