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