2nd CSLI Workshop on
Logic, Rationality & Intelligent Interaction 2013
May 31-June 2, 2013 Cordura Hall, CSLI, Stanford University
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.
Friday, May 31
Norms, Inference and Argumentation
3:00 - 3:55 John Woods (British Columbia)
Title: "Advice on the Logic of Argument"
4:00 - 4:55 Leon van der Torre (Luxembourg)
"System O: A New Logic for Normative
Reasoning and Defeasible
4:55 - 5:05 coffee break
5:05 - 6:00 Justin Bledin
Title: "Two Kinds of Supposition"
6:05 - 7:00
Anna-Sara Malmgren (Stanford)
Title: "A Puzzle About Inference"
7:00 - 8:00 dinner
Saturday, June 1
Logic and Mathematics
Chair: Grigori Mints
8:30 - 9:00 coffee and light breakfast
9:00 - 9:55 Peter Koellner
Title: "On Gödel's Disjunction"
10:00 - 10:55 John Steel
Title: "Gödel's Program"
11:00 - 11:55 Solomon Feferman
"Why Isn't the Continuum Problem on the
Millenium ($1,000,000) Prize
12:00 - 1:00 lunch
1:00 - 1:15 Arezoo Islami (Stanford)
"Deconstructing a Mystery: Analyticity and
1:15 - 1:30 Sharon Berry (Harvard)
"Cole's Institutional Account of Mathematical
the Problem of (Apparently)
1:30 - 1:45 coffee break
Games and Decisions
Chair: Sherrilyn Roush
1:45 - 2:40 Brian Skyrms (UC Irvine and Stanford)
Title: "Some Dynamics of Signaling Games"
2:45 - 3:40 Eric Pacuit (Maryland)
Title: "Modeling Rational Deliberation in Games"
4:00 coffee break
4:00 - 4:55 Lara Buchak (UC
Title: "Risk and Rationality"
5:00 - 5:55 Bas van Fraassen (San Francisco State University)
Title: "Voluntarism in Probabilist Epistemology"
6:00 - 7:30 dinner and party
Sunday, June 2
Language and Information
Chair: Cleo Condoravdi
9:30 - 10:00 coffee and snacks
10:00 - 10:55 Wesley Holliday (UC Berkeley) and
John Perry (UC Riverside and Stanford)
"Roles, Rigidity and Quantification in Epistemic
11:00 - 11:55 Pranav Anand (UC Santa Cruz)
Title: "Embedding Epistemics"
Logic and Computation
Chair: Dana Scott
1:30 - 2:25 Percy Liang (Stanford)
"From Natural Language to Formal Language via
2:30 - 3:25 Ryan Williams (Stanford)
"Duality Between Circuit Analysis (Algorithm) and
Circuit Complexity (Lower Bounds)"
3:25 - 3:35 coffee break
3:35 - 4:30 André Hernich
(UC Santa Cruz)
Title: "Logics for "Small" Complexity Classes"
4:30 - 5:30 Phokion Kolaitis
(UC Santa Cruz and IBM Research -
Title: "The Query Containment Problem: Set Semantics vs. Bag Semantics"
workshop continues a tradition of discussion-oriented outreach meetings
aimed at fostering community across disciplines and universities,
senior and junior participants.
The Friday session will take place in
Building 50, Main Quad, at Stanford University, in room 50-52H. The
building can be located on the following map (search for "Building 50, Main Quad"). Various visitor parking areas can be found nearby, around the Oval. See the parking map.
The weekend sessions of the Workshop will take place in Cordura Hall 100 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.
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
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.