Loading Events

Upcoming Events

Events Search and Views Navigation

Event Views Navigation

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 »

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 »

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 »
+ Export Events