📢 Excited to announce I'll be giving a lecture on "Interactive Theorem Proving in Isabelle/HOL & Its AI-Driven Automation Efforts" at the EuroProofNet Summer School on AI for Reasoning & Processing of Mathematics! 🧠🖥️

Join us at Kutaisi International University, Georgia, from June 24th-28th, 2024. Learn more & register here: https://europroofnet.github.io/Kutaisi24/

#EuroProofNet #AI #Mathematics #TheoremProving

Forgot to post this earlier: COST Action #europroofnet meeting back in March in Dresden. Videos and slides now available, including a contribution from YT!

https://europroofnet.github.io/wg3-dresden24-program/

#COST #EU

I presented a talk at #EuroProofNet in Dresden on how @enarx does confidential computing attention via certificate signing requests. https://github.com/rjzak/Enarx_Steward_Attestation

The #europroofnet EU COST Action is organizing a tutorial in Dresden end of March on "Usable Formal Methods for Security of Systems"!

Apply within: https://europroofnet.github.io/wg3-dresden24/