Proof, Computation, Complexity 2016

Fifteenth International Workshop

May 5-6, 2016, München, Germany

General Information    Invited Speakers    Further special session and contributed talks    Program    Registration    Past workshops   


May 3: brochure with programme, all abstracts and room directions available
May 3: precise instructions for entrance and lecture halls
May 3: PDF version of programme available, see below
April 27: PDF versions of 13 abstracts available on the page with the abstracts
April 19: speakers with abstracts given and registration form made available
April 6: titles and abstracts of the invited speakers of PCC given

General Information

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 including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

The context

During PCC 2016, a special session will be organized to celebrate the 60th birthday of Ulrich Berger.

The workshop will take place in the city centre of München (München = Munich in English and French), at the Mathematical Institute of the University of Munich (LMU). After PCC 2016, the international workshop Mathematics for Computation (M4C) will take in Niederalteich nearby Munich.

We are thankful for financial and material aid by the University of Munich (LMU), for financial support by the DVMLG and to JSPS for supporting participation at the workshop.

The location

Please note that May 5th is a public holiday in Germany. This makes the access to the building more subtle. The adress is
Ludwig-Maximilians-Universität München
Mathematisches Institut
Theresienstr. 39 
80333 München
There is an official guide to finding the institute. Now come the special elements for May 5: the entrance on Thursday will be on the side of Theresienstrasse (from the North), and this at the part of the building where it steps a bit back for an inner courtyard. In that courtyard, it is in the back corner to the left with the small door. You can enter between 8:45 and 9:15 if you are a registered participant. If you arrive later, then please use the contact information you got.

Invited Speakers of PCC

Dag Normann, Univ. of Oslo, Norway
Revisiting Transfinite Types
Paulo Oliva, Queen Mary Univ. London, UK
Modified bar recursion - 15 years on
Thomas Streicher, Technical University Darmstadt, Germany
An effective Spectral Theorem for bounded self adjoint operators

Further special session and contributed talks


Please find here a properly typeset programme including the titles of the talks and the room numbers. For finding the rooms, there is a specific map. Be warned that the entrance on Thursday morning is rather in the opposite corner of the building - the red mark on building A in the miniature map there marks the lecture hall only. There is also a brochure with programme, all abstracts and room directions.

Thursday May 5: day-long special session dedicated to Ulrich Berger

 9:00 - 10:00 Opening
              Invited Speaker 1: Dag Normann
10:00 - 10:30 Coffee Break
10:30 - 12:30 Mizuhito Ogawa
              Dieter Spreen
              Birgit Elbl
              Fredrik Nordvall Forsberg
12:30 - 14:30 Lunch Break (coffee being served at 14h)
14:30 - 16:20 Invited Speaker 2: Paulo Oliva
              Thomas Powell
              Anton Setzer
16:20 - 16:50 Coffee Break
16:50 - 18:10 Invited Speaker 3: Thomas Streicher
              Lorenz Berger

19:30 Dinner at Schneider Bräuhaus, which is very close to Marienplatz (reservation subject to registration)

Friday May 6

 9:00 - 10:00 Peter Schuster
              Masahiko Sato
10:00 - 10:30 Coffee Break
10:30 - 12:30 Thomas Piecha
              Ernst Zimmermann
              Rene Gazzari
              Sam Sanders
12:30 - 14:30 Lunch Break (coffee being served at 14h)
14:30 - 16:30 Alessio Guglielmi
              Alessio Santamaria
              David Sherratt
              Andrea Aler Tubella
16:30 - 17:00 Coffee Break
17:00 - 18:00 Benjamin Ralph
              Lars Kristiansen

PCC steering committee

Program Committee PCC 2016

Organization Committee PCC 2016

Submission information

We solicit contributions in the fields of PCC, non-exhaustively described above. Please register a contribution at the EasyChair site for PCC 2016: (please note the trailing zero). This consists in a title, a short text-only abstract and the PDF file of a LaTeX abstract that fits on one page in format A4. (The latter PDF file is not compulsory on first submission.)

PCC is intended to be a lively forum for presenting and discussing recent work. Progress on a not yet satisfactorily solved problem may well be worth presenting - in particular if the discussions during the workshop might lead towards a solution.

We also manage the abstracts for the special session by this EasyChair installation. If your abstract is meant for the special session, then please check the corresponding checkbox in the submission form.


Registration is required for the purpose of proper organization. No registration fee will be charged, but there is a small contribution towards coffee breaks that will be collected on site. The exact modalities of registration are on the registration form. Deadline for registration: April 26, 2016.

Important Dates

Past PCC workshops

Page maintained by:

Ralph Matthes

Last modified (date in French): mar. mai 3 23:01:50 CEST 2016