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/42/24-Ja
nuary-2003-Utrecht-Münster-Seminar-on-Provability-
Algebras-third-session-
DTSTAMP:20021001T000000
SUMMARY:Utrecht-Münster Seminar on Provability Alg
ebras\n (third session)
DTSTART;VALUE=DATE:20030124
DTEND;VALUE=DATE:20030124
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 Math
ematical Logic and Foundations\n Research),
will take place.\n

\n Graded 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

\n
URL:/NewsandEvents/Archives/2003/newsitem/42/24-Ja
nuary-2003-Utrecht-Münster-Seminar-on-Provability-
Algebras-third-session-
END:VEVENT
END:VCALENDAR