This Open for Business event is part of an INI programme on Big Specification. It aims to provide a meeting ground to facilitate interactions and exchanges between representatives of academia, research and industry, relevant to the theme, with the objective of identifying points of mutual interest and possible co-activity. Aims & Objectives The aim of this Open for Business event [...]
We are very happy to be on of the sponsors of this year's Kent Concurrency Workshop and S-REPLS 15, taking place at the University of Kent, Canterbury, on 18‐19 July, 2024. The South of England Regional Programming Language Seminar (S-REPLS) is a regular and informal meeting open to everyone with a professional interest — whether [...]
The Workshop on Formal Methods and Tools for Security (FMATS), inspired by the grand challenge of software verification, was established in 2011 by Professor Mike Gordon of the University of Cambridge, with the aim of bringing together academia, industry and government employees interested in an effort to properly understand and address the challenges in [...]
S-REPLS is a regular meeting, based in the south of England, for anyone with an interest in the semantics and implementation of programming languages. Fun in the Afternoon is a seminar on functional programming and related topics. This site describes the arrangements for a joint meeting of these two communities at Bristol Engine Shed [...]
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 [...]
by