General Information Contributed Talks Preliminary Program Past workshops
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 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:
© Ville de Toulouse
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.
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.
Page maintained by:Ralph Matthes http://www.irit.fr/~Ralph.Matthes/
Last modified (date in French): mer. avril 24 22:40:14 CEST 2013