Proof, Computation, Complexity 2016
Fifteenth International Workshop
May 5-6, 2016, München, Germany
General Information
Invited Speakers
Further special session and contributed talks
Program
Registration
Past workshops
News
May 3: brochure with programme, all abstracts and room directions available
May 3: precise instructions for entrance and lecture halls
May 3: PDF version of programme available, see below
April 27: PDF versions of 13 abstracts available on the page with the abstracts
April 19: speakers with abstracts given and registration form made available
April 6: titles and abstracts of the invited speakers of PCC given
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
During PCC 2016, a special session will be organized to celebrate the 60th birthday of Ulrich Berger.
The workshop will take place in the city centre of München (München = Munich in English and French), at the Mathematical Institute of the University of Munich (LMU). After PCC 2016, the international workshop Mathematics for Computation (M4C) will take in Niederalteich nearby Munich.
We are thankful for financial and material aid by the University of Munich (LMU), for financial support by the DVMLG and to JSPS for supporting participation at the workshop.
The location
Please note that May 5th is a public holiday in Germany. This makes the access to the building more subtle. The adress is
Ludwig-Maximilians-Universität München
Mathematisches Institut
Theresienstr. 39
80333 München
There is an official guide to finding the institute. Now come the special elements for May 5: the entrance on Thursday will be on the side of Theresienstrasse (from the North), and this at the part of the building where it steps a bit back for an inner courtyard. In that courtyard, it is in the back corner to the left with the small door. You can enter between 8:45 and 9:15 if you are a registered participant. If you arrive later, then please use the contact information you got.
Invited Speakers of PCC
- Dag Normann, Univ. of Oslo, Norway
- Revisiting Transfinite Types
- Paulo Oliva, Queen Mary Univ. London, UK
- Modified bar recursion - 15 years on
- Thomas Streicher, Technical University Darmstadt, Germany
- An effective Spectral Theorem for bounded self adjoint operators
Further special session and contributed talks
Programme
Please find here a properly typeset programme including the titles of the talks and the room numbers. For finding the rooms, there is a specific map. Be warned that the entrance on Thursday morning is rather in the opposite corner of the building - the red mark on building A in the miniature map there marks the lecture hall only. There is also a brochure with programme, all abstracts and room directions.
Thursday May 5: day-long special session dedicated to Ulrich Berger
9:00 - 10:00 Opening
Invited Speaker 1: Dag Normann
10:00 - 10:30 Coffee Break
10:30 - 12:30 Mizuhito Ogawa
Dieter Spreen
Birgit Elbl
Fredrik Nordvall Forsberg
12:30 - 14:30 Lunch Break (coffee being served at 14h)
14:30 - 16:20 Invited Speaker 2: Paulo Oliva
Thomas Powell
Anton Setzer
16:20 - 16:50 Coffee Break
16:50 - 18:10 Invited Speaker 3: Thomas Streicher
Lorenz Berger
19:30 Dinner at Schneider Bräuhaus, which is very close to Marienplatz (reservation subject to registration)
Friday May 6
9:00 - 10:00 Peter Schuster
Masahiko Sato
10:00 - 10:30 Coffee Break
10:30 - 12:30 Thomas Piecha
Ernst Zimmermann
Rene Gazzari
Sam Sanders
12:30 - 14:30 Lunch Break (coffee being served at 14h)
14:30 - 16:30 Alessio Guglielmi
Alessio Santamaria
David Sherratt
Andrea Aler Tubella
16:30 - 17:00 Coffee Break
17:00 - 18:00 Benjamin Ralph
Lars Kristiansen
PCC steering committee
Program Committee PCC 2016
- 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)
- Isabel Oitavem, Universidade Nova de Lisboa, Portugal
- Anton Setzer, Swansea University, UK
Organization Committee PCC 2016
Submission information
We solicit contributions in the fields of PCC, non-exhaustively
described above. Please register a contribution at the EasyChair site
for PCC 2016: https://easychair.org/conferences/?conf=pcc20160 (please
note the trailing zero).
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 latter PDF file is not compulsory on first submission.)
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.
We also manage the abstracts for the special session by this EasyChair installation. If your abstract is meant for the special session, then please check the corresponding checkbox in the submission form.
Registration
Registration is required for the purpose of proper organization. No registration fee will be charged, but there is a small contribution towards coffee breaks that will be collected on site. The exact modalities of registration are on the registration form. Deadline for registration: April 26, 2016.
Important Dates
- Deadline for proposing a talk: March 31st, 2016 (AoE)
- Notification of acceptance: April 18, 2016
- Registration deadline: April 26, 2016 (closed)
Past PCC workshops
- PCC 2015 was held in Oslo, Norway, colocated with the Symposium on the occasion of the retirements of Herman Ruge Jervell and Dag Normann.
- PCC 2014 was held in Paris, France, colocated with TYPES 2014.
- PCC 2013 was held in Toulouse, France, colocated with TYPES 2013.
- 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): mar. mai 3 23:01:50 CEST 2016