... | ... | @@ -16,7 +16,7 @@ |
|
|
# Meeting ideas
|
|
|
- More theoretical papers: 100 Impossibility proofs, ABCDs of Paxos
|
|
|
- TLA
|
|
|
- Brainstorming
|
|
|
- Brainstorming (Puns, Automatic Protocol Optimizations)
|
|
|
- Read my papers
|
|
|
- session about talking about model checkers
|
|
|
- Verdi
|
... | ... | |