5 - 6 May 2017, Logic at UC Berkeley

A two-day conference in mathematical logic and related areas organized by The Group in Logic 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.

The 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 foundations of computer science.