ELSNET-list archive

Category:   E-CFP
Subject:   3rd Workshop on Inference in Computational Semantics
From:   Priscilla Rasmussen
Email:   rasmusse_(on)_cs.rutgers.edu
Date received:   31 Jan 2001
Deadline:   15 Mar 2001
Start date:   18 Jun 2001

* SECOND CALL FOR PAPERS * third workshop on INFERENCE IN COMPUTATIONAL SEMANTICS ICoS-3 Siena, Italy, June 18-20, 2001 http://www.cs.cmu.edu/ %7Ekohlhase/event/icos3/ (Submission deadline: March 15, 2001) 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 Logic 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 attendance of over 50 researchers. A selection of the papers presented at ICoS-1 has been published in a special issue of the Journal of Language and Computation. ICoS-2 took place in Dagstuhl Castle, Germany, on July 29-30, 2000. Although the attendance was only 30, it was an intense and communicative meeting. A selection of the papers presented at ICoS-2 will be published in the Journal of Language and Computation. ICoS-3 will be co-located with the the International Joint Conference on Automated Reasoning (IJCAR 2001, which takes place June 18-23, 2001 at Siena, Italy. IJCAR is a joint meeting of all major conferences on automated theorem proving (CADE, FTP, TABLEAUX), and is therefore a good chance to meet the theorem proving community. ICoS-3 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: March 15, 2001. Notification: April 15, 2001. Final Versions: May 15. 2001. Early Registration until: June 1., 2001. ICoS-3 Tutorials June 18, 2001. ICoS-3 Workshop: June 19-20, 2001. IJCAR: June 18-23, 2001 INVITED SPEAKERS ---------------- We anticipate having three invited talks at ICoS-3. Two of the invited speakers are: David Israel (SRI International) Alexander Koller (Saarbruecken) The other speaker will be announced in due course. Tutorials --------- We will start off the workshop with two tutorials on June 18. This gives the researchers from automated reasoning and computational semantics respectively to get an understanding of the other field before the actual workshop. The tutorials will given by Claire Gardent (CNRS, Nancy): Computational Semantics for automated reasoners Uli Furbach (Univ. Koblenz): Automated Reasoning for computational semanticists PROGRAM COMMITTEE ----------------- The program committee for ICoS-3 consists of the following people: Patrick Blackburn, INRIA Lorraine (co-chair) Michael Kohlhase, Carnegie-Mellon University (co-chair) Johan Bos, Edinburgh Peter Baumgartner, Koblenz David Beaver, Stanford Dick Crouch, Xerox Parc Maarten de Rijke, Amsterdam Nissim Francez, Haifa Udo Hahn, Freiburg Gerard Huet, INRIA Rocquencourt Dale Miller, State College Martha Palmer, UPenn Stephen Pulman, Oxford Matthew Stone, Rutgers Univ Jun-ichi Tsuji, Tokyo Bonnie Webber, Edinburgh SUBMISSIONS ----------- We invite three kinds of submissions (LaTeX2e, 11pt, one column, a4paper (not a4wide.sty)): - research papers on inference methods in computational semantics as well as their applications (15 pages), - system descriptions (6 pages), 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-3. - system demos (2 page abstracts): People who would like demonstrate systems that address inference in computational semantics should send two-page abstracts. Research papers and system descriptions will be peer-refereed by the programme committee above, system demos are only screened for appropriateness by the program chairs. SUBMISSION DEADLINE: March 15, 2001. NOTIFICATION: April 15, 2001. The primary means of submission will be electronic, in PostScript format. Submissions should be sent to the organizers.icos3_(on)_ags.uni-sb.de In addition to the (informal) workshop proceedings, we plan to publish a special issue of the Journal of Language and Computation devoted to ICoS-3. 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-3 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 If you have any questions, please contact the local organizers at icos3_(on)_ags.uni-sb.de. FURTHER INFORMATION ------------------- If you have any questions, please contact the local organizers Patrick Blackburn and Michael Kohlhase via icos3_(on)_ags.uni-sb.de. For actual information concerning ICoS-3 please consult http://www.cs.cmu.edu/ %7Ekohlhase/event/icos3/

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 14-02-2008 by Steven Krauwer Disclaimer / Contact ELSNET