[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


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.


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.