FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Abramsky, Samson	From Kochen-Specker to Feder-Vardi
Alechina, Natasha	Synthesis of plans for teams of manufacturing robots
Alur, Rajeev	The Joy of Automata
B
Bansal, Suguman	Automata-Based Quantitative Reasoning
Bhatia, Amit	Logic-driven approaches for smart, safe and energy-efficient aviation
Bordais, Benjamin	Strategy synthesis for Global Window PCTL
Busatto-Gaston, Damien	Strategy synthesis for Global Window PCTL
C
Calvanese, Diego	Rewriting, Answering, and Losslessness: A Clarification by the “Four Italians”
Chakraborty, Supratik	To Count or Not to Count: A Personal Perspective
Cimatti, Alessandro	The Safety Fragment of LTL
Cohen, Irun	Natural Autoencoding
Costantini, Stefania	An Epistemic Logic for modelling Cooperative Agents
D
De Giacomo, Giuseppe	Comments from Giuseppe, Kuldeep, and Kristin
Di Stasio, Antonio	LTLf Synthesis Under Environment Specifications
F
Fagin, Ronald	Descriptive complexity and inexpressibly proofs A Comment to Moshe by Ron Fagin
Ferrara, Andrea	Capturing abscondings
Formisano, Andrea	An Epistemic Logic for modelling Cooperative Agents
Fraer, Ranan	Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration
G
Geatti, Luca	The Safety Fragment of LTL
Geffner, Hector	Logic and Languages for Representation Learning
Gigante, Nicola	The Safety Fragment of LTL
Golumbic, Martin Charles	On the Effectiveness of Logic in Algorithmic Graph Theory
Gottlob, Georg	Data Complexity and Expressive Power of Ontological Reasoning Formalisms
Greenman, Ben	Little Tricky Logic: Misconceptions in the Understanding of LTL
Guha, Shibashis	Strategy synthesis for Global Window PCTL
H
Halpern, Joe	That's All I know: On the Effectiveness of Logic in Game Theory
Harel, David	Computability and Complexity over Finite Unordered Structures; e.g., Graphs (1979-1982)
Hasuo, Ichiro	Bisimulation Games Played in Fibered Categories
Henzinger, Thomas	Between Determinism and Nondeterminism
Heule, Marijn	Understandable Proofs of Unsatisfiability
K
Kamhi, Gila	Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration
Kavraki, Lydia	On the Effectiveness of Logic in Robotics
Khoja, Alan	Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic
Kolaitis, Phokion	Moshe Y. Vardi's First Love
Krishnamurthi, Shriram	Little Tricky Logic: Misconceptions in the Understanding of LTL
Kupferman, Orna	On how the past illuminates the future
Kölbl, Martin	Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic
L
Lamb, Luis	From Logic to Neurosymbolic AI
Landver, Avner	Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration
Lenzerini, Maurizio	Rewriting of Regular Path Queries: The first paper of the four Italians
Leue, Stefan	Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic
Li, Jianwen	SAT-based Reasoning Techniques for LTL over Finite and Infinite Traces
Li, Yong	Divide-and-Conquer Determinization for B\"uchi Automata
Libkin, Leonid	Approximations of Certain Answers in First-Order Logic
Lin, Anthony Widjaja	Data Path Queries over Embedded Graph Databases
M
Malik, Sharad	Bridging Practice and Theory in SAT: Moshe Vardi the Catalyst
Marron, Assaf	Natural Autoencoding
Martinelli Tabajara, Lucas	Boolean Synthesis via Decision Diagrams
Maubert, Bastien	Automated Synthesis of Mechanisms
Meel, Kuldeep S.	Comments from Giuseppe, Kuldeep, and Kristin
Mittelmann, Munyque	Automated Synthesis of Mechanisms
Mogavero, Fabio	Strategy Logic: Origin, Results, and Open Questions
Montanari, Angelo	The Safety Fragment of LTL
Moses, Yoram	A Toast for Moshe at the FLoC VardiFest
Murano, Aniello	Formal Aspects of Strategic Reasoning in MAS Automated Synthesis of Mechanisms
N
Nelson, Tim	Little Tricky Logic: Misconceptions in the Understanding of LTL
O
Ouaknine, Joel	A Brief Glimpse of the Skolem Landscape
P
Perelli, Giuseppe	On the Extraordinary Effectiveness of Logic in Strategic Reasoning
Perez, Mateo	An Automata-Theoretic Approach to Model-Free Reinforcement Learning
Perrussel, Laurent	Automated Synthesis of Mechanisms
Piterman, Nir	Modelling with Reconfigurable Communication Interfaces
Pitoni, Valentina	An Epistemic Logic for modelling Cooperative Agents
R
Raskin, Jean-Francois	Strategy synthesis for Global Window PCTL
Rozier, Kristin Yvonne	Comments from Giuseppe, Kuldeep, and Kristin
S
Saarinen, Sam	Little Tricky Logic: Misconceptions in the Understanding of LTL
Shukla, Sandeep	A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic"
Singerman, Eli	Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration
Somenzi, Fabio	An Automata-Theoretic Approach to Model-Free Reinforcement Learning
Soutchanski, Mikhail	Towards Combination of Logic and Calculus for Near-Optimal Planning in Relational Hybrid Systems
T
Ternovska, Eugenia	Towards Algebraic Techniques for Descriptive Complexity
Tonetta, Stefano	The Safety Fragment of LTL
Trivedi, Ashutosh	An Automata-Theoretic Approach to Model-Free Reinforcement Learning
V
Vardi, Moshe	How to be an ethical computer scientist
Vianu, Victor	Fixpoint Logics, Relational Machines, and Computational Complexity
Viswanathan, Mahesh	Verifying Accuracy Claims of Differential Privacy Algorithms
W
Wilhelmi, Rüdiger	Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic
Wolper, Pierre	On the unusual effectiveness of automata in logic
Z
Zhu, Shufang	LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work

Disclaimer | Powered by EasyChair Smart Program