FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
DS-FM PROGRAM
Saturday, July 14th

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

10:30-11:00Coffee Break
11:00-12:30 Session 92B: DS-FM invited talk: Sylvain Conchon
Location: Blavatnik LT1
11:00
Cubicle: a model checker for parameterized array-based transition systems (abstract)
11:45
Heuristic-Based GR(1) Assumptions Refinement (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 93B
Location: Blavatnik LT1
14:00
Analysis and Verification of Message Passing based Parallel Programs (abstract)
14:30
Formal verification of neural networks (abstract)
15:00
Consistency Checking of Functional Requirements (abstract)
15:30-16:00Coffee Break
16:00-16:30 Session 96B
Location: Blavatnik LT1
16:00
A Formal Study of MANET Routing Protocols (abstract)
19:00-21:30 FLoC reception at Oxford Town Hall

FLoC reception at Oxford Town Hall. Drinks and canapés available from 7pm (pre-booking via FLoC registration system required; guests welcome).