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/2003/newsitem/43/14-Fe bruary-2003-Utrecht-Münster-Seminar-on-Provability -Algebras-fourth-session- DTSTAMP:20021001T000000 SUMMARY:Utrecht-Münster Seminar on Provability Alg ebras\n (fourth session) DTSTART;VALUE=DATE:20030214 DTEND;VALUE=DATE:20030214 LOCATION:Münster DESCRIPTION:In 2002/2003 a joint Compact Seminar o n Provability Algebras is organized by L. Beklemis hev and W. Pohlers. Altogether, four sessions, alt ernating in Utrecht (Department of Philosophy) and in Münster (Institute for Mathematical Logic and Foundations Research), will take place. Graded p rovability algebras (GPA) are modal algebras devel oped to provide an abstract algebraic approach to proof-theoretic analysis. This subject brings toge ther traditional methods of proof theory and metho ds developed in provability logic. For more inf ormation, see here, or contact Lev Beklimishev at lev at phil.uu.nl. X-ALT-DESC;FMTTYPE=text/html:\n
In 2002/20 03 a joint Compact Seminar on Provability Algebras is\n organized by L. Beklemishev and W. Po hlers.\n Altogether, four sessions, alterna ting in Utrecht (Department of\n Philosophy )\n and in Münster (Institute for Math ematical Logic and Foundations\n Research), will take place.\n
\nGraded pro vability algebras (GPA) are modal algebras develop ed to\n provide an abstract algebraic appro ach to\n proof-theoretic analysis. This sub ject brings together\n traditional methods of proof theory and methods developed in provabili ty\n logic.\n
\n \n\n For more information, see here, or contact\n Lev Beklimishev at lev at phil.uu.nl.\n
URL:/NewsandEvents/Archives/2003/newsitem/43/14-Fe bruary-2003-Utrecht-Münster-Seminar-on-Provability -Algebras-fourth-session- END:VEVENT END:VCALENDAR