At Stanford
- June 5, 2017: Solomon Feferman Memorial Symposium
- June 3-4, 2017: 6th CSLI Workshop on Logic, Rationality, and Intelligent Interaction
- May 28-29, 2016: 5th CSLI Workshop on Logic, Rationality, and Intelligent Interaction
- May 31-June 1, 2014: 3rd CSLI Workshop on Logic, Rationality, and Intelligent Interaction
- May 30-June 2, 2013: 2nd CSLI Workshop on Logic, Rationality, and Intelligent Interaction
- June 1-3, 2012: 1st CSLI Workshop on Logic, Rationality, and Intelligent Interaction
- May 14, 15, 2011: Logic and Methodology Workshop
- April 11, 13, 14, 2011: Tarski Lectures by Johan van Benthem, at UC Berkeley
- April 8, 9, 2011: Workshop on Natural Logic, Proof Theory, and Computational Semantics
- May 8, 2010: Workshop on Reasoning with Phylogenetic Diagrams in Evolutionary Biology (organized by Joel Velasco and Solomon Feferman).
- April 23, 2010: Carl Hewitt: Gödel versus Wittgenstein on the Foundations of Logic.
- April 16, 2010: Bas van Fraasen (SFSU): Representation and Imaging (Cordura 100 from 12:00 to 1:30).
- March 13, 2010: Workshop on Cognitive Aspects of Reasoning with Diagrams (organized by Solomon Feferman and Barbara Tversky)
- November 6, 2009: Wilfried Sieg (Carnegie Mellon): “In the shadow of incompleteness: Hilbert and Gentzen ” (Cordura 100 from 12:00 noon to 1:30)
- November 13, 2009: Elaine Landry (UC Davis): “How to be a structuralist all the way down” (Cordura 100 from 12:00 noon to 1:30)
- October 23, 2009: Dana Scott (Carnegie Mellon and UC Berkeley): “Mixing Modality and Probability” (Cordura 100 from 4:00 to 5:30pm)
- October 24, 2009: Symposium on Constructive Geometric Reasoning
- May 29, 2009: Urszula Wybraniec-Skardowska (Opole): “On The History of Polish Logic” (Cordura 100 from 12:00 noon to 1:30 pm)
- May 22, 2009: Solomon Feferman (Stanford): “Conceptual Structuralism and the Continuum” (Building 90 room 92Q from 15:15 to 17:30)
- April 17, 2009: Richard Tieszen (San Jose State): “Elements of Gödel's Turn to Husserl” (Cordura 100 from 12:00 noon to 1:30 pm)
- May 1, 2009: Aldo Antonelli (Davis): “Deflationary Abstraction and the Frege Quantifier” (Cordura 100 from 12:00 noon to 1:30 pm)
- June 25–27, 2008: NF in the Bay Area
- May 31–June 1, 2008: Epistemology Meets Logic, Informally
- March 6, 2008: Mathematics Department Collquium: Ulrich Kohlenbach (Darmstadt): "Logical Proof Interpretations as a Tool for `Hard Analysis'"
- March 7, 2008: Philosophy Department Collquium: Ulrich Kohlenbach (Darmstadt): "Finitism and Constructivism in Mathematics Revisited"
- Special Event for Logical Methods/LILAC
- Conference Cohen-72
- WoLLIC 2006
- Paris-Amsterdam-Berkeley Logic Meetings at Stanford
- 2005 Association for Symbolic Logic annual meeting
- Symposium Honoring Solomon Feferman
At Berkeley
Elsewhere
- August 8-12, 2011: Workshop on Logical Constants, Ljubljana, Slovenia
- June 18-20, 2012: LOFT 2012, Sevilla, Spain
Last modified