If you're within travelling distance of Cambridge and interested in programming language theory then you might like to sign up to come along to the first South of England Regional Programming Language Seminar at Wolfson College on the 30th April. We have an exciting programme, starting with an invited talk from Conor McBride:
- The dependent lollipop (Conor McBride, Strathclyde)
- Improving implicit parallelism (Jose Calderon, York)
- Many-core compiler fuzzing (Alastair Donaldson, Imperial)
- Fine-grained language composition (Laurence Tratt, King's College London)
- Graphical models of concurrent program execution (Tony Hoare, Microsoft)
Further information is available on the S-REPLS website.