Upcoming:

 

• 4th to 7th April: Verified Trustworthy Software Systems

 

Past Events:

 

2015:

• 28th October: UK Cyber Security Research
• 21st October: UCL Cyber Security.
• 14th October: Presentation in Kent
• 29th September: RI2 Meeting in GCHQ
• 11th and 12th June: FMATS
• 27th and 28th April: The 41st CREST Open Workshop – Software Engineering And Computer Science Using Information

 

2014:

• 10th October: UK Cyber Security Research Conference
• September: RI2 Meeting in GCHQ
• 1st and 2nd May: FMATS

 

2013:

• October: UK Cyber Security Research
• September: RI2 Meeting in GCHQ
• May: FMATS
• 29th and 30th May: The 27th CREST Open Workshop – Malware