| Authors | Title | Paper | Talk |
|---|
| Anthony Widjaja Lin | Data Path Queries over Embedded Graph Databases |  | Jul 31 09:50 |
| Shufang Zhu | LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work | | Jul 31 10:00 |
| Mikhail Soutchanski | Towards Combination of Logic and Calculus for Near-Optimal Planning in Relational Hybrid Systems | | Jul 31 10:10 |
| Jianwen Li | SAT-based Reasoning Techniques for LTL over Finite and Infinite Traces | | Jul 31 10:20 |
| Aniello Murano | Formal Aspects of Strategic Reasoning in MAS | | Jul 31 11:00 |
| Alan Khoja, Martin Kölbl, Stefan Leue and Rüdiger Wilhelmi | Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic | | Jul 31 11:10 |
| Nir Piterman | Modelling with Reconfigurable Communication Interfaces | | Jul 31 11:20 |
| Giuseppe Perelli | On the Extraordinary Effectiveness of Logic in Strategic Reasoning | | Jul 31 11:35 |
| Munyque Mittelmann, Bastien Maubert, Aniello Murano and Laurent Perrussel | Automated Synthesis of Mechanisms | | Jul 31 11:45 |
| Natasha Alechina | Synthesis of plans for teams of manufacturing robots | | Jul 31 11:55 |
| Joe Halpern | That's All I know: On the Effectiveness of Logic in Game Theory | | Jul 31 12:10 |
| Thomas Henzinger | Between Determinism and Nondeterminism | | Jul 31 12:20 |
| Sandeep Shukla | A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic" | | Jul 31 12:30 |
| Suguman Bansal | Automata-Based Quantitative Reasoning | | Jul 31 14:50 |
| Antonio Di Stasio | LTLf Synthesis Under Environment Specifications | | Jul 31 15:00 |
| Lucas Martinelli Tabajara | Boolean Synthesis via Decision Diagrams | | Jul 31 15:10 |
| Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha and Jean-Francois Raskin | Strategy synthesis for Global Window PCTL | | Jul 31 15:20 |
| Hector Geffner | Logic and Languages for Representation Learning | | Jul 31 16:00 |
| Irun Cohen and Assaf Marron | Natural Autoencoding | | Jul 31 16:10 |
| Luis Lamb | From Logic to Neurosymbolic AI | | Jul 31 16:20 |
| Stefania Costantini, Andrea Formisano and Valentina Pitoni | An Epistemic Logic for modelling Cooperative Agents | | Jul 31 16:30 |
| Martin Charles Golumbic | On the Effectiveness of Logic in Algorithmic Graph Theory | | Jul 31 16:45 |
| David Harel | Computability and Complexity over Finite Unordered Structures; e.g., Graphs (1979-1982) | | Jul 31 16:55 |
| Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari and Stefano Tonetta | The Safety Fragment of LTL | | Aug 01 09:50 |
| Ashutosh Trivedi, Fabio Somenzi and Mateo Perez | An Automata-Theoretic Approach to Model-Free Reinforcement Learning | | Aug 01 10:00 |
| Fabio Mogavero | Strategy Logic: Origin, Results, and Open Questions | | Aug 01 10:10 |
| Maurizio Lenzerini | Rewriting of Regular Path Queries: The first paper of the four Italians | | Aug 01 10:20 |
| Diego Calvanese | Rewriting, Answering, and Losslessness: A Clarification by the “Four Italians” | | Aug 01 11:00 |
| Ichiro Hasuo | Bisimulation Games Played in Fibered Categories | | Aug 01 11:10 |
| Andrea Ferrara | Capturing abscondings | | Aug 01 11:20 |
| Samson Abramsky | From Kochen-Specker to Feder-Vardi | | Aug 01 11:35 |
| Georg Gottlob | Data Complexity and Expressive Power of Ontological Reasoning Formalisms | | Aug 01 11:45 |
| Amit Bhatia | Logic-driven approaches for smart, safe and energy-efficient aviation | | Aug 01 11:55 |
| Yong Li | Divide-and-Conquer Determinization for B\"uchi Automata | | Aug 01 12:10 |
| Ben Greenman, Sam Saarinen, Tim Nelson and Shriram Krishnamurthi | Little Tricky Logic: Misconceptions in the Understanding of LTL | | Aug 01 12:20 |
| Vijay Ganesh, Dhananjay Ashok, Christopher Srinivasa and Vineel Nagisetty | A Solver + Gradient Descent Training Algorithm for Deep Neural Network | | |
| Joel Ouaknine | Algorithms, Complexity, Verification: From Cook and Karp to Vardi; or, a Brief Glimpse of the Skolem Landscape | | Aug 01 14:25 |
| Leonid Libkin | Approximations of Certain Answers in First-Order Logic | | Aug 01 14:35 |
| Eugenia Ternovska | Towards Algebraic Techniques for Descriptive Complexity | | Aug 01 14:45 |
| Victor Vianu | Fixpoint Logics, Relational Machines, and Computational Complexity | | Aug 01 15:00 |
| Marijn Heule | Understandable Proofs of Unsatisfiability | | Aug 01 16:00 |
| Eli Singerman, Gila Kamhi, Ranan Fraer and Avner Landver | Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration | | Aug 01 15:20 |
| Yoram Moses | A Toast for Moshe at the FLoC VardiFest | | Aug 01 15:30 |
| Supratik Chakraborty | To Count or Not to Count: A Personal Perspective | | Aug 01 15:10 |
| Mahesh Viswanathan | Verifying Accuracy Claims of Differential Privacy Algorithms | | Aug 01 16:45 |
| Sharad Malik | Bridging Practice and Theory in SAT: Moshe Vardi the Catalyst | | Aug 01 16:55 |
| Giuseppe De Giacomo | LTLf? It's Easy! Precisely! | | |
| Kuldeep S. Meel | 12 Years and Counting: Samples from My Undergraduate Research Projec | | |
| Sasha Rubin | Trace-view vs Strategy-view of the Environment in Reactive Synthesis | | |
