PCC - Proof, Computation, Complexity

International workshop

July 24th - 25th, 2006, Ilmenau, Germany

Aims and Scope / Past workshops / Organisation Contributions Location / Travel information Registration & fees Preliminary Program

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


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


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


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