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
| 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 (UCLA) |
| 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 (Berkeley) |
| 12:05-12:25 p.m. | Sven Neth (Berkeley) |
| 12:25-2:15 p.m. | Lunch |
Logic and Computation
Chair: Phokion Kolaitis
| 2:15-3:00 p.m. | Moshe Vardi (Rice) |
| 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 (Stanford) |
| 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 |
| 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 (CUNY) |
| 11:45 a.m.-12:00 p.m. | Coffee Break |
Student Session II
| 12:00-12:20 p.m. | Robert Bassett (Stanford) |
| 12:20-12:40 p.m. | Aleks Knoks (Maryland) |
| 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 (CMU) |
| 3:45-4:00 p.m. | Coffee Break |
| 4:00-4:45 p.m. | Becky Morris (Stanford) |
| 4:45-5:30 p.m. | Eric Swanson (Michigan) |
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
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
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.
