BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/819
4/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