The Midlands Graduate School (MGS) in the Foundations of Computing Science will be held 7-11 April 2025 in Sheffield, UK. Eight fantastic courses on category theory, type theory, coalgebra, semantics and more. Please share! MGS 2025
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| CFP: Workshop on the Implementation of Type Systems (WITS) '24 | 0 | 578 | October 13, 2023 | |
|
Deadline tomorrow for WITS’24 (The Workshop on the Implementation of Type Systems)
|
0 | 236 | November 9, 2023 | |
| PhD Positions at Utrecht University in DSLs and Semantics for Probabilistic and Differentiable Programming | 0 | 232 | April 7, 2025 | |
| Postdoc positions on foundations of type classes and type families at the University of Iowa | 0 | 585 | March 20, 2024 | |
| ZuriHac 2023 takes place in-person 10-12 June, registration now open | 2 | 930 | February 6, 2023 |