- Founded
2014 - Seminar Number
765
The seminar is concerned with applying formal methods to fundamental issues, with an emphasis on probabilistic reasoning, decision theory, and games. In this context “logic” is broadly interpreted as covering applications that involve formal representations. The topics of interest have been researched within a very broad spectrum of different disciplines, including philosophy (logic and epistemology), statistics, economics, and computer science. The seminar is intended to bring together scholars from different fields of research so as to illuminate problems of common interest from different perspectives. Throughout each academic year, meetings are regularly presented by the members of the seminar and distinguished guest speakers.
Co-Chairs
Haim Gaifman
hg17@columbia.edu
Yang Liu
yl587@cam.ac.uk
Rohit Parikh
rparikh@gc.cuny.edu
Rapporteur
TBD