* * * * * * * * * * * * * * * * * * * * * * * *
LINGUIST List logo Eastern Michigan University Wayne State University *
* People & Organizations * Jobs * Calls & Conferences * Publications * Language Resources * Text & Computer Tools * Teaching & Learning * Mailing Lists * Search *
* *
LINGUIST List 17.851

Mon Mar 20 2006

Confs: Computational Ling/Semantics/Buxton, England, UK

Editor for this issue: Kevin Burrows <kevinlinguistlist.org>

To post to LINGUIST, use our convenient web form at http://linguistlist.org/LL/posttolinguist.html.
        1.    Johan Bos, Inference in Computational Semantics

Message 1: Inference in Computational Semantics
Date: 16-Mar-2006
From: Johan Bos <jbosinf.ed.ac.uk>
Subject: Inference in Computational Semantics

Inference in Computational Semantics
Short Title: ICoS-5

Date: 20-Apr-2006 - 21-Apr-2006
Location: Buxton, England, United Kingdom
Contact: Johan Bos
Contact Email: < click here to access email >
Meeting URL: http://www.cs.man.ac.uk/~ipratt/ICoS-5/

Linguistic Field(s): Computational Linguistics; Semantics

Meeting Description:

The next International workshop on Inference in Computational Semantics (ICoS-5) will take place from 20th-21st April at the University of Derby College, Buxton, England. ICoS-5 is intended to bring together researchers interested in inference-oriented NLP from areas such as Computational Linguistics, Artificial Intelligence, Computer Science, Formal Semantics, and Logic.

Call for Participation


Buxton, England, 20-21 April 2006


Endorsed by SIGSEM, the Association for Computational Linguistics (ACL) Special Interest Group (SIG) on computational semantics.

(early registration deadline: April 11)


Natural Language Processing has reached a stage where the exploration and development of inference is one of its most pressing tasks. On the theoretical side, it is clear that inference plays a key role in such areas as semantic construction and the management of discourse and dialogue. On the practical side, the use of sophisticated inference methods could lead to improvements in application areas such as natural language generation, automatic question answering, and spoken dialogue systems.

ICoS-5 is intended to bring together researchers interested in inference-oriented NLP from areas such as Computational Linguistics, Artificial Intelligence, Computer Science, Formal Semantics, and Logic.


Christian Ebert (University of Bielefeld)
Expressive Power and Complexity of Underspecified Representations

Patrick Pantel (ISI, University of Southern California)

Stephen Pulman (Oxford University)
Bridging the gap between formal and computational semantics


Ariel Cohen
Anaphora resolution and minimal models

Nikhil Dinesh and Aravind Joshi and Insup Lee
Extracting formal specifications from natural language regulatory documents

Debora Field and Allan Ramsay
How to change a person's mind: Understanding the difference between the effects and consequences of speech acts

Alexander Koller and Stefan Thater
Towards a redundancy elimination algorithm for underspecified descriptions

Leonardo Lesmo, Livio Robaldo, and Jelle Gerbrandy
Quantifiers in Dependency Tree Semantics

Sela Mador-Haim and Yoad Winter and Anthony Braun
Controlled Language for Geographical Information System Queries

Rowan Nairn, Cleo Condoravdi, and Lauri Karttunen
Computing local textual inferences

Farid Nouioua and Pascal Nicolas
Using Answer Set Programming in an inference-based approach to Natural Language Semantics

Marco Pennacchiotti and Patrick Pantel
A Bootstrapping Algorithm for Automatically Harvesting Semantic Relations

Hilke Reckman and Crit Cremers
Concepts across categories

Satoshi Tojo
Multi-dimensional Temporal Logic for Events and States

A.M. Wallington, J.A. Barnden, S.R. Glasbey, and M.G. Lee
Some considerations on the nature of metaphorical meaning arising from a computational treatment of metaphor interpretation


David Ahn, Steven Schockaert, Martine De Cock, and Etienne Kerre
Supporting temporal question answering: strategies for offline data collection

Igor Boyko
Formal semantics of verbs for knowledge inference

Philipp Cimiano
A first-order account of the relation between bridges, discourse relations, and world knowledge

Albert Goldfain
Inference for Mathematical Explanation

Hermann Helbig and Ingo Glöckner
Towards a Logical Foundation of Semantic Networks - A Typology of Descriptive
Means for Semantic Inference

Paul Piwek
The Alligator theorem prover for dependent type systems: Description and
proof samples


Carlos Areces Peter Baumgartner
Christoph Benzmueller Raffaella Bernardi
Patrick Blackburn Johan Bos (co-chair)
Harry Bunt Ann Copestake
Dick Crouch Ido Dagan
Kees van Deemter Nissim Francez
Claire Gardent Alexander Koller (co-chair)
Shalom Lappin Alex Lascarides
Bernardo Magnini Katja Markert
Dan Moldovan Jeff Pelletier
Maarten de Rijke Michael Schiehlen
Matthew Stone Bonnie Webber


You can register via http://www.cs.man.ac.uk/~ipratt/ICoS-5/ (click on the link ''registration''). Conference attendance is £180 (early registration) and £200 if you register during the conference. Accommodation (bed and breakfast, en suite) is £21 per night. Workshop dinner approximately £20, payable at the restaurant. Please register by 18th March to be certain of conference accommodation. (You are very unlikely to find better value accommodation in Buxton.) We will make every effort to accommodate applications made after this date. Pre-conference registration will close altogether on 11th April.


Buxton is a spa town at the heart of the Peak District National Park in the county of Derbyshire, England. It is less than an hour's journey from the cities of Manchester, Sheffield, and Derby. Set 1000 feet above sea level in the amidst the dramatic Peak District landscape, Buxton is blessed with stunning scenery, magnificent architecture, a wealth of shops, a thriving arts scene and its world-famous spa water.

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

Please report any bad links or misclassified data

LINGUIST Homepage | Read LINGUIST | Contact us

NSF Logo

While the LINGUIST List makes every effort to ensure the linguistic relevance of sites listed
on its pages, it cannot vouch for their contents.