[tlaplus] TLA+ workshop - 20th September 2019, London, UK

[chris.birchall@xxxxxxxxx]

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

-- 
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 post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/605f00c8-31fe-413f-b79c-05d678fa1054%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.