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

37 views
Skip to first unread message

Artur Lojewski

unread,
Apr 20, 2023, 4:23:37 PM4/20/23
to tlaplus
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:


- Artur
Reply all
Reply to author
Forward
0 new messages