SYNT 2022 Program

SYNT 2022 PROGRAM

Thursday, August 11th

09:00	Joost-Pieter Katoen TBA
10:00	Petra Hozzová, Laura Kovács and Andrei Voronkov Towards Synthesis in Superposition (abstract)
10:15	Frederik Schmitt, Christopher Hahn, Markus N. Rabe and Bernd Finkbeiner LTL Synthesis with Transformer Neural Networks (abstract)

10:30-11:00Coffee Break

11:00	Elizabeth Polgreen TBA
12:00	Aalok Thakkar, Rajeev Alur and Mayur Naik Complexity of Relational Query Synthesis (abstract)
12:15	Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey and Subhajit Roy Interactive Debugging of Concurrent Programs under Relaxed Memory Models (abstract)

12:30-14:00Lunch Break

14:00	Andoni Rodriguez and César Sánchez Reactive Synthesis of LTL specifications with Rich Theories (abstract)
14:20	Rajeev Alur, Suguman Bansal, Osbert Bastani and Kishor Jothimurugan A Framework for Transforming Specifications in Reinforcement Learning (abstract)
14:40	Srinivas Nedunuri and Douglas Smith Inferring Environment Assumptions in Model Refinement (abstract)
15:00	Elizaveta Pertseva, Mark Barbone, Joey Rudek and Nadia Polikarpova Regex+: Synthesizing Regular Expressions from Positive Examples (abstract)
15:20	Guillermo Perez SYNTCOMP Results

15:30-16:00Coffee Break

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) - Paid event

Friday, August 12th

10:30-11:00Coffee Break

12:30-14:00Lunch Break

15:30-16:00Coffee Break