LINGUIST List 11.1450

Fri Jun 30 2000

Confs: Inference in Computational Semantics (ICoS-2)

Editor for this issue: Jody Huellmantel <>

Please keep conferences announcement as short as you can; LINGUIST will not post conference announcements which in our opinion are excessively long.


  1. Johan Bos, Inference in Computational Semantics (ICoS-2)

Message 1: Inference in Computational Semantics (ICoS-2)

Date: Thu, 29 Jun 2000 16:30:07 +0200 (MET DST)
From: Johan Bos <bosCoLi.Uni-SB.DE>
Subject: Inference in Computational Semantics (ICoS-2)


 second workshop on



 Schloss Dagstuhl, Germany, July 29-30, 2000

 * Early Registration Deadline: July 1, 2000 *

- --------
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 Logics together, in
order to discuss approaches and applications of Inference in natural
language semantics. ICoS-2 is endorsed by SIGSEM, the Association for
Computational Linguistics (ACL) Special Interest Group (SIG) on
computational semantics.

- ------
ICoS-2 will be held the International Conference And Research Center
for Computer Science SCHLOSS DAGSTUHL. Schloss Dagstuhl is situated in
the Saarland (Germany), allowing participants to reach the COLING
conference in Saarbruecken conveniently. Transport from Dagstuhl to
Saarbruecken will be organized on sunday evening or monday morning.

- --------------

	James Allen (University of Rochester)
	Christof Monz (University of Amsterdam) 
 Bonnie Lynn Webber (University of Edinburgh)

- ---------------

* Saturday, July 29 *

 9:00 Opening
 9:30 Invited Talk: Bonnie Lynn Webber tba
10:30 Coffee 
 Session I
11:00 Between proofs and models: presuppositions 
 (Tim Fernando)
11:45 Theorem Proving and Programming with Dynamic First order Logic
 (Jan van Eijck, Juan Heguiabehere, Breanndan O Nuallain)
12:30 Lunch
 Session II
14:00 Dialogue Modelling using Multiple Inferences over Information States
 (Joern Kreutel, Colin Matheson)
14:45 Discourse Connectives, Inference and Information Structure
 (Ivana Kruijff-Korbayova, Bonnie Lynn Webber)
15:30 Coffee 
 System Descriptions
16:00 The study of the anaphoric relationship on the Romanian corpora
 (Liliana Cojocaru)
16:30 System Demonstrations
18:00 Dinner
19:30 Business Meeting
22:00 Cheese in the wine cellar

* Sunday July 30 *

 9:00 Opening
 9:30 Invited Talk: Computational Semantics in Information Retrieval
 (Christoph Monz)
10:30 Coffee 
 Session III
11:00 A Natural Language Interface to a Query System
 (Raffaella Bernardi, Richard Moot)
11:45 A Natural Logic inference system
 (Yaroslav Fyodorov, Yoad Winter, Nissim Francez)
12:30 Lunch
 Session IV
14:00 Computing Presuppositions and Implicatures in Mathematical Discourse
 (Claus Zinn)
14:45 Towards a Tableaux Machine for Language Understanding
 (Michael Kohlhase, Alexander Koller)
15:30 Coffee
16:00 Invited Talk: James Allen tba
17:00 Panel Discussion
18:00 Dinner
19:00 Walk through the Dagstuhl wilderness
22:00 Cheese in the wine cellar

- ----------

Registration for ICoS-2 is now possible with the registration form:
Workshop fees will be EURO 50 (early) and EURO 75 (late), there is a
reduced rate for students of EURO 25 (early) and EURO 50 (late).
Early registration ends July 1. Accomodation for ICoS is in Dagstuhl
Castle exclusively (we have about 80 beds). The price for full board
(arriving Friday afternoon and leaving for COLING Monday morning) is
approximately EURO 200. Depending on sponsorship and attendence, there
may be reduced prices for students.

- -----------------
If you have any questions, please contact the local organizers 
Johan Bos and Michael Kohlhase via

For actual information concerning ICoS-2 please consult
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue