VARDIFEST PROGRAM
Days: Sunday, July 31st Monday, August 1st
Sunday, July 31st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-09:50 Session 1I
Chair:
Location: Taub 1
09:00 | On the unusual effectiveness of automata in logic (abstract) |
09:50-10:30 Session 5
Chair:
Location: Taub 1
09:50 | Data Path Queries over Embedded Graph Databases (abstract) |
10:00 | LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work (abstract) |
10:10 | Towards Combination of Logic and Calculus for Near-Optimal Planning in Relational Hybrid Systems (abstract) |
10:20 | SAT-based Reasoning Techniques for LTL over Finite and Infinite Traces (abstract) |
10:30-11:00Coffee Break
11:00-11:30 Session 10L
Chair:
Location: Taub 1
11:00 | Formal Aspects of Strategic Reasoning in MAS (abstract) |
11:10 | Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic (abstract) PRESENTER: Stefan Leue |
11:20 | Modelling with Reconfigurable Communication Interfaces (abstract) |
11:35-12:05 Session 11
Chair:
Location: Taub 1
11:35 | On the Extraordinary Effectiveness of Logic in Strategic Reasoning (abstract) |
11:45 | Automated Synthesis of Mechanisms (abstract) PRESENTER: Munyque Mittelmann |
11:55 | Synthesis of plans for teams of manufacturing robots (abstract) |
12:10-12:40 Session 12B
Chair:
Location: Taub 1
12:10 | That's All I know: On the Effectiveness of Logic in Game Theory (abstract) |
12:20 | Between Determinism and Nondeterminism (abstract) |
12:30 | A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic" (abstract) |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:50-15:30 Session 17
Chair:
Location: Taub 1
14:50 | Automata-Based Quantitative Reasoning (abstract) |
15:00 | LTLf Synthesis Under Environment Specifications (abstract) |
15:10 | Boolean Synthesis via Decision Diagrams (abstract) |
15:20 | Strategy synthesis for Global Window PCTL (abstract) PRESENTER: Shibashis Guha |
15:30-16:00Coffee Break
16:00-16:40 Session 19L
Chair:
Location: Taub 1
16:00 | Logic and Languages for Representation Learning (abstract) |
16:10 | Natural Autoencoding (abstract) PRESENTER: Assaf Marron |
16:20 | From Logic to Neurosymbolic AI (abstract) |
16:30 | An Epistemic Logic for modelling Cooperative Agents (abstract) PRESENTER: Stefania Costantini |
16:45-17:05 Session 20
Chair:
Location: Taub 1
16:45 | On the Effectiveness of Logic in Algorithmic Graph Theory (abstract) |
16:55 | Computability and Complexity over Finite Unordered Structures; e.g., Graphs (1979-1982) (abstract) |
17:10-18:00 Session 22
Invited Talk by Orna Kupferman
Chair:
Location: Taub 1
17:10 | On how the past illuminates the future (abstract) |
Monday, August 1st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-09:50 Session 26K
Chair:
Location: Taub 1
09:00 | On the Effectiveness of Logic in Robotics (abstract) |
09:50-10:30 Session 29
Chair:
Location: Taub 1
09:50 | The Safety Fragment of LTL (abstract) PRESENTER: Nicola Gigante |
10:00 | An Automata-Theoretic Approach to Model-Free Reinforcement Learning (abstract) PRESENTER: Mateo Perez |
10:10 | Strategy Logic: Origin, Results, and Open Questions (abstract) |
10:20 | Rewriting of Regular Path Queries: The first paper of the four Italians (abstract) |
10:30-11:00Coffee Break
11:00-11:30 Session 31Q
Chair:
Location: Taub 1
11:00 | Rewriting, Answering, and Losslessness: A Clarification by the “Four Italians” (abstract) |
11:10 | Bisimulation Games Played in Fibered Categories (abstract) |
11:20 | Capturing abscondings (abstract) |
11:35-12:05 Session 32
Chair:
Location: Taub 1
11:35 | From Kochen-Specker to Feder-Vardi (abstract) |
11:45 | Data Complexity and Expressive Power of Ontological Reasoning Formalisms (abstract) |
11:55 | Logic-driven approaches for smart, safe and energy-efficient aviation (abstract) |
12:10-12:40 Session 33
Chair:
Location: Taub 1
12:10 | Divide-and-Conquer Determinization for B\"uchi Automata (abstract) |
12:20 | Little Tricky Logic: Misconceptions in the Understanding of LTL (abstract) PRESENTER: Ben Greenman |
12:30 | Comments from Giuseppe, Kuldeep, and Kristin |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-14:55 Session 34Q
Chair:
Location: Taub 1
14:00 | Descriptive complexity and inexpressibly proofs (abstract) |
14:25 | A Brief Glimpse of the Skolem Landscape (abstract) |
14:35 | Approximations of Certain Answers in First-Order Logic (abstract) |
14:45 | Towards Algebraic Techniques for Descriptive Complexity (abstract) |
15:00-15:40 Session 35B
Chair:
Location: Taub 1
15:00 | Fixpoint Logics, Relational Machines, and Computational Complexity (abstract) |
15:10 | To Count or Not to Count: A Personal Perspective (abstract) |
15:20 | Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration (abstract) PRESENTER: Eli Singerman |
15:30 | A Toast for Moshe at the FLoC VardiFest (abstract) |
15:30-16:00Coffee Break
16:00-16:40 Session 37Q
Chair:
Location: Taub 1
16:00 | Understandable Proofs of Unsatisfiability (abstract) |
16:10 | Moshe Y. Vardi's First Love (abstract) |
16:35 | A Comment to Moshe by Ron Fagin |
16:45-17:05 Session 38
Chair:
Location: Taub 1
16:45 | Verifying Accuracy Claims of Differential Privacy Algorithms (abstract) |
16:55 | Bridging Practice and Theory in SAT: Moshe Vardi the Catalyst (abstract) |
17:10-18:00 Session 40
Chair:
Location: Taub 1
17:10 | How to be an ethical computer scientist (abstract) |
18:00-19:00 Session 42: A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
Chair:
Location: Taub 1
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event