FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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
Location: Taub 1
09:00
On the unusual effectiveness of automata in logic (abstract)
09:50-10:30 Session 5
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
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
Location: Taub 1
11:35
On the Extraordinary Effectiveness of Logic in Strategic Reasoning (abstract)
11:45
Automated Synthesis of Mechanisms (abstract)
11:55
Synthesis of plans for teams of manufacturing robots (abstract)
12:10-12:40 Session 12B
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:00-14:50 Session 14N
Location: Taub 1
14:00
The Joy of Automata (abstract)
14:50-15:30 Session 17
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
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)
16:45-17:05 Session 20
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

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
Location: Taub 1
09:00
On the Effectiveness of Logic in Robotics (abstract)
09:50-10:30 Session 29
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
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
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
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
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
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
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
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
Location: Taub 1
17:10
How to be an ethical computer scientist (abstract)
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event