Conference on Computing Natural Reasoning

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.