\n

This is a workshop on Gentzen-style proof systems, thei r\n generalizations, and extensions. Since th e introduction of the\n sequent calculus and natural deduction by Gerhard Gentzen in the\n 1930s, a wide spectrum of formalisms have been us ed to construct\n proof systems for logics re sisting a simpler description,\n including hy persequents, deep inference systems, display\n calculi, labelled deductive systems, tableaux, a nd proof nets,\n to name just a few. The aim of this workshop is to explore and\n compare the motivations for and relative merits of these\n different approaches.\n

\nA broader aim of the workshop is to build a bridge between\n researchers into theoretical aspec ts of structural proof theory\n and the more application-oriented goals of the proof theory\n community, particularly in cases where the met hods, such as\n constructing analytic systems , are shared.\n ----------------------------- -------------------------------------------------- -----\n

\n \n \nFor more information, see\n http://vsl 2014.at/pages/GSB-cfp.html\n

\n\n

URL:/NewsandEvents/Events/Conferences/newsitem/555
1/13-July-2014-Third-International-Workshop-on-Gen
tzen-Systems-and-Beyond-GSB3-Vienna-Austria
END:VEVENT
END:VCALENDAR
\n The Programme Commit tee cordially invites all researchers to\n submit their papers for presentation. Submission deadline is\n April 13, 2014.\n

\n