FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SYNT 2022 PROGRAM

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

Thursday, August 11th

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

09:00-10:30 Session 92H
09:00
TBA
10:00
Towards Synthesis in Superposition (abstract)
10:15
LTL Synthesis with Transformer Neural Networks (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 95J
11:00
TBA
12:00
Complexity of Relational Query Synthesis (abstract)
12:15
Interactive Debugging of Concurrent Programs under Relaxed Memory Models (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 97J
14:00
Reactive Synthesis of LTL specifications with Rich Theories (abstract)
14:20
A Framework for Transforming Specifications in Reinforcement Learning (abstract)
14:40
Inferring Environment Assumptions in Model Refinement (abstract)
15:00
Regex+: Synthesizing Regular Expressions from Positive Examples (abstract)
15:20
SYNTCOMP Results
15:30-16:00Coffee Break
16:00-17:00 Session 98J
16:00
SyGuS-IF + SemGuS Results
16:10
Future Work and Open Challenges Panel – Authors+Chairs
18:00-19:30Workshop Dinner (at the Technion) - Paid event
Friday, August 12th

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

10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break