Loading Events

Past Events

Events Search and Views Navigation

Event Views Navigation

May 2017

6th South of England Regional Programming Language Seminar

May 25, 2017

The 6th edition of S-REPLS will take place on May 25, 2017, at University College London S-REPLS is a regular and informal meeting for those based in the South of England with a professional interest—whether it be academic or commercial—in the semantics and implementation of programming languages. The seminar is free of charge and lunch will be provided. For details and to register, please see their webpage The next S-REPLS meeting will take place at the University of Warwick, in…

Find out more »

February 2017

Mentoring Workshop on the Introduction to Verification and Testing

February 11, 2017

Over sixty people attended the Introduction to Verification and Testing workshop, held this week at Imperial College London. The INVEST workshop, organised by Alastair Donaldson, Christian Cadar and Philippa Gardner gives young researchers and final year students with an interest in research the chance to take a closer look at the fields of software verification and testing. During the all day workshop, students were able to listen to and engage with world-leading academic scholars, experience what it is like being…

Find out more »
+ Export Events