FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
VAVAS PROGRAM

Days: Wednesday, July 18th Thursday, July 19th

Wednesday, July 18th

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

09:00-10:30 Session 124P: Invited Speaker; Distributed Systems I

Invited Speaker

Contributed Talks: Distributed Systems I

Location: Maths LT1
09:00
Formal Synthesis of Control Strategies for Dynamical Systems (abstract)
10:00
Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper) (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 126P: Distributed Systems II

Contributed Talks: Distributed Systems II

Location: Maths LT1
11:00
Work-in-Progress: Adaptive Neighborhood Resizing for Stochastic Reachability in Distributed Flocking (abstract)
11:30
Policing Functions for Machine Learning Systems (abstract)
12:00
Social Consequence Engines (Abstract) (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 127P: Invited Speaker; Autonomy

Invited Speaker

Contributed Talks: Autonomy

Location: Maths LT1
14:00
Trust me I am autonomous (abstract)
15:00
Robot Demonstration (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 129N: Autonomous Vehicles

Contributed Talks: Autonomous Vehicles

Location: Maths LT1
16:00
Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract (abstract)
16:30
Towards a verifiable decision making framework for self-driving vehicles (abstract)
17:00
Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent (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).

Thursday, July 19th

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

09:00-10:30 Session 130I: Invited Speaker; Robotics I

Invited Speaker

Contributed Talks: Robotics I

Location: Maths LT1
09:00
Reproducibility in Robotics - The Big 5 Issues (abstract)
10:00
RoboTool: Modelling and Verification with RoboChart (abstract)
10:30-11:00Coffee Break
11:00-11:30 Session 132I: Robotics II

Contributed Talks: Robotics II

Location: Maths LT1
11:00
Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot (abstract)
11:30-12:30 Session 133: Panel Session

Panel session focusing on key issues relating to the verification and validation of autonomous systems. Panelists include Calin Belta (Boston University), Jérémie Guiochet  (University of Toulouse III), Florian Lier  (Bielefeld University)  and Alice Miller (University of Glasgow).

Location: Maths LT1
12:30-14:00Lunch Break
15:30-16:00Coffee Break