ICoS-2: CALL FOR SYSTEM-DEMOS

[Johan Bos]

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

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



	       * CALL FOR SYSTEM DEMONSTRATIONS *

                       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/

              (Submission deadline: June 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.


DATES
-----
People who would like demonstrate systems that address inference in
computational semantics should consider the following dates:

      Submission Deadline for System Demos: June 12, 2000.
      Notification: June 19, 2000.
      ICoS-2: July 29-30, 2000.
      (COLING: July 31 - August 4, 2000)


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 are James Allen (University of Rochester) Christof
Monz (University of Amsterdam) and Bonnie Webber (University of
Edinburgh). Dagstuhl offers rich computing facilities.
	

SUBMISSIONS
-----------
A two-page abstract containing a description of the system
and the demonstration.

Submission Deadline: June 1, 2000.

Submissions can be sent to icos2 at ags.uni-sb.de.  Please use plain
text, latex, dvi, postscript, or pdf format.



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/