[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] [FYI] TLA+ Workshop / 11. - 12. Mai 2023 in Stuttgart/Germany
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:
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.