ABOUT ICoSDATESLOCATIONPROGRAMSUBMISSIONS

ICoS-1

Inference in Computational Semantics

Institute for Logic, Language and Computation

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 First Workshop on Inference in Computational Semantics (ICoS-1) 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 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 (see submissions for the format), or who would like to attend the workshop should consider the following dates:

  • Submission deadline: June 1, 1999
  • Notification date: July 1, 1999
  • Final versions due: July 21, 1999
  • Workshop: August 15, 1999

Location
ICoS-1 will be held at the Institute for Logic, Language and Computation (ILLC) 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 30km from Amsterdam.
More information on the ILLC including instructions how to get there can be found here.

Program
The following people will give invited presentations:
  • Johan Bos (Saarbrücken)
    Automated Reasoning for Natural Language Semantics

  • Stephen Pulman (Cambridge and SRI International)
    Bidirectional Contextual Resolution

  • Matthew Stone (Rutgers)
    Towards a Computational Account of Knowledge, Action and Instructions
Information about contributed talks and demo's will be made available in due course. A preliminary version of the detailed program is available.

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

  • James Allen
  • Patrick Blackburn
  • Denys Duchier
  • Jan van Eijck
  • Claire Gardent
  • Jacques Jayez
  • Aravind Joshi
  • Michael Kohlhase
  • Alex Lascarides
  • Christof Monz
  • Reinhard Muskens
  • Manfred Pinkal
  • Maarten de Rijke
  • Len Schubert
  • Henk Zeevat

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. The final versions should be sent to icos1@wins.uva.nl.

Note that the final version is due July 21, 1999.

In addition to the workshop proceedings, we plan to publish a special issue of the Journal of Language and Computation devoted to ICoS-1. 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-1 into your paper. Details on the publication schedule for the special issue as well as formatting instructions will be announced at the workshop.

Registration and Further Information
To register for ICoS-1, please fill out the registration form.

As it is very hard to get accommodation in Amsterdam during the summer, it is imperative that you start looking for accommodation now!

Further information on finding accommodation can be found here.

If you have any questions, please contact the local organizers at icos1@wins.uva.nl.



[ About ICoS | Dates | Location | Program | Submissions ]


Inference in Computational Semantics
Contact Address

Henry Chinaski Productions