Yes, the presentation will be recorded through Zoom.StephanOn 30 Sep 2025, at 12:45, Ovidiu Marcu <ovidiu...@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 <ianda...@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+u...@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+u...@xxxxxxxxxxxxxxxx.To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CAGxa7HWC%2BUESoqRTwPtFWeA1sGC5-3wVzy7Li6mxkgM1Rxo01w%40mail.gmail.com.