[PT] Fwd: Workshop announcement: Gentzen Systems and Beyond '11

===============================================================================

GENTZEN SYSTEMS AND BEYOND

TABLEAUX 2011 WORKSHOP

===============================================================================


4th July 2011

University of Bern, Switzerland

http://www.iam.unibe.ch/~mckinley/Gentz11/



Scope

---------

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, including Hypersequents, Display Calculi, Labelled Deductive
Systems, Tableaux, Deep Inference, 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. Potential topics
for talks include:


* Cut-elimination and its applications, e.g. decidability,
interpolation, amalgamation, completeness proofs, computational
interpretations, etc.


* Scope, limitations,  interrelationships, and philosophical aspects
of various formalisms.


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



Invited speakers

----------------------

Melvin Fitting, City University of New York

Michel Parigot, Laboratoire PPS, CNRS & Paris 7





Organizers

---------------

Richard McKinley, University of Bern
Roman Kuznets, University of Bern

------------------

If you would like to give a talk, please send a one-page abstract to
the organizers at [email protected] by May 30th.


===============================================================================