First workshop on
INFERENCE IN COMPUTATIONAL SEMANTICS
ICoS-1
http://www.illc.uva.nl/~mdr/ICoS/
Institute for Logic, Language and Computation
Amsterdam, August 15, 1999
(Early registration deadline: August 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.
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
In addition, 7 research papers and some implementations will be
presented
* P. Baumgartner and M. Kuehn
Abducing Coreference by Model Construction
* G. Bierner and B. Webber
Inference through Alternative-Set Semantics
* M. Gabsdil and K. Striegnitz
Classifying Scope Ambiguities (System Description)
* C. Gardent and K. Konrad
Definites and the Proper Treatment of Rabbits
* A. Holt, E. Klein and C. Grover
Natural Language for Hardware Verification: Semantic
Interpretation and Model Checking (System Description)
* J. Jaspars
Structural Logics for Reasoning with Underspecified
Representations
* A. Kaplan
Reason Maintenance in a Hybrid Reasoning System
* B. Ludwig
An Inference-Based Approach to the Interpretation of Discourse
* A. Ramsay and H. Seville
Models and Discourse Models
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 Institute for Logic, Language and
Computation (ILLC), 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. More
information on the ILLC including instructions how to get there can be
found at http://www.illc.uva.nl/ContactsandLinks/
REGISTRATION
Until August 1, the registration fee for ICoS-1 is 50 Dutch
guilders. After August 1, the fee is 100 Dutch guilders. The
registration fee includes the conference package and lunch.
To register, please go to:
http://www.illc.uva.nl/~christof/ICoS-1/registration.html
or fill out the form attached to this message and send it to
As it is very hard to get accommodation in Amsterdam during the
summer, it is imperative that you start looking for accommodation
now. If you are attending ESSLLI'99, you can take the train to
Amsterdam which takes approximately 30 minutes. More information on
finding accommodation in Amsterdam will be made available on the
ICoS-1 home page.
FURTHER INFORMATION
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/
*****************************************************************
ICoS-1 Registration Form
*****************************************************************
First name:
Last name:
Email:
Phone:
Fax:
Preferred address:
Special requests:
I will join the conference dinner:
[ ] yes
[ ] no
The registration fee will be collected on the spot at ICoS-1.
We kindly ask you to pay in cash.
*****************************************************************
--Christof Monz | A: ILLC Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands | R: 326 (3rd floor) | P: +31 20 525 6095 | F: +31 20 525 5101 E: christof@wins.uva.nl | W: www.illc.uva.nl/~christof