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/2011/newsitem/3806/24-
 February-2011-Workshop-on-Universal-Models
DTSTAMP:20110220T000000
SUMMARY:Workshop on Universal Models
ATTENDEE;ROLE=Speaker:Dick de Jongh, Gerard Renard
 el de Lavalette, Sam van Gool, Joost J. Joosten, D
 avid Fernandez Duque, Mai Gehrke
DTSTART;VALUE=DATE:20110224
DTEND;VALUE=DATE:20110224
LOCATION:Room A410, Roetersstraat 15, Amsterdam
DESCRIPTION:This workshop is an informal gathering
  of people that study universal models or use them
  in their research. There will be presentations bo
 th on finished studies and on work in progress. Un
 iversal models were originated by V. Shethman and 
 V. Rybakov, anticipated by D. de Jongh's dissertat
 ion in 1968. In intuitionistic logic the subject r
 eemerged in N. Bezhanishvili's dissertation in 200
 6. The logics involved today comprise intuitionist
 ic propositional logic and modal logics. In intuit
 ionistic logic one has finite universal models for
  some fragments missing some of the usual connecti
 ves, and the usual complicated infinite ones for t
 he full logic. One of the modal logics that will b
 e presented is GLP, an extension of Gödel-Löb's lo
 gics GL that has a different provability modality 
 for each ordinal. Another modal logic that will be
  discussed is S4. At the workshop the subject will
  be approached from the algebraic/co-algebraic sid
 e as well.  For more information, see https://www.
 illc.uva.nl/UniversalModels/.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>This works
 hop is an informal gathering of people that study\
 n      universal models or use them in their resea
 rch. There will be\n      presentations both on fi
 nished studies and on work in\n      progress. Uni
 versal models were originated by V. Shethman and\n
       V. Rybakov, anticipated by D. de Jongh's dis
 sertation in\n      1968. In intuitionistic logic 
 the subject reemerged in\n      N. Bezhanishvili's
  dissertation in 2006. The logics involved\n      
 today comprise intuitionistic propositional logic 
 and modal\n      logics. In intuitionistic logic o
 ne has finite universal models\n      for some fra
 gments missing some of the usual connectives, and\
 n      the usual complicated infinite ones for the
  full logic. One of\n      the modal logics that w
 ill be presented is GLP, an extension of\n      G&
 ouml;del-L&ouml;b's logics GL that has a different
  provability\n      modality for each ordinal. Ano
 ther modal logic that will be\n      discussed is 
 S4.  At the workshop the subject will be approache
 d\n      from the algebraic/co-algebraic side as w
 ell.</p>\n    \n        <p>For more information, s
 ee\n        <a target="_blank" href="https://www.i
 llc.uva.nl/UniversalModels/">https://www.illc.uva.
 nl/UniversalModels/</a>.\n        </p>\n    
URL:/NewsandEvents/Archives/2011/newsitem/3806/24-
 February-2011-Workshop-on-Universal-Models
END:VEVENT
END:VCALENDAR