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