Loading Events

Past Events

Events Search and Views Navigation

Event Views Navigation

March 2021

CyBOK Showcase (virtual)

March 2 @ 2:00 pm - 4:30 pm

The CyBOK project is holding a virtual event to showcase Cyber Security Body of Knowledge (CyBOK) version 1.0 on 2nd March 2021, 2.00pm to 4.30pm. The event will include a number of sessions, with  presentations, panels and Q+A opportunities, to highlight how CyBOK can be used in both the professional and academic community. The event is aimed at cyber security professionals from academia and industry together and registration is now open, For more detaials, you can contact Helen Jones (helen.r.jones@bristol.ac.uk).

Find out more »

December 2020

ACE-CSR Early Career Researcher Winter School

December 14, 2020 - December 16, 2020

This year’s Early Career Researcher Winter School, organised by the UK Academic Centres of Excellence in Cyber Security will be held 14th- 16th December. The winter school will bring up a line-up of world-leading keynote speakers, ACE-CSR representatives for talks and roundtable discussions, exploring emerging cyber security challenges and future trends. This year, there will be a capture the flag (CTF) competition on the last day of the conference accessible to all attendees. There will also be prizes for the…

Find out more »

Facebook Testing and Verification Symposium (TAV)

December 1, 2020 - December 3, 2020

The fourth Facebook Testing and Verification Symposium (TAV) will take place this week, with an interesting programme of speakers including our own Alastair Donaldson and Philippa Gardner. TAV is conceived as an open environment for academia and industry to exchange ideas on testing and verification scientific research and practice.  It is taking place virtually this year from the 1st  to 3rd Dec and is free to attend. For more details, please see this link to their blog post, the Facebook research page or the TAV group on Facebook.

Find out more »

November 2020

3rd RISE Annual Conference

November 30, 2020

The 3rd RISE Annual Conference will be held virtually on 30 November 2020. RISE is  the UK Research Institute in Secure Hardware and Embedded Systems (RISE), whose remit is to identify and address key issues that underpin our understanding of Hardware Security. The programme will include Keynote talks, tutorials and talks on RISE projects. For the full programme and to register please see this link to the Eventbrite registration page for  the RISE Annual Conference 2020

Find out more »

October 2020

Launch Event for REPHRAIN – a new National Research Centre on Privacy, Harm Reduction and Adversarial Influence Online

October 29, 2020

The online Launch Event for REPHRAIN - a new National Research Centre on Privacy, Harm Reduction and Adversarial Influence Online will be on Thursday 29 October. REPHRAIN is supported by £7 million of funding from UK Research and Innovation’s (UKRI) Strategic Priorities Fund, bringing together researchers from the University of Bristol, the University of Edinburgh, the University of Bath, King’s College London and University College London. The goal is for researchers to work with partners across industry, policy and the…

Find out more »

September 2020

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

September 9, 2020 - September 11, 2020

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, 2020 - September 4, 2020

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, 2020 - June 20, 2020

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