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

[Ovidiu Marcu <ovidiu21marcu@xxxxxxxxx>]

Hello,

Would it be possible to record your presentation?

I am not able to join for personal reasons.

Thank you very much.

Ovidiu.

On Fri, Sep 12, 2025 at 6:29 PM Ian Dardik <iandardik1@xxxxxxxxx> 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/0b00973d-88f5-4a01-b7cb-cd49a26b6b5cn%40googlegroups.com.

-- 
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/CAGxa7HWC%2BUESoqRTwPtFWeA1sGC5-3wVzy7Li6mxkgM1Rxo01w%40mail.gmail.com.