Important Dates
Programme Committee
Local Arrangements

Structures and Deduction 2009

July 20 - 24, 2009


The topic of this workshop is the application of algebraic, geometric, and combinatorial methods in proof theory. In recent years many researchers have proposed approaches to understand and reduce "syntactic bureaucracy" in the presentation of proofs. Examples are proof nets, atomic flows, new deductive systems based on deep inference, and new algebraic semantics for proofs. These efforts have also led to new methods of proof normalisation and new results in proof complexity.

The workshop is relevant to a wide range of people. The list of topics includes among others: algebraic semantics of proofs, game semantics, proof nets, deep inference, tableaux systems, category theory, deduction modulo, cut elimination, complexity theory, etc.

The goal of the workshop is twofold: first, to bring together researchers from various fields who share the interest of understanding and dealing with structural properties of proofs and second, to provide an opportunity for PhD students and researchers to present and discuss their work with colleagues who work in the broad subject areas that are represented at ESSLLI.

The workshop is intended to be a sequel of the ICALP-workshop SD05 in Lisbon 2005.

Workshop Format

The workshop is part of ESSLLI 2009 in Bordeaux and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session. On the first day the workshop organizers will give an introduction to the topic.

Invited Speaker

François Lamarche (LORIA, Nancy)


Contributions can be regular papers, but also work in progress, programmatic/position papers or tutorials. Submissions should be formatted with the LNCS LaTeX style, and should take between two and fifteen pages, to allow the committee to assess their merits with reasonable effort. This limit can be relaxed for the versions that will be presented at the workshop, depending on the total bulk of the accepted contributions.

Please use the SD'09 submission page, handled by the EasyChair conference system, to submit papers.

The accepted papers will appear in the workshop proceedings published by ESSLLI. One author for each accepted paper must attend the workshop in order to present the paper.

Important Dates

Programme Committee

Lev Beklemishev (Steklov Mathematical Institute Moscow)
Stefano Berardi (Univ. of Torino)
Agata Ciabattoni (TU Vienna)
Alessio Guglielmi (University of Bath and INRIA Nancy)
Martin Hyland (King's College, Cambridge)
Grigori Mints (Stanford University)
Michel Parigot (PPS, Paris), chair
Lutz Straßburger (LIX and INRIA Saclay), chair
Kazushige Terui (Research Institute for Mathematical Sciences, Kyoto University)


Time Mon 20/07 Tue 21/07 Wed 22/07 Thu 23/07 Fri 24/07

Kai Brünnler

François Lamarche

Stepan Kuznetsov

François Lamarche

Nicolas Guenot


Richard McKinley

François Lamarche

Vincent Aravantinos

François Lamarche

Bruno Woltzenlogel Paleo


Willem Heijltjes

Serguei Soloviev

Luca Vercelli

Novak Novakovic


Invited Lecture

Contributed Talks


The proceedings of the workshop are available as pdf-file.

Local Arrangements

All workshop participants including the presenters will be required to register for ESSLLI'09. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. Moreover, a number of additional fee waiver grants will be made available by the ESSLLI local organizing committee on a competitive basis and workshop participants are eligible to apply for those. There will be no reimbursement for travel costs and accommodation. Workshop speakers who have difficulty in finding funding should contact the local organizing committee to ask for the possibilities for a grant.

See also the ESSLLI'09 webpage.

Social Event

Wine tasting.
When: Friday, July 24, 2009, 14:30.
Where: Château Pape Clément, 216, Avenue Docteur Nancel Pennard (PESSAC).
Directions how to get there.


Michel Parigot (PPS, Paris)
Lutz Straßburger (LIX, Palaiseau)