[TYPES/announce] Last CfP (and Deadline Extension): Workshop SD09, Bordeaux, July 20-24, 2009

[Lutz Strassburger]

*******************************************************************
                        LAST CALL FOR PAPERS
        International Workshop "Structures and Deduction" (SD09)
         <http://www.lix.polytechnique.fr/~lutz/orgs/SD09.html>
                          July 20 - 24, 2009
                         organized as part of
                     the European Summer School on
                    Logic, Language and Information
                ESSLLI 2009 <http://esslli2009.labri.fr/>
                     July 20 - 31, 2009 in Bordeaux
*******************************************************************

DESCRIPTION OF THE WORKSHOP:

The topic of this workshop is the application of algebraic, geometric,
and combinatorial methods in proof theory. In traditional proof
theory, research is focussed on syntax, but in recent years many
researchers have proposed approaches to avoid "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.

Thus 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 in reducing the
dependency of logic from low-level syntax, 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 <http://www.cs.bath.ac.uk/ag/w/sd05>.


SUBMISSION DETAILS:

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
http://www.easychair.org/conferences/?conf=sd09, 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:

Deadline for submissions: February 28, 2009 (extended)
Notification of acceptance: April 15, 2009
Deadline for final versions: May 11, 2009

Workshop dates: July 20 - 24, 2009


WORKSHOP FORMAT:

The workshop is part of ESSLLI 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:

Francois Lamarche (LORIA, Nancy)

PROGRAM COMMITTEE:

Lev Beklemishev (Moscow)
Stefano Berardi (Torino)
Agata Ciabattoni (Vienna)
Alessio Guglielmi (Bath/Nancy)
Martin Hyland (Cambridge)
Grigori Mints (Stanford)
Michel Parigot (Paris)
Lutz Strassburger (Palaiseau)
Kazushige Terui (Kyoto)

ORGANIZERS:

Michel Parigot (CNRS, Univ. Paris 7, France)
Lutz Strassburger (INRIA Saclay-IdF, France)

LOCAL ARRANGEMENTS:

All workshop participants including the presenters will be required
to register for ESSLLI. 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.

FURTHER INFORMATION:

About the workshop: <http://www.lix.polytechnique.fr/~lutz/orgs/SD09.html>
About ESSLLI: <http://esslli2009.labri.fr/>