With great commitment from the below speakers, we are very excited to launch “Dr. TLA+ Series”.
Dr. TLA+ Series: learn an algorithm and protocol, study a specification
Each one-hour session will focus on a single algorithm and protocol, presented by a single speaker. The speaker will:
-- dive deep into how the algorithm and protocol works
-- illustrate in detail how the TLA+ specification is written
-- share the learnings from writing/studying the TLA+ specification
Format: Sessions will be presented through live streaming (with remote questioning) and open to anyone who is interested. The announcements will be made in the TLA+ Google group. All sessions will be recorded and made available online.
Audience: the series are for people who already know how to write at least simple TLA+ specs. Rather than how to get started, the series focus on learning new algorithms/protocols and techniques to write better specifications.
Schedule: Details will be available soon. The below are the current topics/speakers.
Time |
Topic |
Speaker |
June |
Paxos |
Andrew Helwer (Microsoft) |
July |
Raft |
Jin Li (Microsoft) |
July |
Logical Physical Clocks |
Prof. Murat Demirbas (U. of Buffalo, SUNY) |
August |
Fast Paxos |
Cheng Huang (Microsoft) |
TBD |
Serializable Snapshot Isolation |
Chris Newcombe (Oracle) |
Speaker: This is a community effort. Everyone is welcome to volunteer as a speaker. Speakers get to choose (or ask recommendation from us) which algorithm/protocol/specification to present.
Stay tuned …
--
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+u...@googlegroups.com.
To post to this group, send email to tla...@googlegroups.com.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.