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

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

09:00-10:30 Session 124K
Location: Maths LT3
09:00
Synthesizing safe AI-based controllers for cyber-physical systems (abstract)
09:45
Meta-Interpretive Learning of Logic Programs (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 126K
Location: Maths LT3
11:00
Reactive Synthesis from LTL Specification with Spot (abstract)
11:18
On the Expressiveness of HyperLTL Synthesis (abstract)
11:36
Maximum Realizability for Linear Temporal Logic Specifications (abstract)
11:54
Warm-Starting Fixed-Point Based Control Synthesis (abstract)
12:12
Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 127K
Location: Maths LT3
14:00
Scalable Synthesis with Symbolic Syntax Graphs (abstract)
14:18
On Inductive Verification and Synthesis (abstract)
14:36
Programming by example: efficient, but not “helpful” (abstract)
14:54
Minimal Synthesis of String To String Functions From Examples (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 129J
Location: Maths LT3
16:00
Towards correct-by-construction controller synthesis for self-driving cars (abstract)
16:45
Competition Report: SYNTCOMP (abstract)
17:00
Competition Report: SyGuS-COMP (abstract)
17:15
TBA (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).