Program

Program

Saturday, May 21

Breakfast and Opening Remarks

9:00 - 9:30
Breakfast

9:30 - 9:45
Opening Remarks

Logic and Language

Chair: Stanley Peters, Stanford

Memorial session, held in honor of Lauri Karttunen

9:45 - 10:30
Seth Yalcin, UC Berkeley
Iffy Knowledge

10:30 - 11:15
Cleo Condoravdi, Stanford
Necessity Under "Only"

11:15 - 12:00
Annie Zaenen, Stanford
Implicatives: What Has Been Done and What Needs to Be Done

Lunch

12:00 - 13:30
Lunch

Student Session

13:30 - 14:00
Soham Shiva, Stanford
Two Modal Principles in Aristotle’s Metaphysics Θ.4

14:00 - 14:30
Michael Cohen, Stanford
Dynamic Introspection

Coffee Break

14:30 - 14:45
Coffee Break

Epistemology

Chair: Alejandro Pérez Carballo, UMass Amherst

14:45 - 15:30
Burkhard Schipper, UC Davis
Gaia Belardinelli, Copenhagen
On Notions of Knowledge Beneath Levels of Awareness

15:30 - 16:15
Wes Holliday, UC Berkeley
Possibilities for Awareness

16:15 - 17:00
Johan van Benthem, Stanford
Topological Dependence, A Case Study in Epistemic Mathematics

Dinner and Party

17:30 - 20:00
Dinner and Party

Sunday, May 22

Breakfast

9:00 - 9:30
Breakfast

Causality

Chair: Thomas Icard, Stanford

9:30 - 10:15
Frederick Eberhardt, Caltech
Causal Models at Multiple Levels of Granularity

10:15 - 11:00
Dominik Rothenhäusler, Stanford
Distributional Robustness, Replicability, and Causality

11:00 - 11:45
Christopher Hitchcock, Caltech
Causal Models in Philosophy

Coffee Break

11:45 - 12:00
Coffee Break

Student Session

12:00 - 12:30
Atticus Geiger, Stanford
Causal Abstraction and Computational Explanations in Artificial Intelligence

12:30 - 13:00
Declan Thompson, Stanford
Algorithms and Determinism

Lunch

13:00 - 14:30
Lunch

Mathematics and Computation

Chair: Balder ten Cate, Amsterdam

14:30 - 15:15
Valeria de Paiva, Topos Institute
Dialectica Categories Revisited

15:15 - 16:00
Phokion Kolaitis, UC Santa Cruz / IBM Research
On the Expressive Power of Homomorphism Counts

16:00 - 16:45
Rohan French, UC Davis
Non-Classical Metatheory from Above