TLA+ workshop - 20th September 2019, London, UK

[chris.b...@gmail.com]

Hello,

LambdAle (https://lambdale.org/) is a functional programming conference in a pub. This year we are organising a TLA+ workshop the day before the conference.

This is a one-day "from zero to hero" workshop designed for engineers with no previous experience in formal verification.

We are a not-for-profit organisation, so the pricing is very reasonable: only £175 for an early bird ticket.

There are plenty more details on the Eventbrite page: https://www.eventbrite.com/e/specifying-distributed-systems-with-tla-workshop-with-pawe-szulc-tickets-64877533449

Please reply if you have any questions.

Thanks,

Chris Birchall
Lead organiser, LambdAle