The 2026 North American Annual Meeting of the Association for Symbolic Logic will be held July 19-22, 2026 at the University of Pennsylvania in Philadelphia, PA.
Tutorials
NSOP₁
Computable Structures
Special Sessions
Computability Theory
Logic in Computer Science
Model-Theoretic Algebra
Proof Theory
Set Theory
Panel
Hilbert’s Consistency Program
Program Committee
Local Organizing Committee
- William Ewald (co-chair)
- Andre Scedrov (co-chair)
- Henry Towsner (co-chair)
- Aaron Anderson
- Kenneth Gill
- Steven Lindell
- Giorgi Japaridze
- Val Tannen
- Scott Weinstein
Links
- The Association for Symbolic Logic: aslonline.org
- ASL Code of Conduct: aslonline.org/meet/aslcodeofconduct/
International Congress of Mathematicians
This conference is a satellite meeting of the International Congress of Mathematicians, also taking place in Philadelphia, July 23-30, 2026.
The conference is funded with the support of the following organizations:
- University Research Foundation at the University of Pennsylvania
- National Science Foundation
- Thomas and Yvonne Williams Fund for the Advancement of Logic and Philosophy