Lean Together 2026

External homepage

logic in computer science mathematical software Mathematics

Audience: Researchers in the discipline
Conference dates: 19-Jan-2026 to 23-Jan-2026
Organizer: Jireh Loreaux*
*contact for this listing
Upcoming talks
Past talks
Export series to