FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

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

Disclaimer | Powered by EasyChair Smart Program