Lean Together 2026

External homepage

logic in computer science mathematical software Mathematics

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