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/2017/newsitem/8194/5--
-6-May-2017-Logic-at-UC-Berkeley
DTSTAMP:20170420T140039
SUMMARY:Logic at UC Berkeley
DTSTART;VALUE=DATE:20170505
DTEND;VALUE=DATE:20170506
DESCRIPTION:A two-day conference in mathematical l
ogic and related areas organized by The Group in L
ogic and the Methodology of Science at UC Berkeley
. The conference is partly occasioned by the fact
that the Group in Logic turns sixty next year. Th
e first day of the conference will have four invit
ed speakers in the so-called 'foundational' areas:
set theory, model theory, recursion theory, and p
roof theory. The second day will have four invited
speakers in areas where mathematical logic plays
a prominent role, namely philosophy of logic and m
athematics, formal semantics for natural languages
, modal logic, and foundations of computer science
.
X-ALT-DESC;FMTTYPE=text/html:\n A two-day conf
erence in mathematical logic and related areas org
anized by The Group in Logic and the Methodology o
f Science at UC Berkeley. The conference is partly
occasioned by the fact that the Group in Logic tu
rns sixty next year.

\n\n The first day of
the conference will have four invited speakers in
the so-called 'foundational' areas: set theory, mo
del theory, recursion theory, and proof theory. Th
e second day will have four invited speakers in ar
eas where mathematical logic plays a prominent rol
e, namely philosophy of logic and mathematics, for
mal semantics for natural languages, modal logic,
and foundations of computer science.

\n
URL:http://logic.berkeley.edu/events.html
END:VEVENT
END:VCALENDAR