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

Tue Mar 21 01:27:44 UTC 2006

LINGUIST List: Vol-17-851. Mon Mar 20 2006. ISSN: 1068 - 4875.

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

Moderators: Anthony Aristar, Wayne State U <aristar at linguistlist.org>
            Helen Aristar-Dry, Eastern Michigan U <hdry at linguistlist.org>

Reviews (reviews at linguistlist.org) 
        Sheila Dooley, U of Arizona  
        Terry Langendoen, U of Arizona  

Homepage: http://linguistlist.org/

The LINGUIST List is funded by Eastern Michigan University, Wayne
State University, and donations from subscribers and publishers.

Editor for this issue: Kevin Burrows <kevin at linguistlist.org>
================================================================  

To post to LINGUIST, use our convenient web form at
http://linguistlist.org/LL/posttolinguist.html.

===========================Directory==============================  

1)
Date: 16-Mar-2006
From: Johan Bos < jbos at inf.ed.ac.uk >
Subject: Inference in Computational Semantics 

-------------------------Message 1 ---------------------------------- 
Date: Mon, 20 Mar 2006 20:26:12
From: Johan Bos < jbos at inf.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: jbos at inf.ed.ac.uk 
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.

-----------------------------------------------------------
LINGUIST List: Vol-17-851	