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/2002/newsitem/296/25-O ctober-2002-Utrecht-Münster-Seminar-on-Provability -Algebras DTSTAMP:20021011T000000 SUMMARY:Utrecht-Münster Seminar on Provability Alg ebras DTSTART;VALUE=DATE:20021025 DTEND;VALUE=DATE:20021025 LOCATION:Utrecht 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 Mat hematical Logic and Foundations \n Resear ch), will take place.\n
\nGraded provability algebras (GPA) are modal algebras dev eloped to\n provide an abstract algebraic a pproach to\n proof-theoretic analysis. This subject brings together\n traditional meth ods of proof theory and methods developed in prova bility\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/2002/newsitem/296/25-O ctober-2002-Utrecht-Münster-Seminar-on-Provability -Algebras END:VEVENT END:VCALENDAR