Fully Compositional Inductive Invariant Inference in TLA+: Grant Presentation

[Ian Dardik]

Hello everyone,

On September 30th @ 11am EST I will be giving a talk about our research project Fully Compositional Inductive Invariant Inference in TLA+, funded by a grant from the TLA+ Foundation. The talk will be on Zoom, please see the flyer below for details!

Ian Dardik

https://iandardik.github.io/assets/images/Fully%20Compositional%20Inductive%20Invariant%20Inference%20flyer.pdf 

[Ian Dardik]

Quick follow up--this work is currently under double blind submission at an academic conference, and unfortunately should not be shared on mass social media (linkedin, twitter, etc.). Thank you in advance for understanding :)