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 »
Posts By: Teresa Carbajo Garcia
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 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 »
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 »
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 »
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.
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… Read more »