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

[Ian Dardik <iandardik1@xxxxxxxxx>]

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 :)

On Friday, September 12, 2025 at 12:29:03 PM UTC-4 Ian Dardik wrote:

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/d78982ce-2236-4a6b-a35e-5293a07b44a7n%40googlegroups.com.