IdeaStorm is an entry level pitch competition across the University of Iowa’s campus that encourages students to share their innovative ideas, all while familiarizing themselves with the pitching process.

Tippie Thrive and Tippie Senate invite you to casual lunchtime discussions featuring personal stories of resilience and wellness. Hear from Tippie alumni, faculty, and staff as they share experiences, insights, and strategies. Each session offers an opportunity to connect, reflect, and leave with practical ideas for supporting your well-being. Lunch will be provided while supplies last.

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