CALL FOR PAPERS second workshop on INFERENCE IN COMPUTATIONAL SEMANTICS ICoS-2 Dagstuhl, Germany, July 29-30, 2000 (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. PROGRAM ------- There will be three invited presentations (to be announced later). Information about contributed talks and demo's will be made available in due course. The program committee for ICoS-2 consists of the following people: (two more to be confirmed) Nicholas Asher Peter Baumgartner Johan Bos (Chair) Dick Crouch Nissim Francez Udo Hahn Michael Kohlhase (Chair) Dale Miller Christof Monz Joachim Niehren 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. Note that the final version is due July 10, 2000. 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 (bos@coli.uni-sb.de) and Michael Kohlhase (kohlhase@ags.uni-sb.de). For actual information concerning ICoS-2 please consult http://www.ags.uni-sb.de/~kohlhase/event/icos2/