Posts By: Teresa Carbajo Garcia

Cristian Cadar, Imperial College London, winner of the 2017 HVC Award

Congratulations to Cristian Cadar, Reader at the Department of Computing, Imperial College London, who has been awarded with the HVC Award 2017. The HVC award is given to the most influential work in the last five years in formal verification, simulation, and testing. The committee awarded Cristian Cadar for his work on KLEE, recognising “his… Read more »

£0.5M Call for research proposals on program analysis, testing and verification, funded by NCSC, deadline 17th July 2017

VeTSS is inviting proposals for research into the areas of program analysis, testing, and verification, in particular work seeking to develop fundamental theories and industrial-strength tools that target real-world applications. Closing date for this call is 17th July, 2017, 9:00 AM. This initial call for £0.5M is intended to support small projects between 1st August… Read more »

The Alan Turing Institute Workshop on Big Proof – Challenges in Industry and Research, part of the Isaac Newton Institute Research Programme on Big Proof, 19 July 2017

The Isaac Newton Institute research programme Big Proof has announced  a workshop on the theme of Big Proof – Challenges in Industry and Research. The all day workshop, will be held at the Alan Turing Institute on Wednesday 19th July 2017. Philippa Gardner will give a talk on Verified Trustworthy Software Systems. The aim of the… Read more »

Isaac Newton Institute Workshop on Computer-aided Mathematical Proof, 10 – 14 July 2017

This workshop will bring together mathematicians interested in employing proof technology in their research, logicians exploring pragmatic and foundational issues in the formalisation of mathematics, and computer scientists engaged in developing and applying proof technology. It will explore foundational, theoretical, and practical challenges in exploiting proof technology to transform mathematical practice across a range of scientific… Read more »

Isaac Newton Institute Research Programme on Big Proof, 26 June to 4 August 2017

This programme brings together mathematicians interested in employing proof technology in their research, logicians exploring pragmatic and foundational issues in the formalisation of mathematics, and computer scientists engaged in developing and applying proof technology. The programme includes a week-long workshop exploring foundational, theoretical, and practical challenges in exploiting proof technology to transform mathematical practice across… Read more »

The Aarhus Concurrency Workshop 30-31 May 2017

Registration for the event is now closed.  The Aarhus Concurrency Workshop on Concurrency Theory and related topics is the latest in a series previously held at University of Kent, Imperial College London, York, University of Oxford, Trinity College Dublin, Cambridge University, Newcastle, and Queen Mary. Steering committee The Concurrency Workshop series steering committee is composed of Mark Batty, Mike Dodds, Philippa Gardner, Cliff Jones and Matthew Parkinson.

Delicious Twitter Digg this StumbleUpon Facebook