LINGUIST List 17.851
|
Mon Mar 20 2006
Confs: Computational Ling/Semantics/Buxton, England, UK
Editor for this issue: Kevin Burrows
<kevin linguistlist.org>
|
To post to LINGUIST, use our convenient web form at http://linguistlist.org/LL/posttolinguist.html.
|
Directory
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
5th workshop on INFERENCE IN COMPUTATIONAL SEMANTICS
ICoS-5
Buxton, England, 20-21 April 2006
http://www.cs.man.ac.uk/~ipratt/ICoS-5/
Endorsed by SIGSEM, the Association for Computational Linguistics (ACL) Special Interest Group (SIG) on computational semantics.
REGISTRATION IS NOW OPEN
(early registration deadline: April 11)
ABOUT ICOS
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.
INVITED SPEAKERS
Christian Ebert (University of Bielefeld)
Expressive Power and Complexity of Underspecified Representations
Patrick Pantel (ISI, University of Southern California)
TBA
Stephen Pulman (Oxford University)
Bridging the gap between formal and computational semantics
ACCEPTED PAPERS
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
SHORT PAPERS / POSTERS
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
PROGRAMME COMMITTEE
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
REGISTRATION
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.
ABOUT BUXTON
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
While the LINGUIST List makes every effort to ensure the linguistic relevance of sites listed
on its pages, it cannot vouch for their contents.
|
|
