FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
FRIDA PROGRAM
Friday, July 13th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 83D
09:00
Building verified distributed systems with IVy (abstract)
09:30
The latest gossip on BFT consensus (abstract)
10:00
Formal Verification of Internet of Things Protocols (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 86C
11:00
Specifying Non-Atomic Methods of Concurrent Objects (abstract)
11:30
Peregrine - A Tool for Population Protocols (abstract)
12:00
From Asynchronous Message-Passing Models To Rounds (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 87D
14:00
Specifying and Verifying Concurrent Objects (abstract)
14:30
Making Parallel Snapshot Isolation Serializable (abstract)
15:00
Parameterized Reachability for All Flavors of Threshold Automata (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 88A
16:00
Stateless model-checking under the data-centric view (abstract)
16:30
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction (abstract)
19:00-21:30 Workshops dinner at Keble College

Workshops dinner at Keble College. Drinks reception from 7pm, to be seated by 7:30 (pre-booking via FLoC registration system required; guests welcome).

Location: Keble College