Proof, Computation, Complexity 2013

Twelfth International Workshop

April 22-23, 2013, Toulouse, France

General Information Contributed Talks Preliminary Program Past workshops

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

PCC 2013 is organised as a satellite event of TYPES 2013, see also the information pertaining to PCC 2013 on the TYPES 2013 web site. Registration for PCC 2013 will be through the TYPES 2013 site for a low fee that covers mostly coffee and lunch breaks.

The workshop is scheduled for the full day of Monday, April 22. The participants are encouraged to attend the Tuesday morning session of TYPES 2013. If the number and quality of submissions justifies this, then PCC 2013 will continue in the afternoon of Tuesday, April 23. This will be known by the notification date. Update: The afternoon of April 23 will indeed be used for PCC talks in parallel with TYPES talks.

A marvellous picture of the town hall of Toulouse (6,6 MB, © Ville de Toulouse) - also seen on the TYPES 2013 web page:

Organisers

Birgit Elbl, UniBw München, Neubiberg, Germany
Reinhard Kahle, Universidade Nova de Lisboa, Portugal (co-chair)
Lars Kristiansen, University of Oslo, Norway
Ralph Matthes, IRIT, CNRS and Univ. de Toulouse, France (co-chair)

Contributed talks

We solicit contributions in the fields of PCC, non-exhaustively described above. Please register a contribution at the EasyChair site for PCC 2013 (closed for new submissions). 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 abstracts should allow the organizers to see if the talks fit with PCC 2013, to group the talks into sessions, to see if the extension to Tuesday afternoon is justified by the quality of the submissions, etc. Even a short abstract can give a good view of the proposed contribution. A formula in the right place may stand for several sentences.

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: Monday, February 25
Notification of acceptance: Friday, March 8
Later submissions were still allowed until Thursday, March 7. Their notification was promised for Monday, March 11 and was done on March 13.
Early registration ended Wednesday, April 3, 23:59 Paris time, see the the dedicated page for registration to TYPES 2013 and its satellite workshops.

Preliminary Program

Programme on Monday April 22 from 10:00 to 17:20 (IRIT, on the campus of Univ. Paul Sabatier) and on Tuesday April 23 from 12:00 to 18:15 (Manufacture des tabacs, a site of Univ. Toulouse 1 Capitole). Tuesday morning free admission to the programme of TYPES (at Manufacture des tabacs).

Please note the different venue for Monday: the IRIT on the campus of Univ. Paul Sabatier, 118 Route de Narbonne, 31062 Toulouse (directions, also in French), the (very easy) way inside the building will be signposted.

A map with the important places for the TYPES conference, not just PCC

So Toulouse offers all participants a ticket for multiple free rides on the whole public transport system of Toulouse, in particular the airport bus and the subway. You'll get the Pass Transport at the registration desk of PCC on Monday at the IRIT. It is valid until Saturday, April 27.

Complete Program of all of TYPES 2013

Planned schedule for all PCC speakers

List of accepted talks

List of accepted talks with abstracts

Some snapshots taken on February 17, 2013 with a cheap smartphone camera (click on any picture to get to a page with more information and bigger versions).

Some further snapshots taken on April 20 and 21, 2013 with the same camera.

Past PCC workshops

PCC 2012 was held in Copenhagen, Denmark.
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, 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.

Page maintained by:

Ralph Matthes

https://www.irit.fr/~Ralph.Matthes/

Last modified (date in French): mer. avril 24 22:40:14 CEST 2013