Sunday, October 16, 2011

TiLPS Conference on Computing Natural Reasoning

        Conference on Computing Natural Reasoning

                         COCONAT

                   December 15-16, 2011

    Tilburg Center for Logic and Philosophy of Science

       URL: http://naturalreasoning.
wordpress.com/
                 *deadline 1 November*

*************************************************************
About the Conference
*************************************************************

Logic was originally meant to systematize and analyze
arguments in natural language.  But in the 20th century the
main developments in logic focused on mathematics and its
foundations.  Recently, a number of researchers have focused
on logical systems tuned to natural language semantics to
reconnect with the older tradition. The logical and
conceptual underpinnings of some of these systems remains
unclear, although some recent work has begun to address
formal foundations.

The aim of this conference is to contribute to this
direction in semantics and to discuss logics, especially
proof systems, well-suited for natural language semantics
and to explore comparisons between these systems. We also
welcome input from the psychology of reasoning and are
interested in computer implementations of natural reasoning
systems.

Topics of interest include:

* fragments of first-order logic which are powerful enough
 to represent interesting linguistic phenomena and yet
 small enough to be computationally feasible;
* extended syllogistic logics;
* logics and algorithms for use in textual entailment;
* natural logic and computational semantics;
* proof theoretic semantics;
* natural logic and the psychology of reasoning;
* formalizations of inference tasks centered on linguistic
 expressions;
* applications of natural logic;
* formal models of reasoning in specific domains ("team"
 reasoning, models of reasoning in games).

We solicit talkss on relevant topics. There will also be
poster sessions, preceded by plenary 'flash' presentations
of posters.

*************************************************************
Invited Speakers
*************************************************************

TBA

*************************************************************
Workshop Organizers
*************************************************************

Dominik Klein
Kristina Liefke
Reinhard Muskens
Eric Pacuit
Sara Uckelman

*************************************************************
Programme Committee
*************************************************************

Reinhard Muskens
Eric Pacuit
Sara Uckelman
+ the invited speakers

*************************************************************
Submission
*************************************************************

*Talks:* Upload an abstract of no more than 2 pages (pdf, 11
pt, normal interspacing and margins, two columns allowed) to
https://www.easychair.org/conferences/?conf=coconat2011.

*Posters:* Upload a poster description of no more than 2
pages (pdf, 11 pt, normal interspacing and margins, two
columns allowed) to
https://www.easychair.org/conferences/?conf=coconat2011.

Please make clear whether you want to present a paper or a
poster.

*************************************************************
Important Dates
*************************************************************

Talk/poster submission:  November 1, 2011
Author notification:     November 7, 2011
Conference dates:        December 15-16, 2011

*************************************************************


No comments: