Where and When
DATE: Thursday May 14, 2026
TIME: 1-5pm
LOCATION: Room 201A, Long Beach Convention Center
Who can attend?
You can! No invitation or pre-registration is required.
Agenda
- Experiments with AI agents and Pyrefly type errors - Conner Nilsen
- The ty implementation of constraint sets - Douglas Creager
- Formalizing parts of Python typing in Lean - Jia Chen
- Exploration of tensor shape types in Pyrefly - Avik Chaudhuri
- Intersection types for Python - Jelle Zijlstra
- PEP 827: Type Manipulation - Michael Sullivan
- Direction of Python's Type System - Guido van Rossum
- Typing Council panel / Q&A