\n

\n The aim of PCC is to stimulate research in proof theory, computation,\n and complexity , focusing on issues which combine logical and\n computational aspects. Topics may include ap plications of formal\n inference systems in computer science, as well as new developments in\ n proof theory motivated by computer scienc e demands. Specific areas of\n interest are (non-exhaustively listed) foundations for specifi cation\n and programming languages, logical methods in specification and\n program dev elopment including program extraction from proofs, \n type theory, new developments in struct ural proof theory, and implicit \n computat ional complexity.\n

\n \n \nFor more information, see\n http://p cc2010.unibe.ch/

\n\n <
p>\n The Programme Committee cordially invi
tes all researchers\n to submit their\n
papers for presentation.\n Submission d
eadline is April 1st, 2010.\n \n
URL:/NewsandEvents/Archives/2010/newsitem/3162/18-
--19-June-2010-Proof-Computation-Complexity-PCC-Be
rn
END:VEVENT
END:VCALENDAR