Proof, Computation, Complexity 2015

Fourteenth International Workshop

Programme on Saturday

  • 11:00. Ulrich Berger and Dieter Spreen: A Coinductive Approach to Computing with Compact Sets.

  • 11.30 Susumu Yamasaki: A State Constraint System and Related Semiring with Multiplicative Inverse.

  • 12:00 LUNCH

  • 13:00. Helmut Schwichtenberg: Logic for Real Number Computation (invited talk).

  • 14:00. COFFEE BREAK

  • 14:15. Alessio Guglielmi and Benjamin Ralph: Confluent and Natural Cut Elimination in Classical Logic.

  • 14:45. Andrea Aler Tubella and Alessio Guglielmi: Subatomic Proof Systems.

  • 15:15. COFFEE BREAK

  • 15:30. Alexis Bernadet: Non idempotent intersection types to refine strong normalisation with quantitative information.

  • 16:00. (FINISHED)

Programme on Sunday

  • 11:00. Anton Setzer : How to reason informally about Coalgebras.

  • 11.30. Jostein Aanderaa: On anti chains with respect to simplicity of function algebraic characterizations of the same complexity class .

  • 12:00 LUNCH

  • 13:00. Andreas Weiermann: Phase transitions for Gödel incompleteness (invited talk).

  • 14:00. COFFEE BREAK

  • 14:15. Lev Gordeev: On Harvey Friedman's Finite Phase Transitions.

  • 14:45. Isabel Oitavem: The class #P.

  • 15:15. (FINISHED)

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.

Invited Speakers

  • Andreas Weiermann
  • Helmut Schwichtenberg

The context


You may register for  PCC (700 NOK), the Symposium (700 NOK) and the banquet dinner (500 NOK).

Please, register here.

Symposium participants will have to pay a sum of 700 NOK to cover expenses related to lunches, coffee breaks, etc. on May 21-22. This does not cover attendance at the banquet dinner, nor participation at the PCC. Participants at the PCC will likewise have to pay a sum of 700 NOK to cover lunches, coffee breaks etc. during the PCC.

The Venue

The workshop will take place in Auditorium 2 of

  • Georg Sverdrups hus, Moltke Moes vei 39, Blindern.

This building is also known as Universitetsbiblioteket. You find directions here. You find a map here and another map here.

PCC steering committee

Program Committee PCC 2015

Submission information

We solicit contributions in the fields of PCC, non-exhaustively described above. Please register a contribution at the EasyChair site for PCC 2015. 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.

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.

Important Dates

  • Deadline for proposing a contributed talk: April 1, 2015
  • Notification of acceptance: April 15, 2015
  • Registration: deadline May 1, 2015.

Past PCC workshops

Published Dec. 22, 2014 09:11 AM - Last modified May 15, 2015 05:38 PM