First workshop on
INFERENCE IN COMPUTATIONAL SEMANTICS
ICoS-1
Institute for Logic, Language and Computation
Amsterdam, August 15, 1999
(Submission deadline: June 1, 1999)
Endorsed by SIGSEM, the Association for Computational Linguistics (ACL)
Special Interest Group (SIG) on computational semantics.
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. In addition, 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 for natural
language. Indeed, computational semantics has 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 first workshop on Inference in Computational Semantics (ICoS-1) intends
to bring together researchers from areas such as Computational Linguistics,
Artificial Intelligence, Computer Science, and Logic, in order to discuss
approaches and applications of inference in natural language semantics.
SUBMISSIONS
We invite two kinds of submissions: research papers on inference methods in
computational semantics as well as their applications; and system
descriptions. Research papers can be up to 10 A4 size pages (formatted
using the standard LaTeX2e options 11pt and a4paper), and system
descriptions can be up to 4 A4 size pages (again, formatted using 11pt,
a4paper as options). System descriptions should focus on actual
implementations, explaining system architecture issues and specific
implementation techniques. Every system description should be accompanied
by a system demo at ICoS-1. The primary means of submission will be
electronic, in PostScript format. Submissions should be sent to
icos1@wins.uva.nl.
DATES
* Submission deadline: June 1, 1999
* Notification date: July 1, 1999
* Final versions due: July 21, 1999
* Workshop: August 15, 1999
PROGRAM
The following people will give invited presentations:
* Johan Bos (Saarbruecken)
Automated Reasoning for Natural Language Semantics
* Steve Pulman (Cambridge and SRI International)
Bidirectional Contextual Resolution
* Matthew Stone (Rutgers)
Towards a Computational Account of Knowledge, Action and Instructions
The program committee for ICoS-1 consists of the following people:
James Allen Alex Lascarides
Patrick Blackburn Christof Monz
Denys Duchier Reinhard Muskens
Jan van Eijck Manfred Pinkal
Claire Gardent Maarten de Rijke
Jacques Jayez Len Schubert
Aravind Joshi Henk Zeevat
Michael Kohlhase
LOCATION
ICoS-1 will be held at the University of Amsterdam during the 11th European
Summer School on Logic, Language and Information (ESSLLI'99), which will be
held in Utrecht, approximately 30 km from Amsterdam.
FURTHER INFORMATION
Detailed information about the program, and about registration and
accommodation will be made available at a later stage. For further
information, please contact the local organizers at icos1@wins.uva.nl or
visit the ICoS-1 home page: http://www.illc.uva.nl/~mdr/ICoS/