We are going for a classic again: Paxos Made Simple by Leslie Lamport (2001). Please read the paper (https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/paxos-simple-Copy.pdf) (abstract (https://www.microsoft.com/en-us/research/publication/paxos-made-simple/)) and thanks to Peter for suggesting it plus leading the discussion.
If you need additional motivation — the abstract already states: The current version is 13 pages long, and contains no formula more complicated than n1 > n2.
And for a change of scenery, we're trying a new venue: CodeFactory Vienna in Herklotzgasse 21, 1150 Wien. It's just around the corner from StockWerk.
See you in May,