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