• 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

All seminars will meet over Zoom for the 2020-2021 academic year. Meeting links provided upon RSVP. Meeting dates and times are subject to change. 

Meeting Schedule