FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TLA PROGRAM
Wednesday, July 18th

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

09:00-10:30 Session 125L
Location: Maths Boardroom
09:00
TLA+ in Engineering Systems: Quinceañera (abstract)
10:00
Modeling Virtual Machines and Interrupts in TLA+ & PlusCal (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 127L
Location: Maths Boardroom
11:00
An Animation Module for TLA+ (abstract)
11:45
BMCMT – Bounded Model Checking of TLA+ Specifications with SMT (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 128L
Location: Maths Boardroom
14:00
Applying TLA+ in a Safety-Critical Railway Project (abstract)
14:30
State Space Explosion or: How To Fight An Uphill Battle (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 130K
Location: Maths Boardroom
16:00
Invariants in Distributed Algorithms (abstract)
16:45
Proving properties of a minimal covering algorithm (abstract)
19:15-21:30 Workshops dinner at Magdalen College

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