Logic List Mailing Archive

6th CSLI Workshop on Logic, Rationality, & Intelligent Interaction and Solomon Feferman Symposium

3-5 Jun 2017
Stanford CA, U.S.A.

We hope to see you at the...

6th CSLI Workshop on Logic, Rationality, and Intelligent Interaction

June 3 - 4, 2017

held in conjunction with the

Solomon Feferman Symposium

June 5, 2017
~~~
Center for the Study of Language and Information, Stanford University
~~~

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 Stojni? (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@stanford.edu<mailto:kmierzew@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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam