If you are interested in giving a talk (in person or over Zoom), then please contact Alvaro (apintado $$ sas $$ upenn $$ edu).
Upcoming Talks
-
Bifibrations for Classical Logic
Speaker: Oualid Merzouga
Date: May 14, 2026
Abstract: We present ongoing work extending A Fibrational Framework for Substructural and Modal Logics of Licata, Riley, and Shulman to classical logics.
Past Talks