\n

The aim o f PCC is to stimulate research in proof theory, co mputation, and complexity, focusing on issues whic h combine logical and computational aspects. Topic s may include applications of formal inference sys tems in computer science, as well as new developme nts in proof theory motivated by computer science demands. PCC 2017 will include an unveiling ceremo ny of a commemorative plaque for Paul Bernays.

\n\n\n

\n

URL:https://www.irit.fr/PCC2017/
END:VEVENT
END:VCALENDAR
We solicit contributions in the fields of PCC. Specific areas of interest are (non-exhaustively listed) foundat ions for specification and programming languages, logical methods in specification and program devel opment including program extraction from proofs, t ype theory, new developments in structural proof t heory, and implicit computational complexity.

\ n\nPCC is intended to be a lively forum for p resenting and discussing recent work. Progress on a not yet satisfactorily solved problem may well b e worth presenting - in particular if the discussi ons during the workshop might lead towards a solut ion.

\n