Accepted Papers - Structures and Deduction Workshop (ICALP'05 Satellite)

(ICALP Workshop-Lisbon July 16-17, 2005)

STRUCTURES AND DEDUCTION
The quest for the essence of proofs
http://www.prooftheory.org/sd05

****************************
LIST OF ACCEPTED PAPERS

14 submissions were accepted. They are listed below, in no particular order.

****************************

Elaine Pimentel, Simona Ronchi della Rocca and Luca Roversi:
Intersection Types: a Proof-Theoretical Approach

Christophe Fouqueré and Virgile Mogbil:
Rewritings in polarized (partial) proof structures

Lutz Strassburger:
From Deep Inference to Proof Nets

Yves Guiraud:
The three dimensions of proofs

Gerard R. Renardel de Lavalette:
Abstract derivations, equational logic and interpolation

Estelle Dumoulin and Didier Galmiche:
Labelled Structures and Provability in Resource Logics - extended abstract

Joao Rasga:
Cut Elimination in Propositional Based Logics

Ewen Denney, John Power and Konstantinos Tourlas:
Hierarchical Proof Structures

Alessio Guglielmi:
The problem of bureaucracy and identity of proofs 
from the perspective of deep inference

Ozan Kahramanogullari, Pierre-Etienne Moreau and Antoine Reilles:
Implementing Deep Inference in TOM

Jean-Baptiste Joinet:
Completeness of MLL proof-nets w.r.t. weak distributivity

Kai Brünnler and Stéphane Lengrand:
On two forms of bureaucracy in derivations

Richard Iain McKinley:
Classical Categories and Deep Inference

Charles Stewart and Robert Hein:
Purity through unravelling

****************************
The authors are asked to prepare a 30 minute long presentation.
More information about venues, timetable, 
guidelines for final versions.... will
be available soon.

The deadline for early registration (ICALP and 
workshops) is May 31; we have been informed that 
the organizers are considering an extension on 
this deadline for authors who have had papers 
accepted at workshops. Please visit also the 
ICALP'05 site http://icalp05.di.fct.unl.pt

****************************
The organisers (Francois Lamarche - chair, Paola Bruscoli, Charles Stewart)