FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
NSV 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 120E
Location: Ullmann 308
09:00
Recent advances for hybrid systems verification with HyPro (abstract)
10:00
MLTL Multi-Type: A Logic for Reasoning about Traces of Different Types (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 125I
Location: Ullmann 308
11:00
Combining learning-based methods and temporal logic specifications for designing controllers for unknown environments (abstract)
12:00
Verified Numerical Methods for Ordinary Differential Equations (abstract)
PRESENTER: Ariel Kellison
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:30 Session 127I
Location: Ullmann 308
14:00
Motion planning with temporal logic constraints and preferences (abstract)
15:00
Neural Network Precision Tuning Using Stochastic Arithmetic (abstract)
PRESENTER: Quentin Ferro
15:30-16:00Coffee Break
16:00-17:00 Session 131G
Location: Ullmann 308
16:00
Adversarial Testing and Repair for Neural Network based Control Systems using Optimization (abstract)
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event