Institution Audience
Organizer Edited within hours
Date e.g. January 09, 2026 -
Dates in conference time zone
DatesNameInstitutionsTopics
Mon Jan 19Fri Jan 23Lean Together 2026logic in computer science mathematical software Mathematics
Mon Apr 13Fri Apr 24GAP XX — Kyotomathematical physics algebraic geometry differential geometry
Mon Jun 1Fri Jun 5Nonlinear Analysis, Function Spaces and Applications (NAFSA) 13Czech Technical University in Pragueanalysis of PDEs functional analysis
Mon Jun 29Fri Jul 3Bridging Lean and the LMFDBUniversity of East Anglianumber theory
Sun Jul 19Sat Jul 25The Fourth JNT Biennial Conference in Number Theorynumber theory