Leaning In! 2025
artificial intelligence emerging technologies human-computer interaction logic in computer science mathematical software programming languages general mathematics
| Audience: | Learners |
| Conference date: | Thu Mar 13 |
| Organizer: | Jesse Alama* |
| *contact for this listing |
Upcoming talks
Past talks
| Your time | Speaker | Title | |||
|---|---|---|---|---|---|
| Thu | Mar 13 | 15:30 | Lukas Gerlach | Formalizing Possibly Infinite Trees of Bounded Degree | |
| Thu | Mar 13 | 15:00 | Yves Jäckle | Combinatorial and positional games in Lean | |
| Thu | Mar 13 | 14:30 | Michael Rothgang | Formalising bordism theory | |
| Thu | Mar 13 | 11:00 | Nima Rasekh | Formalizing higher categories | |
| Thu | Mar 13 | 10:30 | Xavier Généreux | Formalization of Drinfeld Modules | |
| Thu | Mar 13 | 10:00 | Henning Thielemann | Proving correctness of Fast Discrete Fourier transforms | |
| Thu | Mar 13 | 09:00 | Léo Stefanesco | Bringing ISA semantics to Lean and Lean-MLIR | |
| Thu | Mar 13 | 08:30 | Joachim Breitner | Recursive definitions | |
Export series to