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/41/15-No
 vember-2002-Utrecht-Münster-Seminar-on-Provability
 -Algebras-second-session-
DTSTAMP:20021001T000000
SUMMARY:Utrecht-Münster Seminar on Provability Alg
 ebras \n      (second session)
DTSTART;VALUE=DATE:20021115
DTEND;VALUE=DATE:20021115
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      <p>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&uuml;nster (Institute for Math
 ematical Logic and Foundations\n        Research),
  will take place.\n      </p>\n      <p>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      </p>\n    \n      <p>\n 
        For more information, see <a class="longdes
 criptionlink" href="https://www.illc.uva.nl/Newsan
 dEvents/newsitem/41">here</a>, or contact\n       
  Lev Beklimishev at <a class="email">lev <span cla
 ss="at">at</span> phil.uu.nl</a>.\n      </p>\n   
  
URL:/NewsandEvents/Archives/2002/newsitem/41/15-No
 vember-2002-Utrecht-Münster-Seminar-on-Provability
 -Algebras-second-session-
END:VEVENT
END:VCALENDAR