Structures and Deduction / Program

ICALP Workshop—Lisbon July 16-17, 2005
STRUCTURES AND DEDUCTION
The quest for the essence of proofs

Program

The talks will be given at Instituto Superior Tecnico, room to be announced.

The general format of contributed papers is as follows: the authors are asked to prepare 30 minute talks, but they are in fact allocated 45 minutes in all, so as to allow free interruptions and discussions. Thus the times given for sessions endings are approximate.

SATURDAY, JULY 16

• 8:45 – 9:15 Greetings and registration
• 9:15 – 10:15 Invited talk
  • Claude Kirchner
    Beyond Deduction Modulo
• 10:15 – 10:45 Coffee break
• 10:45 – 12:15
  • Lutz Strassburger
    From Deep Inference to Proof Nets
  • Richard Iain McKinley
    Classical Categories and Deep Inference
• 12:15 – 14:15 Lunch break
• 14:15 – 15:15 Invited talk
  • Dale Miller
    A Games Semantics for Proof Search
• 15:15 – 15:45 Coffee break
• 15:45 – 18:00
  • Yves Guiraud
    The Three Dimensions of Proofs
  • Alessio Guglielmi
    The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference
  • Kai Brünnler and Stéphane Lengrand
    On two Forms of Bureaucracy in Derivations

Saturday evening: workshop dinner, a joint affair with other selected ICALP workshops, at 20:00 or 20:30. Details will be provided in the morning.

SUNDAY, JULY 17

• 8:45 – 10:15
  • Jean-Baptiste Joinet
    Completeness of MLL Proof-Nets w.r.t. Weak Distributivity
  • Christophe Fouqueré and Virgile Mogbil
    Rewritings in Polarized (Partial) Proof Structures
• 10:15 – 10:45 Coffee break
• 10:45 – 12:15
  • Estelle Dumoulin and Didier Galmiche
    Labelled Structures and Provability in Resource Logics
  • Charles Stewart and Robert Hein
    Purity Through Unravelling
• 12:15 – 13:45 Lunch break
• 13:45 – 15:15
  • Ewen Denney, John Power and Konstantinos Tourlas
    Hierarchical Proof Structures
  • Ozan Kahramanogullari, Pierre-Etienne Moreau and Antoine Reilles
    Implementing Deep Inference in TOM
• 15:15 – 15:45 Coffee break
• 15:45 – 18:00
  • Gerard R. Renardel de Lavalette
    Abstract Derivations, Equational Logic and Interpolation
  • Elaine Pimentel, Simona Ronchi della Rocca and Luca Roversi
    Intersection Types: a Proof-Theoretical Approach
  • Joao Rasga
    Cut Elimination in Propositional Based Logics

2.7.2005 Paola Bruscoli email