\n

Aimed at understanding the structure of mathematical pr oofs,\n proof theory has undergone different phases: it has been\n reductive, general, str uctural. Especially thanks to sequent\n calcu lus formalizations, deep results were attained as far as\n proofs in pure logic and arithmetic are concerned. Through\n significant connecti ons with computer science, proof theory\n con tributed to the birth of new areas of research out side\n traditional mathematics, such as the v erification of correctness\n of computer prog rams. Natural deduction has led to the\n Curr y-Howard correspondence and to connections with fu nctional\n programming, and sequent calculus is often used in systems of\n automatic proof search, as in logic programming. Rooted in\n general proof theory, a proof-theoretic semantics has been\n recently developed as an alternat ive to standard denotational\n truth-conditio n semantics. The workshop will focus mainly on\n proof systems, but we aim at touching several areas of\n proof-theoretical research.\n

\nThe workshop will be framed in two six-hour tutorials, six\n one-hour lectures, and is open to half-hour contributed\n talks .\n

\n \n \nFor more inf ormation, see the preliminary webpage at\n http://www.helsinki.fi/~negri/psw pt.html\n

\n\n

URL:/NewsandEvents/Archives/2012/newsitem/4314/12-
15-June-2012-Pisa-Summer-Workshop-in-Proof-Theory-
Pisa-Italy
END:VEVENT
END:VCALENDAR
\n People interested to present a paper in the workshop may\n send a title with a sho rt abstract by email.\n Deadline for submis sions: March 20, 2012.\n

\n