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 | 191 | 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 | 927 | February 6, 2023 |