Loading Events

Past Events

Events Search and Views Navigation

Event Views Navigation

September 2020

Arm Research Summit 2020 Global Technology Challenges: A Sustainable, Secure Future for Society

September 9 - September 11

The Arm Research Summit is open to academics, researchers and industry experts wishing to come together to discuss their own projects, discover the latest developments across a wide range of different fields, and make new connections for future collaborative opportunities. The event will be Anglia Ruskin University, Cambridge, UK on 9-11 September 2020 and their call for submissions on technological advancements that preserve the environment, empower and protect our people and their data, or contribute to sustainable economic growth is…

Find out more »

July 2020

POSTPONED: Six week programme Verified Software at the Isaac Newton Institute, Cambridge

July 27 - September 4

This event has been postponed to 2021, details to follow soon. The six week programme Verified Software at the Isaac Newton Institute, Cambridge will take place this summer. The Verified Software programme includes two workshops, one on the Theory and Applications of Verified Software, From Theory to Practice and a second one on Verification Tools and Experiments. These will be supplemented with smaller workshops and working groups devoted to specialized topics and industrial applications. The aim of the programme is to bring together…

Find out more »

June 2020

41st ACM SIGPLAN Conference on Programming Language Design and Implementation

June 15 - June 20

The 41st ACM SIGPLAN Conference on Programming Language Design and Implementation will take place on 15-20 June 2020, online. PLDI is one of the main conferences for practical and experimental work in the design and implementation of programming languages and VeTSS is one of the sponsors of this year's event. Thanks to the sponsorship received by the conference, registration to the conference and co-located events will be free for participants registering before 5 June.

Find out more »

September 2019

Workshop on Verified Software at the Isaac Newton Institute for Mathematical Sciences, Cambridge

September 24, 2019 - September 25, 2019

The Verified Software’ workshop took place on 24th-25th September 2019 at the Isaac Newton Institute for Mathematical Sciences, (INI), Cambridge. This is a forerunner to the six-week summer programme on`Verified Software’ in the summer of 2020. The workshop comprised two days of talks by world-leading experts from academia, industry and government. Its aim is to bring together verification, systems and security experts interested in formal analysis, industrialists interested in software validation, and government scientists interested in reliable software systems, and to introduce them to the…

Find out more »

July 2019

SREPLS/Concurrency Workshop joint meeting, University of Surrey, 23-24th July

July 23, 2019 - July 24, 2019

VeTSS is very happy to support this year's edition of the Surrey Concurrency Workshop and S-REPLS, to be held at University of Surrey, Guildford on 23‐24 July, 2019. This two-day workshop, organised by Brijesh Dongol, is aimed at bringing together researchers, from the UK and elsewhere, who are working on the theory of concurrency and the semantics and implementation of programming languages.  

Find out more »

September 2018

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

September 24, 2018 @ 9:00 am - September 25, 2018 @ 6:00 pm
Microsoft Research Cambridge, 21 Station Road,
Cambridge, CB1 2FB United Kingdom

Organisers: Philippa Gardner (Imperial), Cedric Fournet and Antoine Delignat-Lavaud (MSR Cambridge). The purpose of this joint meeting is to bring together verification, systems and security experts interested in formal analysis, industrialists interested in software validation, and government scientists interested in reliable software systems, and to introduce them to the current generation of UK PhD students and postdocs. One important aim is to foster dialogue between the PhD students, RAs and industry.  The transition from either PhD student or RA to industry…

Find out more »

July 2018

7th Federated Logic Conference (FLoC’18), Oxford, UK, July 2018

July 9, 2018 @ 8:00 am - July 19, 2018 @ 5:00 pm

The seventh Federated Logic Conference (FLoC’18), will be held in Oxford, UK,  on 7-19 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 science. FLoC’18 will feature 79 workshops, including the Summit on Machine Learning Meets Formal Methods and a FLoC Industry session on Formal Methods.

Find out more »

September 2017

Fifth Workshop on Formal Methods And Tools for Security (FMATS)

September 21, 2017 - September 22, 2017

Venue: Microsoft Research Cambridge Dates: 21-22 September 2017 Organisers: Philippa Gardner (Imperial), Markulf Kohlweiss (MSR Cambridge), Mike Gordon (Cambridge University), Graham Steel (INRIA and Cryptosense, Paris). For details of this year's event please see the FMATS5 page FMATS traditionally targets a wide audience, consisting of UK researchers, industrialists and government employees. It is a two-day workshop that revolves around two keynote and twenty specialist talks, addressing key research topics from the field of formal methods and their application to security,…

Find out more »

The ARM Research Summit: Computing for the Connected World

September 11, 2017 @ 8:00 am - September 13, 2017 @ 5:00 pm

Venue: Robinson College, Cambridge, UK The second annual Arm Research Summit is an academic summit to discuss future trends and disruptive technologies across all sectors of computing organised by ARM Ltd. The Summit includes talks from the leaders in their research fields, demonstrations, networking opportunities and the chance to interact and discuss projects with members of Arm Research. The agenda for the summit is now available or you can follow some of the higher-level talks on their live stream.

Find out more »

July 2017

Big Proof — Challenges in Industry and Research

July 19, 2017
The Alan Turing Institute, British Library, 96 Euston Road
London, NW1 2DB United Kingdom
+ Google Map

The aim of the workshop is to promote discussion around the area of big proof and formal verification, and the challenges from academic and industry perspectives.  For example, academic challenges are presented by the problem of scaling mathematical proof on machine, including issues such as search, representation and reasoning in ways that are more natural to working mathematicians than current systems offer.  Conversely, industry challenges may be posed around the limits of automation and the efficiency of current logics and…

Find out more »
+ Export Events