• Founded
  • Seminar Number

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.

Professor Haim Gaifman

Dr. Yang Liu

Professor Rohit Parikh

Arthur Heller Britto

Meeting dates and locations are subject to change. Please confirm details with the seminar rapporteur.

Meeting Schedule

4:00 PM