Each semester, we are proud to host outstanding seminar speakers. Everyone is encouraged to attend.

What happens when environmental lawyers and geoscientists team up to tackle contaminated sites? Join Iowa Law alum Michael Dunning (Partner at Perkins Coie) and David Cook (Principal Geologist at the State of Washington Water Research Center) for a candid conversation on real-world collaboration at the intersection of law, science, and redevelopment - from hazardous waste cleanup to major urban projects. This joint HELI-SEES session will explore why interdisciplinary fluency isn’t just useful in...

"Controlling Cr-Cr Bonding and Electronic Structure with Chelating Amido Ligands"

Chamber Music Concert of Works by Ida Cordelia Beam Distinguished Visiting Professor Lowell Liebermann

This concert is free and open to the public, and is part of Free Week 2026, a festival sponsored by Think Iowa City and the Iowa City Downtown District.

Air for flute and organ Op.106 (2008) c.10’00”

Nicole Esposito, flute

Greg Hand, organ

Sonata for Contrabass and Piano Op.24 (1987) c.25'00"

Volkan Orhon, contrabass

Doreen Lee, piano

-Intermission-

Three Lullabies for Two Pianos, op. 76 (2001) c. 16’00...

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