Skip to content Skip to navigation

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

June 3, 2017 (All day) to June 4, 2017 (All day)
Cordura Hall

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.

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

Workshop Program


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)




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

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 BenthemThomas Icard

Organizing Committee

Francesca Zaffora BlandoJ.T. ChipmanMichael Cohen,David GottliebKrzysztof MierzewskiBen SparkesDeclan 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.

Contact Email: