index
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