LINGUIST List 10.598

Mon Apr 26 1999

Calls: NLULP'99, ICoS-1

Editor for this issue: Brett Churchill <>

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


  1. Gerald Penn, NLULP'99
  2. Maarten de Rijke, Inference in Computational Semantics (ICoS-1)

Message 1: NLULP'99

Date: Fri, 23 Apr 1999 21:25:20 +0200
From: Gerald Penn <>
Subject: NLULP'99

 Sixth International Workshop on 
 Natural Language Understanding and Logic Programming 

 December 3-4, 1999 
 Las Cruces, New Mexico, USA

NLULP'99 is co-located with the Sixteenth International Conference on 
Logic Programming (ICLP'99) 


Sandiway Fong & Paul Sabatier 


Harvey Abramson (STMS, Portland) 
Sandiway Fong (NEC Research Institute, Princeton) 
Claire Gardent (Univ. of the Saarland, Saarbruecken) 
Jose Gabriel Lopes (New University of Lisbon) 
Gerald Penn (SFB 340, Univ. of Tuebingen) 
Monique Rolbert (LIM, Marseille) 
Paul Sabatier (LIM, CNRS, Marseille) 
Patrick Saint-Dizier (IRIT, CNRS, Toulouse) 
Shuly Wintner (IRCS, Univ. of Pennsylvania) 


Papers are invited on substantial, original, and unpublished research
on all aspects of the intersection of Natural Language Understanding
with Logic Programming and (Logic) Constraint Programming, including,
but not limited to, the following:

- syntax - parsing 
- semantics - generation 
- phonetics - language understanding 
- phonology - speech analysis/synthesis 
- morphology - computational lexicons 
- discourse - electronic dictionaries 
- pragmatics - terminology 
- formalisms - text database and retrieval 
- quantitative/qualitative linguistics - machine translation 
- mathematical linguistics - machine aids for translation 
- contrastive linguistics - natural language interface 
- cognitive linguistics - dialogue systems 
- large text corpora - computer assisted language learning
- text processing - multimedia systems 
- hardware/software for NLP


Papers should be written in English, and describe original work. They
should emphasize completed work rather than proposed work. The state
of completion of reported results should be clearly indicated.


Submissions should be no longer than 15 pages (A4 format, 11pt),
including abstract, keywords and references. All contributions are to
be made electronically as uncompressed mime-encoded PostScript
attachments. Please send your submission to both of the co-chairs:

 Sandiway Fong : 
 Paul Sabatier :


On-Line Proceedings of NLULP'99 will be available on the Web from
November 15, 1999.


Deadline for submissions: June 30, 1999 
Acceptance notification: September 13, 1999 
Final version of papers: October 11, 1999 
On-Line Proceedings: November 15, 1999 
Workshop dates: December 3-4, 1999 
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue

Message 2: Inference in Computational Semantics (ICoS-1)

Date: Fri, 23 Apr 1999 18:48:58 +0200 (MET DST)
From: Maarten de Rijke <>
Subject: Inference in Computational Semantics (ICoS-1)


 First workshop on


 Institute for Logic, Language and Computation
 Amsterdam, August 15, 1999

 (Submission deadline: June 1, 1999)

Traditional inference tools (such as theorem provers and model
builders) are reaching new levels of sophistication and are now widely
and easily available. In addition, 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 for natural language. Indeed, computational
semantics has 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 together researchers from areas such as Computational
Linguistics, Artificial Intelligence, Computer Science, and Logic, in
order to discuss approaches and applications of inference in natural
language semantics.

We invite two kinds of submissions: research papers on inference
methods in computational semantics as well as their applications; and
system descriptions. Research papers can be up to 10 A4 size pages
(formatted using the standard LaTeX2e options 11pt and a4paper), and
system descriptions can be up to 4 A4 size pages (again, formatted
using 11pt, a4paper as options). 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-1. The primary means of
submission will be electronic, in PostScript format. Submissions
should be sent to

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

The following people will give invited presentations:

 * Johan Bos (Saarbruecken)
 Automated Reasoning for Natural Language Semantics
 * Steve Pulman (SRI)
 Title to be announced
 * Matthew Stone (Rutgers)
 Towards a computational account of knowledge, action and instructions

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

 James Allen Michael Kohlhase
 Patrick Blackburn Alex Lascarides
 Denys Duchier Christof Monz
 Jan van Eijck Reinhard Muskens
 Claire Gardent Maarten de Rijke
 Jacques Jayez Henk Zeevat

ICoS-1 will be held 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 30 km from Amsterdam.

Detailed information about the program, and about registration and
accommodation will be made available at a later stage. For further
information, please contact the local organizers at
or visit the ICoS-1 home page:

Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue