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