ICoS-2 2nd CfP

[Johan Bos]

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

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



                       2nd CALL FOR PAPERS

                      second workshop on

              INFERENCE IN COMPUTATIONAL SEMANTICS
                            ICoS-2

               Dagstuhl, Germany, July 29-30, 2000

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

              (Submission deadline: April 15, 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-1 took place in Amsterdam on August 15, 1999 with an attendence
of over 50 researchers. A selection of the papers presented at ICoS-1
will be published in the Journal of Language and Computation.

ICoS-2 is endorsed by SIGSEM, the Association for Computational
Linguistics (ACL) Special Interest Group (SIG) on computational
semantics.


DATES
-----
People who would like to submit a paper, system descriptions or who
would like to attend the workshop should consider the following dates:

      Submission Deadline: April 15, 2000.
      Notification: June 1, 2000.
      Final Versions: July 10, 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
----------------

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


PROGRAM COMMITTEE
-----------------

The program committee for ICoS-2 consists of the following people:

	Nicholas Asher
	Peter Baumgartner
	Johan Bos  (Chair)
	Dick Crouch
	Nissim Francez
	Udo Hahn
	Ewan Klein
	Michael Kohlhase  (Chair)
	Alex Lascarides
	Dale Miller
	Joachim Niehren
	Steve Pulman
	Allan Ramsay
	Maarten de Rijke
	Michael Schiehlen
	Matthew Stone




SUBMISSIONS
-----------
We ask you to limit the final version of your research paper to 15
pages at most (11pt, a4paper, one column). System descriptions should
be no longer than 6 pages (11pt, a4paper, one column).  To yield a
uniform layout for the workshop proceedings, we encourage you to use
LaTeX and use \bibiographystyle{alpha} for citations.

Submission Deadline: April 15, 2000.

Send DVI, Postscript, or PDF submissions to icos2 at ags.uni-sb.de.

In addition to the workshop proceedings, we plan to publish a special
issue of the Journal of Language and Computation devoted to
ICoS-2. Shortly after the workshop, authors will be contacted by the
editors for special issue, inviting them to contribute; we may ask you
to incorporate comments/discussions/...  arising during ICoS-2 into
your paper. Details on the publication schedule for the special issue
as well as formatting instructions will be announced at the workshop.



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/