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  <p>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.</p>\n\n  <p>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.</p>\n
URL:http://logic.berkeley.edu/events.html
END:VEVENT
END:VCALENDAR