PCC - Proof, Computation, Complexity
July 24th - 25th, 2006, Ilmenau, Germany
The aim of PCC is to stimulate research in
proof theory, computation, and complexity,
focusing on issues which combine logical and computational aspects.
Topics may include applications of formal inference systems in computer science,
as well as new developments in proof theory motivated by computer science demands.
Specific areas of interest are (non-exhaustively listed)
foundations for specification and programming languages,
logical methods in specification and program development,
new developments in structural proof theory,
and implicit computational complexity.
Aims and Scope
Past PCC workshops
Karl-Heinz Niggl (TU Ilmenau, Germany)
Reinhard Kahle (Universidade de Coimbra e CENTRIA, UNL, Portugal)
Birgit Elbl (UniBw München, Germany)
PCC is intended to be a lively forum for presenting and discussing recent work.
Participants who want to
contribute a talk are requested to submit an abstract (LaTeX, up to 3 pages).
The collection of accepted abstracts will be published as technical report.
Deadline: May 15th, 2006
Submission of abstracts: firstname.lastname@example.org
The workshop PCC '06 is held at the Technical University of Ilmenau, Germany.
Room: HU 129, first floor in "Humboldtbau"
Maps: Technical University of Ilmenau
and main campus GIF
Participants are requested to register in advance by sending an email to
Registration & fees
The workshop fee is 20 EUR (covering expenses for coffee breaks and the booklet of abstracts).
How to get to Ilmenau
Where to stay in Ilmenau
Opening: July 24th, 9:15
Closing: July 25th, 17:15
List of talks and preliminary schedule