7th CSLI Workshop on Logic, Rationality & Intelligent Interaction   2018

June 2-3, 2018, 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.


Workshop Program

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

Logic and Mathematics
Chair: Persi Diaconis

9:15-10:00 a.m. Sean Walsh
10:00-10:45 a.m. Pierre Simon
(UC Berkeley)

10:45-11:30 a.m. Maryanthe Malliaris
(University of Chicago)

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

Student Session I

11:45 a.m.-12:05 p.m. Reid Dale
12:05-12:25 p.m. Sven Neth

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

Logic and Computation
Chair: Phokion Kolaitis

2:15-3:00 p.m. Moshe Vardi
3:00-3:45 p.m. Carlos Areces
(Stanford / Universidad Nacional de Córdoba)
3:45-4:00 p.m. Coffee Break
4:00-4:45 p.m. Stephen Bach
4:45-5:30 p.m. Erik-Jan van der Linden
(ProcessGold, Eindhoven)

5:30-5:50 p.m. Book Presentation: Feferman on Foundations: Logic, Mathematics, Philosophy," organized by Rick Sommer
5:50-8:00 p.m. Dinner and Party

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

Logic and Social Agency
Chair: Rohit Parikh

9:30-10:15 a.m. Johan van Benthem
(Amsterdam, Stanford, Tsinghua)
10:15-11:00 a.m. Dominik Klein
(University of Bayreuth)
11:00-11:45 a.m. Yunqi Xue

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

Student Session II

12:00-12:20 p.m. Robert Bassett
12:20-12:40 p.m. Aleks Knoks

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

Logic and Philosophy
Chair: Brian Skyrms

2:15-3:00 p.m. Patrick Grim
(SUNY Stony Brook)
3:00-3:45 p.m. Konstantin Genin
3:45-4:00 p.m. Coffee Break
4:00-4:45 p.m. Becky Morris
4:45-5:30 p.m. Eric Swanson

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

Center for Formal Epistemology, Carnegie Mellon University

Department of Philosophy, Stanford University

Program in Symbolic Systems, Stanford University

Department of Linguistics, 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

Humanities Center, Stanford University

Office of the Provost, 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, Imran Thobani, 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