FRIDA PROGRAM
Thursday, August 11th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 120B
Chairs:
Location: Ullmann 102
09:00 | Preserving Hyperproperties when Using Concurrent Objects (abstract) |
09:45 | On Direct and Indirect Information in Distributed Protocols (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 125E
Chairs:
Location: Ullmann 102
11:00 | Quorum Tree Abstractions of Consensus Protocols (abstract) |
11:45 | What's Decidable about Causally Consistent Shared Memory? (abstract) |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 127E
Chairs:
Location: Ullmann 102
14:00 | Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 (abstract) |
14:45 | Eliminating Message Counters in Threshold Automata (abstract) |
15:30-16:00Coffee Break
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event