Lean Together 2024
logic in computer science mathematical software Mathematics
Audience: | Researchers in the discipline |
Conference dates: | 09-Jan-2024 to 12-Jan-2024 |
Organizers: | David Thrane Christiansen*, Robert Y. Lewis*, Patrick Massot |
*contact for this listing |
Upcoming talks
Past talks
Export series to