BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2012/newsitem/4314/12- 15-June-2012-Pisa-Summer-Workshop-in-Proof-Theory- Pisa-Italy DTSTAMP:20120202T000000 SUMMARY:Pisa Summer Workshop in Proof Theory, Pisa , Italy DTSTART;VALUE=DATE:20120612 DTEND;VALUE=DATE:20120615 LOCATION:Pisa, Italy DESCRIPTION:Aimed at understanding the structure o f mathematical proofs, proof theory has undergone different phases: it has been reductive, general, structural. Especially thanks to sequent calculus formalizations, deep results were attained as far as proofs in pure logic and arithmetic are concern ed. Through significant connections with computer science, proof theory contributed to the birth of new areas of research outside traditional mathemat ics, such as the verification of correctness of co mputer programs. Natural deduction has led to the Curry-Howard correspondence and to connections wit h functional programming, and sequent calculus is often used in systems of automatic proof search, a s in logic programming. Rooted in general proof th eory, a proof-theoretic semantics has been recentl y developed as an alternative to standard denotati onal truth-condition semantics. The workshop will focus mainly on proof systems, but we aim at touch ing several areas of proof-theoretical research. The workshop will be framed in two six-hour tutor ials, six one-hour lectures, and is open to half-h our contributed talks. For more information, see the preliminary webpage at http://www.helsinki.fi /~negri/pswpt.html People interested to present a paper in the workshop may send a title with a sh ort abstract by email. Deadline for submissions: M arch 20, 2012. X-ALT-DESC;FMTTYPE=text/html:
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 People interested to present a paper in the w orkshop may\n send a title with a short abs tract by email.\n Deadline for submissions: March 20, 2012.\n
\n