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
(CNRS)
10:00-10:45 a.m. Joe Halpern
(Cornell)
 
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
(Stanford)
12:05-12:25 p.m. Tyler Millhouse
(Arizona)
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
(Google)
4:45-5:30 p.m. Paul Smolensky
(Johns Hopkins University)
 

 

 

Sponsors

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

Location 

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.

Contact 

Please contact Krzysztof Mierzewski with any questions about the workshop.

Contact Email: 
kmierzew@stanford.edu