Posts By: Teresa Carbajo Garcia

Workshop on Verified Software at the Isaac Newton Institute for Mathematical Sciences, Cambridge, 24-25 September 2019

We are very pleased to announce a workshop on`Verified Software’, to take take place on 24th-25th September 2019 at the Isaac Newton Institute for Mathematical Sciences, (INI), Cambridge. The workshop, organised and supported by VeTSS and the INI,  is a forerunner to the six-week summer programme on`Verified Software’ in the summer of 2020. The workshop comprises two days of talks by world-leading experts… Read more »

VeTSS third call for Proposals: Verified Trustworthy Software Components

The Research Institute in Verified Trustworthy Software Systems (VeTSS) has just published its third call for proposals for £0.5M, funded by the National Cyber Security Centre (NCSC). VeTSS is inviting proposals for research into the areas of program analysis, testing, and verification, in particular work seeking to verify important parts of our software infrastructure, and… Read more »

VeTSS Annual report, 2017/8 published

The aim of VeTSS is to bring together and support UK academics, industrialists and government officials united by a common interest in software analysis, testing and verification. To this end, the National Cyber Security Centre (NCSC) is providing funding of £0.5 M per year to support academic research projects in software analysis, testing and verification. This annual… Read more »

GraphicsFuzz Ltd., co-founded by Alastair Donaldson, acquired by Google

GraphicsFuzz Ltd., co-founded by Alastair Donaldson, Hugues Evrard and Paul Thomson of Imperial College London, has been acquired by Google. The GraphicsFuzz team will join Google’s Android Graphics Team to integrate their specialist graphics driver testing technology within the Android ecosystem. Alastair Donaldson is a Co Investigator in the VeTSS funded project Automated Testing for Web… Read more »

Registration open for the VeTSS PhD School and Sixth Workshop on Formal Methods and Tools for Security (FMATS)

Registration is now open for the First VeTSS PhD School and Sixth Workshop on Formal Methods and Tools for Security (FMATS), to be held at Microsoft Research Cambridge on 24-25 September 2018. The purpose of this joint meeting, organised by Philippa Gardner (Imperial), Cedric Fournet and Antoine Delignat-Lavaud (MSR Cambridge), is to bring together verification, systems and security experts interested… Read more »

Sponsor of the 7th Federated Logic Conference (FLoC’18), Oxford, July 18

VeTSS is very pleased to be one of the sponsors of the seventh Federated Logic Conference (FLoC’18), which will be held in Oxford, UK, in July 2018, at the Mathematical Institute and the Blavatnik School of Government at the University of Oxford. FLoC’18 brings together nine major international conferences related to mathematical logic and computer… Read more »

Roger Needham lecture 2017, Ally Donaldson

The 2017 BCS Roger Needham Award, sponsored by Microsoft Research Cambridge, was awarded to Dr Alastair Donaldson of Imperial College London for his distinguished contributions, through the design and application of rigorous program analysis methods to the emerging field of many-core programming. Dr Donaldson is a co investigator with Benjamin Livshits, also from Imperial College London of… Read more »

£0.5M, Second call for research proposals on program analysis, testing and verification, funded by NCSC, deadline 11th January, 2018

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 11th January 2018, 16:00h. This second call for £0.5M, funded by the National Cyber Security Centre (NCSC), is intended… Read more »

Fifth Workshop on Formal Methods and Tools for Security (FMATS5), 21-22 September 2017

Almost a hundred participants attended this year’s FMATS, held on 21-22 September at Microsoft Research Cambridge. The workshop was attended by researchers, PhD students, industrialists and government employees with a common interest in formal methods and verification. The programme included 19 talks addressing key research topics from the field of formal methods and their application… Read more »

ARM Research Summit live stream of talks, 11-13 September 2017

The second annual Arm Research Summit is an academic summit to discuss future trends and disruptive technologies across all sectors of computing. It will take place in Cambridge over the days of 11-13 September 2017, and will be hosted at Robinson College. The Summit includes talks from the leaders in their research fields, demonstrations, networking… Read more »

Delicious Twitter Digg this StumbleUpon Facebook