ICoS-2: CALL FOR PARTICIPATION

[Johan Bos]

please post!!!---please post!!!---please post!!!---please post!!!

    (Our apologies if you receive this message more than once)



                   * CALL FOR PARTICIPATION *

                      second workshop on

              INFERENCE IN COMPUTATIONAL SEMANTICS

                            ICoS-2


            Schloss Dagstuhl, Germany, July 29-30, 2000

          http://www.ags.uni-sb.de/~kohlhase/event/icos2/

           * Early Registration Deadline: July 1, 2000 *




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 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.



LOCATION
--------
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.


INVITED SPEAKERS
----------------

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


PRELIMARY PROGRAM
-----------------

* 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
------------

Registration for ICoS-2 is now possible with the registration form:

http://www.ags.uni-sb.de/~kohlhase/event/icos2/registration.html
	
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.


FURTHER INFORMATION
-------------------
If you have any questions, please contact the local organizers
Johan Bos and Michael Kohlhase via icos2 at ags.uni-sb.de.

For actual information concerning ICoS-2 please consult

    http://www.ags.uni-sb.de/~kohlhase/event/icos2/