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:

Le Capitole
© Ville de Toulouse


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

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).
Square Boulingrin - stemming from bowling greena view towards Musée des Augustinsthe conference takes place about 100m from the left end of the picture

Some further snapshots taken on April 20 and 21, 2013 with the same camera.
Canal du Midi seen from Pont des Demoisellesat Canal du MidiSquare Boulingrin - stemming from bowling green

Past PCC workshops

Page maintained by:

Ralph Matthes

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