SYNT — PROGRAM

Days: Saturday, 25 July 2026

Saturday, 25 July 2026
09:00-09:10 SYNTCOMP results SYNT
Location: C3.01
09:10-10:00 Keynote talk 1 SYNT
Session Chair:
Tobias Meggendorfer
Location: C3.01
10:00-10:25 Coffee Break SYNT
Location: C3.01
10:25-11:00 Reactive Synthesis SYNT
Session Chair:
A. R. Balasubramanian
Location: C3.01
10:25-10:42
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models (abstract) 17 min
Frederik Schmitt1, Matthias Cosler1, Niklas Metzger1, Julian Siber1, Vladimir Krsmanović1, Mohamed Ghanem1, Bernd Finkbeiner1
1 CISPA Helmholtz Center for Information Security
10:42-10:59
Optimal LTLf Synthesis (abstract) 17 min
Yujian Cao1, Sven Schewe1, Qiyi Tang1, Shufang Zhu1
1 University of Liverpool
11:00-12:25 Games and Synthesis - I SYNT
Session Chair:
Guy Avni
Location: C3.01
11:00-11:17
From Quasipolynomial to Data-Parallel Algorithms for Verification Games Played on Graphs (abstract) 17 min
Vanessa Flugel1, Marcin Jurdzinski2, Guillermo Perez1
1 University of Antwerp
2 Warwick University
11:17-11:34
Lazy and Priority-Guided Product Construction for Non-Integer Discounted-Sum Synthesis (abstract) 17 min
Raj Chandak1, Priyanka Golia1
1 Indian Institute of Technology, Delhi
11:34-11:51
Social Welfare under Heterogeneous Time Preferences (abstract) 17 min
Sarvin Bahmani1, Soumyajit Paul1, Sven Schewe1, Shadi Tasdighi Kalat2, Ashutosh Trivedi2
1 University of Liverpool, UK
2 University of Colorado Boulder, USA
11:51-12:08
Games on Temporal Graphs (abstract) 17 min
Sougata Bose1
1 UMONS – Université de Mons, Belgium
12:08-12:25
Sure-almost-sure and Sure-limit-sure Window Mean Payoff in Markov Decision Processes (abstract) 17 min
Pranshu Gaba1, Shibashis Guha1
1 Tata Institute of Fundamental Research, Mumbai
12:25-13:45 Lunch SYNT
Location: C3.01
13:45-14:35 Keynote talk 2 SYNT
Session Chair:
Djordje Zikelic
Location: C3.01
14:35-15:30 Functional & Quantum Synthesis SYNT
Session Chair:
A. R. Balasubramanian, Kaushik Mallik
Location: C3.01
14:35-14:52
Multiple Definitions from a Single Resolution Proof (abstract) 17 min
Friedrich Slivovsky1
1 University of Liverpool
14:52-15:09
Structure Analysis in Boolean Functional Synthesis (abstract) 17 min
Ziv Avissar1, Dror Fried1
1 Open University of Israel
15:09-15:26
Reducing Quantum Circuit Synthesis to #SAT (abstract) 17 min
Dekel Zak1, Jingyi Mei1, Jean-Marie Lagniez2, Alfons Laarman1
1 Leiden University
2 Artois University, France
15:30-15:55 Coffee Break SYNT
Location: C3.01
15:55-16:45 Keynote talk 3 SYNT
Session Chair:
Shufang Zhu
Location: C3.01
16:45-17:20 Games and Synthesis - 2 SYNT
Session Chair:
K. S. Thejaswini
Location: C3.01
16:45-17:02
Maximizing Independence in Auction-Based Scheduling via Successive Refinement (abstract) 17 min
Guy Avni1, Kaushik Mallik2, Suman Sadhukhan3, Tomer Yarkoni4
1 Department of Computer Science, University of Haifa
2 IMDEA Software Institute
3 TU Clausthal
4 Technion
17:02-17:19
Resolving Nondeterminism by Chance (abstract) 17 min
Soumyajit Paul1, David Purser1, Sven Schewe1, Qiyi Tang1, Patrick Totzk1, Di-De Yen1
1 University of Liverpool
17:20-18:00 Program Synthesis SYNT
Session Chair:
Supratik Chakraborty
Location: C3.01
17:20-17:37
NSynC: Normalised Synthesis of Computation (abstract) 17 min
Zoey Shepherd1, Ohad Kammar1, Elizabeth Polgreen1
1 University of Edinburgh
17:37-17:54
Liquify your Programs (abstract) 17 min
Rajarshi Goswami1, Ashish Mishra1
1 IIT Hyderabad
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑