University of Glasgow contributes expertise on programming language foundations, especially the design and implementation of type systems for concurrent and distributed programming, and the software tools mungo and stmungo which support communication-based programming in JAVA. University of Glasgow has existing collaborations with NOVA and University of Bologna, which continue within WP2 and WP3, and extends to include new contacts at those universities. Professor Simon Gay was the chair of cost action IC1201: Behavioural Types For Reliable Large-Scale Software Systems, which ran from 2012 to 2016 and involved most of the BEHAPI consortium. His research group publishes regularly in leading conferences such as CONCUR, ESOP and PPDP, as well as serving on programme committees for a range of conferences and workshops.