Follow

Scottish Programming Languages and Verification Summer School, August 3-14, 2020, Edinburgh Informatics macs.hw.ac.uk/splv/splv20/

· · Web · 0 · 0 · 0
Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!