6th CSLI Workshop on Logic, Rationality & Intelligent Interaction   2017

June 3-4, 2017, Cordura Hall (Barwise Room), CSLI, Stanford University


The purpose of this ongoing initiative is to bring together researchers interested in contacts between logic, philosophy, mathematics, computer science, linguistics, cognitive science, and economics to discuss new dimensions emerging today, such as knowledge, information, computation, and interactive agency.


Feferman Memorial Symposium Notice

In addition to our Saturday and Sunday programming, on the Monday following the workshop there will be a memorial meeting in honor of Solomon Feferman. The program for the memorial meeting is available here.

Workshop Program

(Titles and abstracts for all talks may be found here.)

Saturday, June 3
8:30-9:00 a.m. Breakfast
9:00-9:15 a.m. Opening Remarks

Logic and Computer Science
Chair: Vaughan Pratt (Stanford)

9:15-10:00 a.m. Stéphane Graham-Lengrand
10:00-10:45 a.m. Joe Halpern

10:45-11:30 a.m. Vladimir Lifschitz
(University of Texas)

11:30-11:45 a.m. Coffee Break

Student Session I

11:45 a.m.-12:05 p.m. Evan Patterson
12:05-12:25 p.m. Tyler Millhouse
12:25-12:45 p.m. Yafeng Wang
(Stanford University)

12:45-2:15 p.m. Lunch

Logic and Physics
Chair: Tom Ryckman (Stanford University)

2:15-3:00 p.m. Judit Madarasz
(Alfréd Rényi Institute of Mathematics)
3:00-3:45 p.m. Hans Halvorson
(Princeton University)
3:45-4:00 p.m. Coffee Break
4:00-4:45 p.m. Sarita Rosenstock
(University of California, Irvine)
4:45-5:30 p.m. Sonja Smets
(University of Amsterdam)

5:30-8:00 p.m. Dinner and Party

Sunday, June 4
9:00-9:30 a.m. Breakfast

Philosophical Logic
Chair: Kevin Kelly (Carnegie Mellon)

9:30-10:15 a.m. Kit Fine
(New York University)
10:15-11:00 a.m. Alexandru Baltag
(University of Amsterdam)
11:00-11:45 a.m. Wesley Holliday
(University of California, Berkeley)

11:45 a.m.-12:00 p.m. Coffee Break

Student Session II

12:00-12:20 p.m. Rachel Boddy
(University of California, Davis)
12:20-12:40 p.m. Ciyang Qing
(Stanford University)
12:40-1:00 p.m. Michael Cohen
(Stanford University)

1:00-2:15 p.m. Lunch

Logic and Language
Chair: Stanley Peters (Stanford University)

2:15-3:00 p.m. Una Stojnić
(New York University)
3:00-3:45 p.m. Frank Veltman
(University of Amsterdam)
3:45-4:00 p.m. Coffee Break
4:00-4:45 p.m. Tania Rojas Esponda
4:45-5:30 p.m. Paul Smolensky
(Johns Hopkins University)

The workshop continues a tradition of discussion-oriented outreach meetings aimed at fostering community across disciplines and universities, including senior and junior participants.


Center for the Study of Language and Information, Stanford University

Institute for Logic, Language and Computation, University of Amsterdam

Center for Formal Epistemology, Carnegie Mellon University

Department of Philosophy, Stanford University

Program in Symbolic Systems, Stanford University

Vaughan Pratt

Division of Logic, Methodology and Philosophy of Science of the Suppes Center for History and Philosophy of Science

Group in Logic and the Methodology of Science, University of California, Berkeley

School of Humanities and Sciences, Stanford University

Program Committee

Johan van Benthem, Thomas Icard

Organizing Committee

Francesca Zaffora Blando, J.T. Chipman, Michael Cohen, David Gottlieb, Krzysztof Mierzewski, Ben Sparkes, Declan Thompson


The Workshop will take place in Cordura Hall 100 (Barwise Room) at the Center for the Study of Language and Information (CSLI), located at the intersection of Campus Drive West and Panama Drive on the Stanford Campus. See this map for directions.

Parking on weekends is free in the standard “A” and “C” zones. There is a parking lot L-21 directly across Panama Street from CSLI (see the parking map) and a larger parking structure S-2 south on Panama Street.

If you have questions about public transportation to CSLI, please contact one of the organizers, or see visitor info.


Please contact Krzysztof Mierzewski with any questions about the workshop.

San Francisco Bay Bridge