The meeting will take place on July 19-22, 2026.
The International Congress of Mathematicians will take place on July 23-30, 2026.
Download the pdf program here, or download the day-by-day schedule summary pdfs here:
We will also be livestreaming many of the talks. See here for the links. Note that while the Sunday link will be on Zoom, the weekday links will be on Panopto. Vincenzo De Risi will speak via Zoom - it may be necessary to switch to the provided Zoom link to hear the audio for that talk.
- Sunday
- Monday
- Monday (Vincenzo De Risi)
- Tuesday (stream will start at 10:05)
- Wednesday (stream will start at 10:05)
Speakers who would like their slides accessible on this website should email them to awanders@sas.upenn.edu.
Overview
All locations are in Golkin Hall (where the main Penn Carey Law entrance is), except for the special session/contributed talk rooms (S-240a, S-240b, S-245a, S-280), and the Penn Museum. The special session rooms are on the second floor of Silverman Hall, which is attached to Golkin Hall.
| Sunday | Monday | Tuesday | Wednesday | |
|---|---|---|---|---|
| 8:00 - 9:00 Golkin Hall Lobby | Registration | |||
| 9:00 – 9:50 Fitts Auditorium | Matthew Harrison-Trainor Tutorial 1, 2 | Caroline Terry | Juliette Kennedy | |
| 10:00 - 10:20 Davis Student Union | Coffee | |||
| 10:30 - 11:20 Fitts Auditorium | Nicholas Ramsey Tutorial 1, 2, 3 | Matthew Harrison-Trainor 3 | ||
| 11:30 - 12:20 Fitts Auditorium | Jack Lutz | Vincenzo De Risi online | Will Brian | Phokion Kolaitis |
| 12:20 - 2:00 | Lunch | |||
| 2:00 - 4:20 | Computability: S-240a Model Theory: S-240b Set Theory: S-245a | Computability: S-240a Logic in CS: S-240b Model Theory: S-245a Set Theory: S-280 | Logic in CS: S-240a Proof Theory: S-240b | Panel on Hilbert's consistency program Fitts Auditorium |
| 3:00 - 4:30 | Coffee, concurrent with other sessions Sunday - Tuesday: Kabacoff Reading Room, Wednesday: Davis Student Union | |||
| Lawrence Moss 4:30 - 5:20 Fitts Auditorium | Contributed Talks 4:30 - 5:50 S-240a, S-240b, S-245a | |||
| Reception 6:00 - 8:00 Penn Museum | ||||
Schedule Details
Sunday
Special Sessions
| Computability 1 | Model Theory 1 | Set Theory 1 | |
|---|---|---|---|
| S-240a | S-240b | S-245a | |
| 2:00 - 2:20 | Jason Block | cancelled | Nathaniel Bannister |
| 2:30 - 2:50 | Neil Lutz | Matthias Stout | James Cummings |
| 3:00 - 3:20 | Peter Gerdes | Scott Mutchnik shifted early | Victoria Gitman |
| 3:30 - 3:50 | David Gonzalez | Ronan O’Gorman shifted early | Siiri Kivimäki |
| 4:00 - 4:20 | Valentina Harizanov | cancelled | Fanxin Wu |
Monday
- Monday pdf schedule.
- Monday livestream link for select talks.
- Monday livestream link for online talk from Vincenzo De Risi (Vincenzo De Risi will speak via Zoom - it may be necessary to switch to the provided Zoom link to hear the audio for that talk.)
Special Sessions
| Computability 2 | Computer Science 1 | Model Theory 2 | Set Theory 2 | |
|---|---|---|---|---|
| S-240a | S-240b | S-245a | S-280 | |
| 2:00 - 2:20 | Meng-Che “Turbo” Ho | Farzaneh Derakhshan | Christian d’Elbée | Filippo Calderoni |
| 2:30 - 2:50 | Johanna Franklin | Robert Andrews | Alexi Block Gorman | Cecelia Higgins |
| 3:00 - 3:20 | Patrick Lutz | Ilya Shapirovsky | Nicolas Chavarria Gomez | Riley Thornton |
| 3:30 - 3:50 | Mariya Soskova | Henry Towsner | Yuyan He | Allison Wang |
| 4:00 - 4:20 | Heidi Benham | Phokion Kolaitis | Jananan Arulseelan |
Contributed Talks
| Time | Speaker | Title | Location |
|---|---|---|---|
| 4:30 - 4:50 | William Adkisson | Strong Tree properties on segments of successors of singulars. | S-240a |
| Jeremy Beard | Limit models in strictly stable AECs. | S-240b | |
| Yuxiao Fu | Weihrauch degrees of embeddability problems. | S-280 | |
| 5:00 - 5:20 | Rishi Banerjee | Structurable equivalence relations and $L_{\omega_1,\omega}$ interpretations. | S-240a |
| Katie Ellman-Aspnes | Approximating $NSOP_1$ structures. | S-240b | |
| Logan Heath | Uubs and suubs as theory spectra. | S-280 | |
| 5:30 - 5:50 | Yiping Miao | Generic reals and gauge dimensions. | S-240a |
| James E. Hanson | Small large cardinals and neostability theory. | S-240b | |
| Dhruv Kulshreshtha | A robust subclass of the nontotal continuous degrees. | S-280 |
Tuesday
Special Sessions
| Computer Science 2 | Proof Theory | |
|---|---|---|
| S-240a | S-240b | |
| 2:00 - 2:20 | Joanna Boyland | Katalin Bimbó |
| 2:30 - 2:50 | Andre Scedrov | Elijah Gadsby |
| 3:00 - 3:20 | Carolyn Talcott | Anton Freund |
| 3:30 - 3:50 | Will Stafford | Andreas Weiermann |
| 4:00 - 4:20 | Shay Logan |
Contributed Talks
| Time | Speaker | Title | Location |
|---|---|---|---|
| 4:30 - 4:50 | Robert S. Lubarsky | Harrington’s Principle in second-order arithmetic. | S-240a |
| Connor Lockhart | Pseudofiniteness of the Farey graph and random tesselations. | S-240b | |
| Tyler Markkanen | Deciding the density of computable and c.e. sets. | S-245a | |
| 5:00 - 5:20 | Robert S. Lubarsky | A possibly new proof of a possibly old theorem. | S-240a |
| Devrim Pekmezci | Local revised Ellis group conjecture. | S-240b | |
| Karthik Ravishankar | Ahmad pairs and the local structure of the enumeration degrees. | S-245a | |
| 5:30 - 5:50 | Morenikeji Neri | Extracting bounds from proofs involving ultraproducts. | S-240a |
| Jacob Stern | Divisible ordered abelian groups that are not weakly o-minimal. | S-240b | |
| Joey Veltri | Effective recurrence for computable measure-preserving transformations. | S-245a |
Wednesday
Contributed Talks
| Time | Speaker | Title | Location |
|---|---|---|---|
| 4:30 - 4:50 | Helena Rios | On Hilbert’s conception of mathematical objects. | S-240a |
| Yuki Takahashi | Dependent dividing and sub-additivity of burden. | S-240b | |
| 5:00 - 5:20 | Brian Wynne | Existentially closed abelian lattice-ordered groups. | S-240b |
| 5:30 - 5:50 | Hongyu Zhu | A complete bounded theory with unbounded types. | S-240b |