Join us in welcoming Mengxiao Zhang, Professor of Business Analytics at Tippie College of Business, to the ISE graduate seminar. Dr. Zhang will present his seminar titled"New Challenges for (Contextual) Multi-Armed Bandits: Fairness Objectives, Indirect Feedback, and Beyond" on Thursday, March 5th, from 3:30 - 4:20 p.m. in 4030 SC.

Michele Belot is the Frances Perkins Professor of Industrial and Labor Relations and a Professor of Economics at Cornell University.

Cormac O'Dea is an assistant professor of Economics at Yale University.

Title: Proofs and Programs

Abstract:

The Curry-Howard correspondence is one of (if not the) most significant foundational result in the study of programming languages and logics.

At its most fundamental, the Curry-Howard correspondence describes a deep connection between (predicative intuitionistic) logic with (simply-typed functional) programming: logical propositions are types, proofs of those propositions are functions inhabiting those types, and simplification of those proofs is evaluation of...

Ali Khan is the Abram Hutzler Professor of Political Economy at John Hopkins University.