BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of California\, Berkeley//UCB Events Calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
DTSTART:19701029T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:19700402T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20170423T164110Z
DTSTART;TZID=America/Los_Angeles:20170506T093000
DTEND;TZID=America/Los_Angeles:20170506T170000
TRANSP:OPAQUE
SUMMARY:Logic at UC Berkeley: May 6th Session
UID:108864-ucb-events-calendar@berkeley.edu
ORGANIZER;CN="UC Berkeley Calendar Network":
LOCATION:105 North Gate Hall
DESCRIPTION:Jeremy Avigad\, Carnegie Mellon University\\nBarbara Partee\, University of Massachusetts at Amherst\\nJohan van Benthem\, University of Amsterdam\, Stanford University\, Tsinghua University\\nRonald Fagin\, IBM Almaden Research Center\n\nA two-day conference in mathematical logic and related areas organized by The Group in Logic and the Methodology of Science at UC Berkeley (logic.berkeley.edu). The conference is partly occasioned by the fact that the Group in Logic turns sixty this year.\n\nIn 1957\, a group of faculty members\, most of them from the departments of Mathematics and Philosophy\, initiated a pioneering interdisciplinary graduate program leading to the degree of Ph.D. in Logic and the Methodology of Science. The Group has fostered interdisciplinary work in which logic has interacted with mathematics\, philosophy\, statistics\, computer science\, linguistics\, physics and other disciplines.\n\nWhile mathematical logic at UC Berkeley cannot be identified only with the Group in Logic\, the Group has played a vital role in Berkeley’s worldwide prominence in mathematical logic and significantly contributed to making Berkeley a mecca since the fifties for people interested in mathematical logic and its applications. A full list of all those researchers in logic who taught at UC Berkeley\, or studied at UC Berkeley\, or visited Berkeley for shorter or longer periods would result in a who’s who of mathematical logic.\n\nWhile marking an important moment for logic at UC Berkeley\, the conference will be forward looking rather than merely celebratory. We have invited eight internationally prominent scholars to talk about the future of mathematical logic in their respective areas of specialization.\n\nThe first day of the conference will have four invited speakers in the so-called “foundational” areas: set theory\, model theory\, recursion theory\, and proof theory. The second day will have four invited speakers in areas where mathematical logic plays a prominent role\, namely philosophy of logic and mathematics\, formal semantics for natural languages\, modal logic\, and logic in computer science.
URL:http://events.berkeley.edu/index.php/calendar/sn/pubaff.html?event_ID=108864&view=preview
SEQUENCE:0
CLASS:PUBLIC
CREATED:20170423T164110Z
LAST-MODIFIED:20170423T164256Z
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-OWNERAPPTID:-1
END:VEVENT
END:VCALENDAR