Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

13 July 2014, Third International Workshop on Gentzen Systems and Beyond (GSB3), Vienna, Austria

Date: Sunday 13 July 2014
Location: Vienna, Austria
Deadline: 13 April 2014

This is a workshop on Gentzen-style proof systems, their generalizations, and extensions. Since the introduction of the sequent calculus and natural deduction by Gerhard Gentzen in the 1930s, a wide spectrum of formalisms have been used to construct proof systems for logics resisting a simpler description, including hypersequents, deep inference systems, display calculi, labelled deductive systems, tableaux, and proof nets, to name just a few. The aim of this workshop is to explore and compare the motivations for and relative merits of these different approaches.

A broader aim of the workshop is to build a bridge between researchers into theoretical aspects of structural proof theory and the more application-oriented goals of the proof theory community, particularly in cases where the methods, such as constructing analytic systems, are shared. ------------------------------------------------------------------------------------

For more information, see http://vsl2014.at/pages/GSB-cfp.html

The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 13, 2014.

Please note that this newsitem has been archived, and may contain outdated information or links.