[tlaplus] [FYI] TLA+ Workshop / 11. - 12. Mai 2023 in Stuttgart/Germany

[Artur Lojewski <lojewski@xxxxxxxxx>]

Hi,

we're organizing a 2-day TLA+ Workshop with Markus Kuppe in Stuttgart/Germany.

If you're interested please join! If you know somebody in the Stuttgart area who is interested in TLA+ or 'distributed systems' in general, please forward the information.

Registration and more detailed information about the workshop can be found here:

      https://www.jugs.org/veranstaltungen/tla-workshop/

- Artur

-- 
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 on the web visit https://groups.google.com/d/msgid/tlaplus/1e94409c-f25b-4b1c-b9b2-3a3ed5f4c9c5n%40googlegroups.com.