\n

\n The aim of PCC is to stimulate research in pr oof theory,\n computation, and complexity, focusing on issues which combine\n logical and computational aspects. Topics may include\n applications of formal inference systems in c omputer science,\n as well as new developme nts in proof theory motivated by\n computer science demands. Specific areas of interest are\n (non-exhaustively listed) foundations for specification and\n programming languages, logical methods in specification and\n prog ram development including program extraction from proofs,\n type theory, new developments in structural proof theory, and\n implicit com putational complexity.\n

\n \n \n\n For more information, see\n http://www.mn.uio.no/math/english/re search/groups/logic/events/conferences/.\n

\n\n

URL:/NewsandEvents/Events/Conferences/newsitem/619
3/23-24-May-2015-Fourteenth-International-Workshop
-on-Proof-Computation-and-Complexity-PCC-2015-Oslo
-Norway
END:VEVENT
END:VCALENDAR
\n PCC is intended to be a lively forum for presenting and\ n discussing recent work. We solicit contri butions in the fields\n of PCC, non-exhaust ively described above. Progress on a not yet satis factorily solved problem may well be worth present ing - in particular if the discussions during the workshop might lead towards a solution. Deadline f or\n proposing a contributed talk: April 1, 2015.\n

\n