This page compiles various resources that might be useful to MSP members.
Online discussion and seminars
- MSP 101
The MSP 101 seminar is now online, on Fridays at 2pm.
- SPLS Zulipchat
Scottish Programming Language discussion forum, and online seminar announcements.
- Category theory Zulipchat
Category theory discussion forum.
Online seminar on Logic and Semantics, Wednesday 2pm.
- Chalmers FP seminar
Chalmers Online Functional Programming Seminar, Monday 3pm.
- ACT seminars
- Online logic seminars
A list of online seminars in Logic and Set theory.
A list for everyone (internal or external to MSP) who is interested in MSP-related activities.
If you have trouble subscribing to this list, you might need to e-mail Conor.
Programming Language research mailing-list of the University of Glasgow.
Programming Language interest Group, University of Edinburgh.
- DSG seminar
Dependable Systems Group seminar, Heriot-Watt University.
Scottish Programming Language Seminar announcements.
- TYPES and TYPES-announce
Lists for discussions and announcements (respectively) on type theory and related topics.
- Agda list
Mailing list for the Agda language.
Applied Category Theory mailing list.
To subscribe, send an e-mail to firstname.lastname@example.org