LINGUIST List 11.2734

Sun Dec 17 2000

Calls: Comp Semantics, Lexical Functional Grammar

Editor for this issue: Jody Huellmantel <>

As a matter of policy, LINGUIST discourages the use of abbreviations or acronyms in conference announcements unless they are explained in the text.


  1. Priscilla Rasmussen, Third Workshop on Inference in Computational Semantics
  2. Christopher Manning, 6th International Lexical Functional Grammar Conference - LFG2001

Message 1: Third Workshop on Inference in Computational Semantics

Date: Thu, 14 Dec 2000 16:34:01 EST
From: Priscilla Rasmussen <>
Subject: Third Workshop on Inference in Computational Semantics


 third workshop on



 Siena, Italy, June 18-20, 2001

 (Submission deadline: March 15, 2001)

- --------

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

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

- ---
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 

- --------------

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. 

- -------

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 

- ---------------

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 

- ---------

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. 


NOTIFICATION: April 15, 2001.

The primary means of submission will be electronic, in PostScript
format. Submissions should be sent to the

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

- -----------------
If you have any questions, please contact the local organizers 
Patrick Blackburn and Michael Kohlhase via

For actual information concerning ICoS-3 please consult
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue

Message 2: 6th International Lexical Functional Grammar Conference - LFG2001

Date: Thu, 14 Dec 2000 20:50:57 -0800
From: Christopher Manning <>
Subject: 6th International Lexical Functional Grammar Conference - LFG2001



 25 June - 27 June 2001

 The Department of Linguistics, University of Hong Kong

 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: and


We are pleased to announce that Sam Mchombo will give an invited talk at 
the conference.


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.


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 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:


 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


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:
- 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.

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.


Send abstract submissions and inquiries about submissions to:

Program Committee Chairs:

 Chris Manning <>
 Rachel Nordlinger <>

 c/- Chris Manning
 Linguistics Department
 Stanford University
 Stanford, CA 94305-2150

Contact the local conference organisers at:


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:
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue