-
NSynC: Normalised Synthesis of Computation
Authors: Z. Shepherd, O. Kammar, and E. Polgreen
Speaker: TBD
-
From Quasipolynomial to Data-Parallel Algorithms for Verification Games Played on Graphs
Authors: V. Flugel, M. Jurdzinski, and G. Perez
Speaker: G. Perez
-
Liquify your Programs
Authors: R. Goswami and A. Mishra
Speaker: TBD
-
Multiple Definitions from a Single Resolution Proof
Authors: F. Slivovsky
Speaker: F. Slivovsky
-
Optimal LTLf Synthesis
Authors: Y. Cao, S. Schewe, Q. Tang, and S. Zhu
Speaker: TBD
-
Lazy and Priority-Guided Product Construction for Non-Integer Discounted-Sum Synthesis
Authors: R. Chandak and P. Golia
Speaker: TBD
-
Structure Analysis in Boolean Functional Synthesis
Authors: Z. Avissar and D. Fried
Speaker: TBD
-
Reducing Quantum Circuit Synthesis to #SAT
Authors: D. Zak, J. Mei, J. Lagniez, and A. Laarman
Speaker: TBD
-
Social Welfare under Heterogeneous Time Preferences
Authors: S. Bahmani, S. Paul, S. Schewe, S. Kalat, and A. Trivedi
Speaker: TBD
-
Games on Temporal Graphs
Authors: S. Bose
Speaker: S. Bose
-
Sure-almost-sure and Sure-limit-sure Window Mean Payoff in Markov Decision Processes
Authors: P. Gaba and S. Guha
Speaker: TBD
-
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
Authors: F. Schmitt, M. Cosler, N. Metzger, J. Siber, V. Krsmanović, M. Ghanem, and B. Finkbeiner
Speaker: TBD
-
Resolving Nondeterminism by Chance
Authors: S. Paul, D. Purser, S. Schewe, Q. Tang, P. Totzk, and D. Yen
Speaker: TBD
-
Maximizing Independence in Auction-Based Scheduling via Successive Refinement
Authors: G. Avni, K. Mallik, S. Sadhukhan, and T. Yarkoni
Speaker: S. Sadhukhan