Workshop Announcement: Gentzen Systems and Beyond

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

GENTZEN SYSTEMS AND BEYOND

TABLEAUX 2009 WORKSHOP

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


6 July 2009

University of Oslo, Norway

http://www.iam.unibe.ch/~kai/Events/GSB2009/



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

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

Nikolaos Galatos, University of Denver

Alessio Guglielmi, INRIA Grand-Est & University of Bath



Organizers

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

Kai Brünnler, University of Bern

George Metcalfe, Vanderbilt University



Submissions

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

There will be no fee for attendance at the workshop. If you would like
to give a talk, please send a one-page abstract to the organizers at
[email protected] by May 15th.


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