[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

Yes, the presentation will be recorded through Zoom.

Stephan

On 30 Sep 2025, at 12:45, Ovidiu Marcu <ovidiu21marcu@xxxxxxxxx> 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 <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

<Fully Compositional Inductive Invariant Inference flyer.jpg>

--
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.

--
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/E45866C2-AF36-4598-8365-1C4B287066E6%40gmail.com.