Meetings
February 10, 2023 - Presentation by Visitor: "Making Collective Decisions with Incomplete Individual Opinions" by Zoi Terzopoulou
December 2, 2023 - Presentation by Visitor: "Bayes is back!" by Snow Zhang.
January 16, 2021 (in celebration of World Logic Day) - Presentation by Visitor: "Logical foundations of social influence in networks" with Zoé Christoff
November 16, 2019 - Presentation by Visitor: "Learning Theory: An Opinionated Introduction" by Hanti Lin
April 25, 2019 - Presentation by Visitor: "Modal logic of stepwise removal" and "Filtration 50 years later" with Johan van Benthem.
April 13, 2019 - Member presentation: "On Accuracy and Coherence with Infinite Opinion Sets" by Mikayla Kelley (Berkeley) and "Inexact Knowledge and Dynamic Introspection" by Michael Cohen (Stanford).
January 19, 2019 - Presentation by Visitor: "Can Euclid still be classified as an applied mathematician?" by Dana Scott.
June 9, 2018 - Member presentations: "A learning-theoretic perspective on algorithmic randomness" by Francesca Zaffora Blando (Stanford) and "Axiomatic philosophy of science" by Reid Dale (Berkeley).
December 2, 2017 - Presentation by Visitor: "What is Explicit Mathematics?" by Dana Scott.
November 18, 2017 - Presentation by Visitor: "Reflecting on Diachronic Dutch Books" by Michael Rescorla.
March 4, 2017 - Presentation by Visitor: "Social Epistemic Logic" by Fenrong Liu and Jeremy Seligman.
Jan. 14, 2017 - Presentation by Visitor: "The History of Dirichlet's Theorem on Primes in an Arithmetic Progression" by Jeremy Avigad.
Dec. 3, 2016 - Discussion of Member Papers: "Epistemic Aspects of Consistency Proofs" by James Walsh (Berkeley) and "A Dynamic Solution to the Surprise Exam Paradox" by Sven Neth (Berkeley).
Nov. 13, 2016 - Presentation by Visitor: Stone duality, logic on words, and profinite monoids with Sam van Gool.
May 3, 2016 - Presentation by Visitor: Algebraic Correspondence with Alessandra Palmigiano.
April 23, 2016 - Presentation by Visitor: Modal Language and Truth with Kai Wehmeier.
March 19, 2016 - Presentation by Visitor: Modal Logic of Topology with Guram Bezhanishvili.
Feb. 20, 2015 - Presentation by Visitor: A Universal Logic Theorem Proving Approach with Christoph Benzmueller.
Oct. 24, 2015 - Presentation by Visitor: Circularity with Larry Moss.
May 9, 2015 - Presentation by Members: Set Theory and Modal Logic presented by Nick Ramsey and James Walsh.
April 25, 2015 - Presentation by Visitor: Mathematical Modal Logic with Johan van Benthem.
April 18, 2015 - Presentation by Visitor: Mathematical Modal Logic with Johan van Benthem.
Jan. 24, 2015 - Presentation by Visitors: "From Degrees of Belief to Defeasible Knowledge" by Alexandru Baltag and Sonja Smets.
Dec. 6, 2014 - Discussion of Member Papers: "Questions, Topics, and Restricted Closure" by Peter Hawke (Stanford) and "Probability, Information, and Rational Belief" by Justin Vlasits (Berkeley).
Oct. 25, 2014 - Discussion of Member Papers: "The Problem of Cross-World Predication" by Alex Kocurek (Berkeley) and "Carnap and Gödel on Foundations of Mathematics" by J.T. Chipman (Stanford).