PCC - Proof, Computation, Complexity
International workshop
July 24th - 25th, 2006, Ilmenau, Germany
Aims and Scope
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.
Past PCC workshops
Organisers
Karl-Heinz Niggl (TU Ilmenau, Germany)
Reinhard Kahle (Universidade de Coimbra e CENTRIA, UNL, Portugal)
Birgit Elbl (UniBw München, Germany)
Contact: niggl@tu-ilmenau.de
Contributions
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: pcc-org@mailman.rz.unibw-muenchen.de
Location
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
GIF
PDF
and main campus GIF
PDF
Registration & fees
Participants are requested to register in advance by sending an email to
pcc-org@mailman.rz.unibw-muenchen.de.
The workshop fee is 20 EUR (covering expenses for coffee breaks and the booklet of abstracts).
Travel information
How to get to Ilmenau
Where to stay in Ilmenau
Preliminary Program
Opening: July 24th, 9:15
Closing: July 25th, 17:15
List of talks and preliminary schedule