Re: [tlaplus] TLA+ slides

[Stephan Merz <stephan.merz@xxxxxxxxx>]

Hello Siegfried,

thank you for the offer. The easiest would be that you put them on some Web site that we can link to from Awesome TLA+ [1]. Would that work for you?

Best,

Stephan

[1] https://github.com/tlaplus/awesome-tlaplus

On 12 Aug 2026, at 23:24, 'sbublitz24' via tlaplus <tlaplus@xxxxxxxxxxxxxxxx> wrote:

Hi TLA+ enthusiasts.

I am currently preparing slides for an adademic lesson I will give on TLA+ in autumn in Germany.

If this can be helpful, I would provide the slides to the community.

Please let me know if this is the case and give a hint where to upload.

Currently, the slides are PDF (generated from LaTeX Beamer with pandoc and other tools)

 in German language.

Thanks,

Siegfried Bublitz

Gesendet mit Proton Mail: Ein sicherer E-Mail-Dienst.

--
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/wvrmHTtmQHHrZMGVqrnPT8j15NkorW1HiewUxbOm8gxln7ETIVolCcyGsd_qzGI1M21CELYcy1wQcdOgYNOylRfgJJep5sFwx3HgCHzRiN0%3D%40proton.me.

--
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/60C6C5AB-1A95-457D-BC5C-BFB64375B9B1%40gmail.com.