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.)
| 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 |
| 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) |
The workshop continues a tradition of discussion-oriented outreach meetings aimed at fostering community across disciplines and universities, including senior and junior participants.
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
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
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.
