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...

Title: Automorphic representations and L-functions for GL(1) over Q

Speaker: Lihe Wang, Department of Mathematics

Title: Volume inequalities and volume polynomials

Abstract: Many classical geometric inequalities, such as the isoperimetric inequality and the Loomis-Whitney inequality, can be understood and generalized using mixed volumes. In this talk, I will explain how these inequalities fit into a broader framework based on volume polynomials, which naturally relate mixed volume inequalities to intersection number inequalities in algebraic geometry. This perspective provides a unified approach to a wide...

Title: Volume inequalities and volume polynomials

Abstract: Many classical geometric inequalities, such as the isoperimetric inequality and the Loomis-Whitney inequality, can be understood and generalized using mixed volumes. In this talk, I will explain how these inequalities fit into a broader framework based on volume polynomials, which naturally relate mixed volume inequalities to intersection number inequalities in algebraic geometry. This perspective provides a unified approach to a wide...

Title: Automorphic representations and L-functions for GL(1) over Q