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 Wednesdays at 3pm.

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.

ACT seminars

A calendar assembling several category theory seminars.

Algebra-Coalgebra seminar

A seminar at the ILLC Amsterdam, usually Wednesday at 3pm.

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

categories

Category theory mailing list.

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.

MSP timetable

A collaborative spreadsheet to gather the schedules of MSP members.

Glasgow accommodation tips

For MSP newcomers: how to find a flat in Glasgow and other useful local information.