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

[Ovidiu Marcu]

Hello,

Would it be possible to record your presentation?

I am not able to join for personal reasons.

Thank you very much.

Ovidiu.

--
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+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/0b00973d-88f5-4a01-b7cb-cd49a26b6b5cn%40googlegroups.com.

[Stephan Merz]

Yes, the presentation will be recorded through Zoom.

Stephan

On 30 Sep 2025, at 12:45, Ovidiu Marcu <ovidiu...@gmail.com> wrote:

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 <ianda...@gmail.com> 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

<Fully Compositional Inductive Invariant Inference flyer.jpg>

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+u...@googlegroups.com.
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+u...@googlegroups.com.

To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CAGxa7HWC%2BUESoqRTwPtFWeA1sGC5-3wVzy7Li6mxkgM1Rxo01w%40mail.gmail.com.

[Ian Dardik]

Thank you to everyone who joined the presentation! The recording is available here.