PCC - Proof, Computation, Complexity

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.

Past PCC workshops

• PCC 2007 was held in Swansea, Wales, colocated with the British Mathematical Colloquium 2007.
• PCC 2006 was held in Ilmenau, Germany.
• PCC 2005 was held in Lisbon as affiliated Workshop to ICALP '05.
• PCC 2004 was held in Dresden in conjunction with the Summer School on Proof Theory and Automated Theorem Proving.
• PCC 2003 was held in Dresden, in conjunction with the Summer School on Proof Theory, Computation, and Complexity.
• PCC 2002 was held in Tübingen.

Organisers

• Ulrich Berger, Swansea
• Birgit Elbl, Muenchen
• Philipp Gerhardy, Oslo
• Reinhard Kahle, Coimbra
• Lars Kristiansen, Oslo
• Monika Seisenberger, Swansea

Contact: PCC 2008

Invited Speakers

• Herman Ruge Jervell (Oslo),
• Jean-Yves Marion (Nancy),
• Wolfram Pohlers (Munster),
• Daniel Leivant (Indiana).

Contributions

PCC is intended to be a lively forum for presenting and discussing recent work. Participants who want to contribute a talk are asked to submit an abstract (LaTeX, 1-2 pages). The collection of abstracts will be available at the meeting.

Deadline: June 30, 2008

Submission of abstracts: PCC 2008

Grants

A limited number of grants is available for students and persons in special need of financial support. The grants will cover the cost of accomodation at Blindern Studenterhjem. To be considered for grant funding, please send a brief letter of application to PCC 2008.

Conference fee and accommodation

The Department of Mathematics at the University of Oslo will be the host institution, and the workshop which will take place at the University's campus area. We have booked accommodation for the attendants at Blindern Studenterhjem. This is a quite unique student dormitory which lies inside the campus area, no luxury hotel maybe, but still a highly recommendable place to stay.

The price for accomodation at Blindern Studenterhjem is:

• Single room, thursday to sunday, breakfast and lunch included - 3000 NOK.
• Double room, thursday to sunday, breakfast and lunch included - 2550 NOK.

Blindern Studenterhjem

Travel information

The most convenient way to travel to Oslo (and to Blindern Studenterhjem) is via Oslo Gardermoen airport. From the airport, you can take the airport express train (flytoget) to Oslo central station (Oslo S). The train departs every ten minutes (every 20 minutes on saturdays), takes about 20 minutes and costs NOK 160 for a one way ticket. From Oslo S the most convenient way to get to Blindern is using the subway (T-bane). The lines 3 (to Sognsvann), 4/6 (Ringen) and 5 (to Storo) all go from Oslo S to Blindern. You need to buy an extra ticket for that trip and Blindern is the fourth stop from Oslo S. From the Blindern T-bane stop you can walk to Blindern studenterhjem (see this map, the "M" marks the T-bane station and the "B" Blindern studenterhjem).

Contact us if you have further questions.