3 - 5 June 2017, 6th CSLI Workshop on Logic, Rationality, and Intelligent Interaction and Solomon Feferman Symposium, Stanford CA, U.S.A.

This event continues a long-standing tradition at Stanford of annual workshops in logic, broadly conceived, aimed at fostering discussion across disciplines and universities, with the added goal of involving both junior and senior participants. The content of the workshop is drawn from the disciplines of logic, philosophy, mathematics, computer science, cognitive science, linguistics and economics, with an emphasis on exploring interdisciplinary contacts.

This year, the workshop will be held in conjunction with the Solomon Feferman Symposium, dedicated to the life and work of Solomon Feferman.

When: From Saturday June 3 to Monday June 5, 2017

Where: Cordura Hall (Barwise Room), CSLI

Confirmed speakers:

Logic and Computer Science: Stéphane Graham-Lengrand (CNRS), Joe Halpern (Cornell), Vladimir Lifschitz (University of Texas)

Logic and Physics: Judit Madarász (Alfréd Rényi Institute of Mathematics), Hans Halvorson (Princeton), Sarita Rosenstock (UC Irvine), Sonja Smets (University of Amsterdam)

Philosophical Logic: Kit Fine (NYU), Alexandru Baltag (University of Amsterdam), Wesley Holliday (UC Berkeley)

Logic and Language: Una Stojnic (NYU and ANU), Frank Veltman (University of Amsterdam), Tania Rojas-Esponda (Google), Paul Smolensky (Johns Hopkins)

Solomon Feferman Symposium: Michael Rathjen (University of Leeds), Gerhard Jäger (University of Bern), Wilfried Sieg (Carnegie Mellon), Peter Koellner (Harvard), Dana Scott (Carnegie Mellon), Carolyn Talcott (SRI International), Paolo Mancosu (UC Berkeley), Charles Parsons (Harvard)

A webpage with the finalized schedule will soon be available. For further information, please contact Chris Mierzewski (kmierzew at stanford.edu.

Sponsored by: Institute for Logic, Language and Computation, University of Amsterdam Center for the Study of Language and Information, Stanford 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, UC Berkeley School of Humanities and Sciences, Stanford University

The Solomon Feferman Symposium is co-sponsored by Stanford?s Departments of Philosophy and Mathematics