Mathematically Structured Programming Group

Computer and Information Sciences

University of Strathclyde

Useful links

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.

OWLS

Online seminar on Logic and Semantics, Wednesday 2pm.

Chalmers FP seminar

Chalmers Online Functional Programming Seminar, Monday 3pm.

ACT seminars

A calendar assembling several category theory seminars, including UCR, MIT, and more.

Online logic seminars

A list of online seminars in Logic and Set theory.

Mailing lists

msp-interest

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.

compsci-plug

Programming Language research mailing-list of the University of Glasgow.

PLInG

Programming Language interest Group, University of Edinburgh.

DSG seminar

Dependable Systems Group seminar, Heriot-Watt University.

SPLS

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.

ACT

Applied Category Theory mailing list.
To subscribe, send an e-mail to appliedcategorytheory+subscribe@googlegroups.com

Internal CIS resources

CIS FAQ

Useful info about e-mail, CIS account, eduroam, printing, personal webpages, etc.

Gitlab

Internal CIS gitlab server.

CIS Room Booking system

To book rooms on floors 11 to 14 of the Livingstone Tower.

Strathclyde Room Booking system

To book rooms on other floors.