Dear all,

Many thanks for the discussion today. 

Please find attached the master file we worked on this morning. 

We had a few action items:

- Gernot to ask Nils@ETH for a talk (+Q&A) on their hardware on time protection
- June to ask HC about a talk on their general plans/roadmap (+ a teaser for the TRENTOS training)

- Darren to organise a talk on CASE wrap-up / lessons learned; + potentially a training on the Briefcase tools

- Todd to coordinate with John on a talk on HAMR (+ a potential training if available)

- Nick to organise a talk on Rust (intro +“Survey”+ potential survey + discussion)

- Kent to investigate a talk from Indan Zupanic on MCS virtualisation / MC
- Gernot to ask Phil Maker about a talk on LAOT
- June to check about a talk from Nathan on FerrOS (unikernel on Rust)

- June to investigate a “Funding panel” (NCSC, DARPA, “German DARPA”…)

Let me know if I’ve missed anything and please come back to me with an update **early next week** if possible :)

I’ll come back to you shortly regarding invited speakers options, once I’ve worked a bit on a program. I think we can do this via email and won’t need another meeting for that.

Many thanks all! It’s a pleasure working with such a team :)

June