FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SYNT PROGRAM

Days: Thursday, August 11th Friday, August 12th

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 120I
Chair:
Dana Drachsler Cohen
Location: Ullmann 201
09:00
Joost-Pieter Katoen
Inductive and Parameter Synthesis to Find POMDP Controllers
10:00
Petra Hozzová, Laura Kovács and Andrei Voronkov
Towards Synthesis in Superposition (abstract)
PRESENTER: Petra Hozzová
10:15
Frederik Schmitt, Christopher Hahn, Markus N. Rabe and Bernd Finkbeiner
LTL Synthesis with Transformer Neural Networks (abstract)
PRESENTER: Frederik Schmitt
10:30-11:00Coffee Break
11:00-12:30 Session 125N
Chair:
Shaull Almagor
Location: Ullmann 201
11:00
Elizabeth Polgreen
Beyond Counterexamples: Satisfiability and Synthesis Modulo Oracles (abstract)
12:00
Aalok Thakkar, Rajeev Alur and Mayur Naik
Complexity of Relational Query Synthesis (abstract)
PRESENTER: Aalok Thakkar
12:15
Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey and Subhajit Roy
Interactive Debugging of Concurrent Programs under Relaxed Memory Models (abstract)
PRESENTER: Subhajit Roy
12:30-14:00Lunch Break

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

14:00-15:30 Session 127N
Chair:
Michaël Cadilhac
Location: Ullmann 201
14:00
Andoni Rodriguez and César Sánchez
Reactive Synthesis of LTL specifications with Rich Theories (abstract)
PRESENTER: Andoni Rodriguez
14:20
Elizaveta Pertseva, Mark Barbone, Joey Rudek and Nadia Polikarpova
Regex+: Synthesizing Regular Expressions from Positive Examples (abstract)
PRESENTER: Elizaveta Pertseva
14:40
Srinivas Nedunuri and Douglas Smith
Inferring Environment Assumptions in Model Refinement (abstract)
PRESENTER: Srinivas Nedunuri
15:00
Rajeev Alur, Suguman Bansal, Osbert Bastani and Kishor Jothimurugan
A Framework for Transforming Specifications in Reinforcement Learning (abstract)
PRESENTER: Kishor Jothimurugan
15:20
Guillermo Perez
SYNTCOMP Results
15:30-16:00Coffee Break
16:00-17:00 Session 131L
Chair:
Dana Drachsler Cohen
Location: Ullmann 201
16:00
Andrew Reynolds
SyGuS-IF + SemGuS Results
16:10
Dana Drachsler Cohen
Future Work and Open Challenges Panel – Authors+Chairs
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
Friday, August 12th

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

08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
12:30-14:00Lunch Break

Lunches will be held in Taub hall.

15:30-16:00Coffee Break