Lean Together 2026
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
