Conference on Computing Natural Reasoning

December 15, 2011 - December 16, 2011
Tilburg University



Nissim Francez
Technion, Israel Institute of Technology
Ulrike Hahn
University of Wales, Cardiff
Ian Pratt-Hartmann
University of Manchester

Topic areas

Talks at this conference

Add a talk


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.

Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

No one has said they will attend yet.

Will you attend this event?

Let us know so we can notify you of any change of plan.