Loading Events

Upcoming Events

Events Search and Views Navigation

Event Views Navigation

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