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/2019/newsitem/10806/20
-May---14-June-2019-Workshop-on-Higher-Recursion-T
heory-Set-Theory-Singapore-Singapore
DTSTAMP:20190422T151555
SUMMARY:Workshop on Higher Recursion Theory & Set
Theory, Singapore, Singapore
DTSTART;VALUE=DATE:20190520
DTEND;VALUE=DATE:20190614
LOCATION:Singapore, Singapore
DESCRIPTION:The programme will focus on the part o
f recursion theory that studies subsets of the nat
ural numbers beyond arithmetical sets, and the the
ory of computability or definability on domains be
yond the set of natural numbers, including Martin'
s conjecture and higher randomness. In set theory,
it will concern topics that have close connection
s with definability, such as Woodin's program on u
ltimate L, the HOD conjecture, and descriptive inn
er model theory. This program also marks the 65th
birthdays of Ted Slaman and Hugh Woodin, which oc
cur in 2019 and 2020.
X-ALT-DESC;FMTTYPE=text/html:\n The programme
will focus on the part of recursion theory that st
udies subsets of the natural numbers beyond arithm
etical sets, and the theory of computability or de
finability on domains beyond the set of natural nu
mbers, including Martin's conjecture and higher ra
ndomness. In set theory, it will concern topics th
at have close connections with definability, such
as Woodin's program on ultimate L, the HOD conject
ure, and descriptive inner model theory.

\n\n
This program also marks the 65th birthdays of T
ed Slaman and Hugh Woodin, which occur in 2019 and
2020.

\n
URL:https://ims.nus.edu.sg/events/2019/recur/index
.php
END:VEVENT
END:VCALENDAR