PCC 2012
Proof, Computation, Complexity
International Workshop
17-18 August 2012, University of Copenhagen, Denmark
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.
PCC participants may also be interested in joining the 8th Scandinavian Logic Symposium, which is held nearby at Roskilde University (RUC) on 20-21 August 2012.Location
The workshop is held at the Northern Campus of the University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen, Denmark. The session on Friday 17 August takes place at room 1-0-14. The session on Saturday 18 August takes place at meeting room A+B. Please find directions and public transport guidance under the following link.
Organisers
- Reinhard Kahle, Lisbon
- Lars Kristiansen, Oslo
- Jakob Grue Simonsen, Copenhagen
Local Organising Committee
- Andreas Milton Maniotis (cell phone: +45 61726895)
- Jakob Grue Simonsen (cell phone: +45 60757989)
Participation
Participation is free, but registration is required. Participants who are not giving a talk are kindly asked to write an e-mail Jakob Grue Simonsen for registration.Program
| Friday |
August 17th 2012, Room 1-0-14
|
|---|---|
| 09.50-10.00 |
Morning Coffee |
| 10.00-11.00 |
Predicate logic and elementary functions Herman Jervell |
| 11.00-12.00 |
A Modal Type System for Safe Distributed
Computing
Giuseppe Primiero |
| 12.00-14.00 |
Break |
| 14.00-15.00 |
Action Structure Specification
and its Implementability Complexity Susumu Yamasaki |
| 15.00-16.00 |
Combinatorial Principles in Deep Inference Anupam Das |
| 16.00-16.30 |
Coffee Break |
| 16.30-17.30 |
Atomic Polymorphism Gilda Ferreira |
| 18.30 |
Social Dinner Around 6:30pm there will be a reception in Den norske landhandel, which is located in Viktoriagade 3 -- a ten-minutes walk from the Central railway station (follow Vesterbrogade). After the reception, around 7:15pm, we proceed to a Vietnamese restaurant nearby. The restaurant's name is Good Morning Vietnam. You will find the restaurant in Abel Cathrinesgade 6 -- a two-minutes walk from Den norske landhandel. |
| Saturday |
August 18th 2012, Meeting Room A+B
|
| 09.50-10.00 |
Morning Coffee |
| 10.00-11.00 |
From Functions to Algorithms Reinhard Kahle |
| 11.00-12.00 |
A recursion-theoretic approach to NP Isabel Oitavem |
| 12.00-14.00 |
Break |
| 14.00-15.00 |
Bipolar Proof Nets for MALL
Roberto Maieli |
| 15.00-16.00 |
Degrees of Total Algorithms versus Degrees of honest Functions
Lars Kristiansen |
| 16.00-16.30 |
Coffee Break |
| 16.30-17.30 |
Avoding Axioms Rene Gazarri |
Accommodation
The following list contains hotels and hostels mostly in the centre of Copenhagen and approximate day fares.
Hotels:
- Hotel Christian IV
Dronningens Tværgade 45
1302 København K
Homepage
Prices: From 130 EUR.
- Hotel Fox Jarmers
Plads 3
1551 København V
Homepage
- First Hotel Kong Frederik
Vester Voldgade 25
1552 København V
Homepage
- First Hotel Twentyseven
Løngangsstræde 27
1468 København K
Homepage
- Hotel Kong Arthur Nørre
Søgade 11
1370 København K
Homepage
- CABINN Hotel Group
Homepage
In particular: - CABINN Hotel Scandinavia
Vodroffsvej 55
1900 Frederiksberg
Homepage
Prices: From 70 EUR.
Hostels:
- Copenhagen Downtown Hostel
Vandkunsten 5
1467 København K
Homepage
Prices: From 30 EUR (for a dormitory bed.) - DANHOSTEL Copenhagen City
H.C. Andersens Boulevard 50
1553 Copenhagen V
Homepage
Prices: From 30 EUR (for a dormitory bed.)
Past PCC workshops
- PCC 2011 was held in Ghent, Belgium.
- PCC 2010 was held in Bern, Switzerland.
- PCC 2009 was held at LORIA - Nancy, France.
- PCC 2008 was held in Oslo, Norway.
- PCC 2007 was held in Swansea, Wales, collocated 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.
