news
| Aug 22, 2025 | Morris awarded $1.2M to explore foundations for extensible proof |
|---|---|
| Jan 1, 2025 | Kosaian PC co-chair for VSTTE25 |
| Nov 12, 2024 | CLC hosts NSF FMitF PI Meeting |
| Aug 21, 2024 | Tinelli keynote speaker at SAT 2024 |
| Aug 6, 2024 | Tinelli invited lecturer at 2024 Marktoberdorf Summer School |
| Jul 18, 2024 | Morris appears on Haskell Interlude podcast |
| Jul 4, 2024 | 2024 Bill McCune PhD Award |
| May 25, 2024 | Tinelli invited lecturer at 13th Summer School on Formal Techniques |
| Mar 3, 2024 | Kosaian attending Lorentz workshop |
| Jan 17, 2024 | Morris receives a Distinguished Paper Award at POPL'24 |
| Jan 1, 2024 | Morris co-chair for Haskell Symposium 2024, 2025 |
| Jul 1, 2023 | Tinelli PC co-chair for CADE29 |
| Jan 1, 2023 | Hubers, Morris Submission Accepted to ICFP'23 |