[tlaplus] Fully Compositional Inductive Invariant Inference in TLA+: Grant Presentation

[Ian Dardik <iandardik1@xxxxxxxxx>]

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 

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/0b00973d-88f5-4a01-b7cb-cd49a26b6b5cn%40googlegroups.com.