Editor for this issue: Jody Huellmantel <jody
linguistlist.org>
* FIRST CALL FOR PAPERS * third workshop on INFERENCE IN COMPUTATIONAL SEMANTICS ICoS-3 Siena, Italy, June 18-20, 2001 http://www.cs.cmu.edu/~kohlhase/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. One will be given by Alexander Koller (Saarbruecken) The other speakers 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.icos3Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issueags.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
ags.uni-sb.de. FURTHER INFORMATION - ----------------- If you have any questions, please contact the local organizers Patrick Blackburn and Michael Kohlhase via icos3
ags.uni-sb.de. For actual information concerning ICoS-3 please consult http://www.cs.cmu.edu/~kohlhase/event/icos3/
SECOND CALL FOR PAPERS LFG2001 2001 INTERNATIONAL LEXICAL FUNCTIONAL GRAMMAR CONFERENCE 25 June - 27 June 2001 The Department of Linguistics, University of Hong Kong URL: http://www.hku.hk/linguist/research/LFG2001.html Abstract submission receipt deadline: 15 February 2001 Submissions should be sent to the LFG Program Committee (see addresses below) The 6th International Lexical Functional Grammar Conference will be held by the Department of Linguistics at the University of Hong Kong from Monday June 25 until Wednesday June 27, 2001. LFG-2001 welcomes work both within the formal architecture of Lexical-Functional Grammar and typological, formal, and computational work within the 'spirit of LFG', as a lexicalist approach to language employing a parallel, constraint-based framework. The conference aims to promote interaction and collaboration among researchers interested in nonderivational approaches to grammar, where grammar is seen as the interaction of (perhaps violable) constraints from multiple levels, including category information, grammatical relations, and semantic information. Further information about the syntactic theory LFG can be obtained from: http://clwww.essex.ac.uk/LFG/ and http://www-lfg.stanford.edu/lfg/ KEYNOTE SPEAKER We are pleased to announce that Sam Mchombo will give an invited talk at the conference. SUBMISSIONS The conference will primarily involve 30-minute talks, poster/system presentations and workshops. Talks and poster presentations will focus on results from completed as well as ongoing research, with an emphasis on novel approaches, methods, ideas, and perspectives, whether descriptive, theoretical, formal or computational. Presentations should describe original, unpublished work. POSTERS This year we're going to encourage an active poster session. All presenters will be invited to display posters and to have a chance to chat in more detail with participants about their work. In addition we will accept papers for poster presentation only. WORKSHOPS Workshops are a small group of talks (2-4) on a coherent topic that can be expected to generate opposing views and discussion with the broader audience. Participants to workshops are usually invited. Workshop papers should be distributed in advance among participants and participants should refer to each others approaches. At this point in time, we welcome suggestions for workshops from potential organisers or people with certain interests. Suggestions for workshops should be sent to the local organizers at: abbodomoMail to author|Respond to list|Read more issues|LINGUIST home page|Top of issuehkusua.hku.hk. TIMETABLE Deadline for receipt of talk submissions: 15 February 2001 Late deadline for poster-only submissions: 15 March 2001 Acceptances sent out: 31 March 2001 Conference: 25 June - 27 June 2001 SUBMISSION SPECIFICATIONS Abstracts for talks must be received by February 15, 2001, while poster-only abstracts will be accepted until March 15, 2001. All abstracts should be sent to the program committee chairs at the address given below. For workshops, further site information or offers of organisational help, contact the local organisers at the address below. Submissions should be in the form of abstracts only. In contrast to previous years, we are not acccepting the submission of full papers. Abstracts should be one A4 page in 10pt or larger type and include a title. Omit name and affiliation, and obvious self reference. A second page may be used for data, c-/f- and related structures, and references. Submissions should indicate whether they wish to be considered only as a talk, as either a talk or a poster, or only as a poster/demonstration. In the absence of specification, submissions will be considered for both classes, and the program chairs may decide that certain submissions are better as poster presentations than as read papers. Abstracts may be submitted by email or by regular mail (or by both means as a safety measure). Email submission is preferred. Regular Mail: Include: - Eight copies of the abstract/paper. - A card or cover sheet with the paper title, name(s) of the author(s), affiliation, address, phone/fax number, e-mail address, and whether the author(s) are students. Email: Include the paper title, name(s) of the author(s), address, phone/fax number, email address, and whether the author(s) are students in the body of your email message. Include or preferably attach your paper as either a plain ASCII text, PDF, HTML, or postscript file. Postscript files require special care to avoid problems: make sure your system is set to include all fonts (or at least all but the standard 13); if using a recent version of Word, make sure you click the printer Properties button and then the Postscript tab, and there choose Optimize for Portability; on all platforms make sure the system is not asking for a particular paper size or other device-specific configuration. It is your responsibility to send us a file that us and our reviewers can print. You can often test this by trying to look at the file in a screen previewer such as Ghostview. All abstracts will be reviewed by at least three people. Papers will appear in the proceedings, which will be published online by CSLI Publications. Selected papers may also appear in a printed volume published by CSLI Publications. ORGANISERS AND THEIR CONTACT ADDRESSES Send abstract submissions and inquiries about submissions to: Program Committee Chairs: Chris Manning <manning
csli.stanford.edu> Rachel Nordlinger <r.nordlinger
linguistics.unimelb.edu.au> Mail: LFG2001 c/- Chris Manning Linguistics Department Stanford University Stanford, CA 94305-2150 USA Contact the local conference organisers at: Email: abbodomo
hkusua.hku.hk Mail: Adams Bodomo Department of Linguistics, The University of Hong Kong, Pokfulam Road, HONG KONG ALL OTHER INFORMATION including accommodation and registration details will be included in a subsequent call for participation. Some details are already posted on the conference website: http://www.hku.hk/linguist/research/LFG2001.html