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

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

From: Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>
Date: Tue, 30 Sep 2025 10:03:52 -0700
References: <0b00973d-88f5-4a01-b7cb-cd49a26b6b5cn@googlegroups.com> <CAGxa7HWC+UESoqRTwPtFWeA1sGC5-3wVzy7Li6mxkgM1Rxo01w@mail.gmail.com> <E45866C2-AF36-4598-8365-1C4B287066E6@gmail.com>

The (raw) recording of the meeting can be found at https://zoom.us/rec/play/SAHHk_50TUYcRYwbFIRkLnxaQc1x49AS4tmaxsBOVEOZ9UDcgv1-88Ty8LTkImFizqVPynMa08V5SbKp.XbjdXtkBgTGUsxOP?eagerLoadZvaPages=&accessLevel=meeting&canPlayFromShare=true&from=share_recording_detail&continueMode=true&componentName=rec-play&originRequestUrl=https%3A%2F%2Fzoom.us%2Frec%2Fshare%2F9R-v3UE0vu-pdQOkWqDomjaw5PbkktrHqEns9Zx6CKXhVTy-ZKcwfjc6oKm6vcYt.Kq_kJro6yxLwHmeQ.

M.

> On Sep 30, 2025, at 4:47 AM, Stephan Merz <stephan.merz@xxxxxxxxx> wrote:
> 
> Yes, the presentation will be recorded through Zoom.

-- 
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/00DCA67F-EDC5-488A-8E22-C38B8FA1389A%40lemmster.de.

References:
- [tlaplus] Fully Compositional Inductive Invariant Inference in TLA+: Grant Presentation
  - From: Ian Dardik
- Re: [tlaplus] Fully Compositional Inductive Invariant Inference in TLA+: Grant Presentation
  - From: Ovidiu Marcu
- Re: [tlaplus] Fully Compositional Inductive Invariant Inference in TLA+: Grant Presentation
  - From: Stephan Merz

Prev by Date: Re: [tlaplus] Feedback on TLA+ tutorial and proofs
Next by Date: Re: [tlaplus] Fully Compositional Inductive Invariant Inference in TLA+: Grant Presentation
Previous by thread: Re: [tlaplus] Fully Compositional Inductive Invariant Inference in TLA+: Grant Presentation
Next by thread: Re: [tlaplus] Fully Compositional Inductive Invariant Inference in TLA+: Grant Presentation
Index(es):
- Date
- Thread