VeTSS

Surrey Concurrency Workshop and S-REPLS 12
2019-07-23 09:30 - 2019-07-24 17:30 UTC | University Of Surrey, Stag Hill, University Campus, Guildford, GU2 7XH, United Kingdom
This two-day workshop is aimed at bringing together researchers, from the UK and elsewhere, who are working on the theory of concurrency and the semantics and implementation of programming languages.
The workshop will be held in Lecture Theatre L of the LT building (see Campus Map). Directions to the Stag Hill Campus are available here.
Registration for the event is free. Lunch and tea/coffee will be provided thanks to funding from VeTSS and the University of Surrey ACE.

Federated Logic Conference, 2018
2018-07-06 08:00 - 2018-07-24 17:00 | St Anne’s College, 56 Woodstock Rd, Oxford, OX2 6HS, United Kingdom
