Keynote
Orna Kupferman Hebrew University of Jerusalem
Title: TBD
Abstract. TBD
Bio. TBD
Thomas A. Henzinger IST Austria
Title: TBD
Abstract. TBD
Bio. Tom Henzinger is professor at the Institute of Science and Technology Austria (ISTA), chair of the Austrian Council for Sciences, Technology, and Innovation (FORWIT), and member of the Scientific Council of the European Research Council (ERC). He holds a Dipl.-Ing. degree in Computer Science from Johannes Kepler University in Linz, Austria, an M.S. degree in Computer and Information Sciences from the University of Delaware, a Ph.D. degree in Computer Science from Stanford University (1991), and Dr.h.c. degrees from Fourier University in Grenoble, France, and from Masaryk University in Brno, Czech Republic. He was Assistant Professor of Computer Science at Cornell University, Professor of Electrical Engineering and Computer Sciences at the University of California, Berkeley, Director at the Max-Planck Institute for Computer Science in Saarbruecken, Germany, and Professor of Computer and Communication Sciences at EPFL in Lausanne, Switzerland. From 2009 until 2022, he was the founding president of ISTA in Klosterneuburg, Austria. His research focuses on the theory of software systems, especially models, algorithms, and tools for the design and verification of reliable software. His HyTech tool was the first model checker for mixed discrete-continuous systems. He is a member of the US National Academy of Sciences, the American Academy of Arts and Sciences, Academia Europaea, the German Academy of Sciences (Leopoldina), the Austrian Academy of Sciences, and a Foreign Member of the Royal Society. He is a Fellow of the AAAS, the ACM, the IEEE, and the EATCS. He received the Robin Milner Award of the Royal Society, the EATCS Award of the European Association for Theoretical Computer Science, the Wittgenstein Award of the Austrian Science Fund (FWF), and two Advanced Grants of the ERC.
Kuldeep Meel University of Toronto
Title: TBD
Abstract. TBD
Bio. TBD
Program
Presented by: Guillermo A. Perez
Speaker: TBA
10:25 - 11:00 | Reactive Synthesis
10:25 - 10:42 Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models Speaker: Frederik Schmitt
10:42 - 10:59 Optimal LTLf Synthesis Speaker: Yujian Cao
11:00 - 12:25 | Games and Synthesis - I
11:00 - 11:17 From Quasipolynomial to Data-Parallel Algorithms for Verification Games Played on Graphs Speaker: Guillermo A. Perez
11:17 - 11:34 Lazy and Priority-Guided Product Construction for Non-Integer Discounted-Sum Synthesis Speaker: Raj Chandak
11:34 - 11:51 Social Welfare under Heterogeneous Time Preferences Speaker: TBD
11:51 - 12:08 Games on Temporal Graphs Speaker: Sougata Bose
12:08 - 12:25 Sure-almost-sure and Sure-limit-sure Window Mean Payoff in Markov Decision Processes Speaker: Pranshu Gaba
Speaker: TBA
14:35 - 15:30 | Functional & Quantum Synthesis
14:35 - 14:52 Multiple Definitions from a Single Resolution Proof Speaker: Friedrich Slivovsky
14:52 - 15:09 Structure Analysis in Boolean Functional Synthesis Speaker: Ziv Avissar
15:09 - 15:26 Reducing Quantum Circuit Synthesis to #SAT Speaker: Alfons Laarman
Speaker: TBA