FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

(
(iterated) admissibility	That's All I know: On the Effectiveness of Logic in Game Theory (, talk)
A
Accuracy	Verifying Accuracy Claims of Differential Privacy Algorithms (, talk)
Aerospace	Logic-driven approaches for smart, safe and energy-efficient aviation (, talk)
Algorithmic Game Theory	Strategy Logic: Origin, Results, and Open Questions (, talk)
algorithmic graph theory	On the Effectiveness of Logic in Algorithmic Graph Theory (, talk)
all I know	That's All I know: On the Effectiveness of Logic in Game Theory (, talk)
AND-OR graph	LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work (, talk)
archery	A Toast for Moshe at the FLoC VardiFest (, talk)
Artificial intelligence	LTLf? It's Easy! Precisely! (, )
assumptions	Trace-view vs Strategy-view of the Environment in Reactive Synthesis (, )
Autoencoding	Natural Autoencoding (, talk)
Automata	Automata-Based Quantitative Reasoning (, talk) LTLf? It's Easy! Precisely! (, )
Automata Theory	Between Determinism and Nondeterminism (, talk) The Safety Fragment of LTL (, talk)
Automata-Theoretic Approach	LTLf Synthesis Under Environment Specifications (, talk)
automated numerical planning and scheduling	Towards Combination of Logic and Calculus for Near-Optimal Planning in Relational Hybrid Systems (, talk)
Automated reasoning	On the Extraordinary Effectiveness of Logic in Strategic Reasoning (, talk)
Aviation	Logic-driven approaches for smart, safe and energy-efficient aviation (, talk)
B
B\"uchi automata	Divide-and-Conquer Determinization for B\"uchi Automata (, talk)
BDD	A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic" (, talk) Boolean Synthesis via Decision Diagrams (, talk)
Bell Labs	A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic" (, talk)
best-effort synthesis	Trace-view vs Strategy-view of the Environment in Reactive Synthesis (, )
bisimulation	Bisimulation Games Played in Fibered Categories (, talk)
Boolean synthesis	Boolean Synthesis via Decision Diagrams (, talk)
Branching Time	A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic" (, talk)
C
category theory	Bisimulation Games Played in Fibered Categories (, talk)
CAV	A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic" (, talk)
Combinations of Logic and Machine Learning	A Solver + Gradient Descent Training Algorithm for Deep Neural Network (, )
Combinations of Solvers and Gradient Descent	A Solver + Gradient Descent Training Algorithm for Deep Neural Network (, )
combinatorial structures	On the Effectiveness of Logic in Algorithmic Graph Theory (, talk)
Comparators	Automata-Based Quantitative Reasoning (, talk)
complexity over structures	Computability and Complexity over Finite Unordered Structures; e.g., Graphs (1979-1982) (, talk)
computability over structures	Computability and Complexity over Finite Unordered Structures; e.g., Graphs (1979-1982) (, talk)
computable queries	Computability and Complexity over Finite Unordered Structures; e.g., Graphs (1979-1982) (, talk)
computational complexity	Data Path Queries over Embedded Graph Databases (, talk) Fixpoint Logics, Relational Machines, and Computational Complexity (, talk)
Consistency Analysis	Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic (, talk)
constraint logic programming	Towards Combination of Logic and Calculus for Near-Optimal Planning in Relational Hybrid Systems (, talk)
constraint satisfaction	From Kochen-Specker to Feder-Vardi (, talk)
constraint satisfaction problems	On the Effectiveness of Logic in Algorithmic Graph Theory (, talk)
contextuality	From Kochen-Specker to Feder-Vardi (, talk)
Cooperation in MAS	An Epistemic Logic for modelling Cooperative Agents (, talk)
Counting	To Count or Not to Count: A Personal Perspective (, talk)
Cyber-physical systems	Synthesis of plans for teams of manufacturing robots (, talk)
D
Data Complexity	Data Complexity and Expressive Power of Ontological Reasoning Formalisms (, talk) Towards Algebraic Techniques for Descriptive Complexity (, talk)
Databases	Data Complexity and Expressive Power of Ontological Reasoning Formalisms (, talk)
databases as logical theories	Approximations of Certain Answers in First-Order Logic (, talk)
decidability	Verifying Accuracy Claims of Differential Privacy Algorithms (, talk)
Decision Diagrams	Boolean Synthesis via Decision Diagrams (, talk)
Descriptive Complexity	Towards Algebraic Techniques for Descriptive Complexity (, talk)
Deterministic Emerson-Lei automata	Divide-and-Conquer Determinization for B\"uchi Automata (, talk)
Determinization	Divide-and-Conquer Determinization for B\"uchi Automata (, talk)
Differential Privacy	Verifying Accuracy Claims of Differential Privacy Algorithms (, talk)
Dimensionality reduction	Natural Autoencoding (, talk)
Divide-and-Conquer	Divide-and-Conquer Determinization for B\"uchi Automata (, talk)
Dynamic Logic	Towards Algebraic Techniques for Descriptive Complexity (, talk)
E
Energy Efficiency	Logic-driven approaches for smart, safe and energy-efficient aviation (, talk)
Epistemic Logic	An Epistemic Logic for modelling Cooperative Agents (, talk)
Evolution	Natural Autoencoding (, talk)
expressive power	Data Complexity and Expressive Power of Ontological Reasoning Formalisms (, talk)
F
Fair simulation	Between Determinism and Nondeterminism (, talk)
Finite model theory	Data Path Queries over Embedded Graph Databases (, talk) Strategy Logic: Origin, Results, and Open Questions (, talk)
finite-variable logics	From Kochen-Specker to Feder-Vardi (, talk)
firmware	Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration (, talk)
first-order logic	Approximations of Certain Answers in First-Order Logic (, talk)
fixpoint logic	Fixpoint Logics, Relational Machines, and Computational Complexity (, talk)
Formal	Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration (, talk)
formal methods	Capturing abscondings (, talk)
formal verification	The Safety Fragment of LTL (, talk)
G
game	Bisimulation Games Played in Fibered Categories (, talk)
game theory	Capturing abscondings (, talk)
gang membership	A Toast for Moshe at the FLoC VardiFest (, talk)
graph databases	Rewriting of Regular Path Queries: The first paper of the four Italians (, talk) Rewriting, Answering, and Losslessness: A Clarification by the “Four Italians” (, talk)
Graph games	Between Determinism and Nondeterminism (, talk)
graph theory	Capturing abscondings (, talk)
H
hardware	Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration (, talk)
Hardware Verification	Bridging Practice and Theory in SAT: Moshe Vardi the Catalyst (, talk)
hybrid systems	Towards Combination of Logic and Calculus for Near-Optimal Planning in Relational Hybrid Systems (, talk)
I
incomplete information	Approximations of Certain Answers in First-Order Logic (, talk)
Interaction	Natural Autoencoding (, talk)
K
k-consistency	From Kochen-Specker to Feder-Vardi (, talk)
Knowledge Acquisition	Logic-driven approaches for smart, safe and energy-efficient aviation (, talk)
Knowledge compilation	LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work (, talk)
L
languages	Logic and Languages for Representation Learning (, talk)
law enforcement	Capturing abscondings (, talk)
Legal Contracts	Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic (, talk)
Limit-Deterministic Buchi Automata	An Automata-Theoretic Approach to Model-Free Reinforcement Learning (, talk)
Linear Time	A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic" (, talk)
Linear Time Logic on Finite Traces	LTLf? It's Easy! Precisely! (, )
Linear-time Temporal Logic on Finite and Infinite Traces	LTLf Synthesis Under Environment Specifications (, talk)
logic	Logic and Languages for Representation Learning (, talk) From Logic to Neurosymbolic AI (, talk) On the Effectiveness of Logic in Algorithmic Graph Theory (, talk) Bisimulation Games Played in Fibered Categories (, talk) Logic-driven approaches for smart, safe and energy-efficient aviation (, talk)
Logic and finite model theory	To Count or Not to Count: A Personal Perspective (, talk)
Logic and Law	Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic (, talk)
Logical theories	Data Path Queries over Embedded Graph Databases (, talk)
Logics for Multi-Agent Systems	Automated Synthesis of Mechanisms (, talk)
Logics for the strategic reasoning	Formal Aspects of Strategic Reasoning in MAS (, talk)
Loop termination	Algorithms, Complexity, Verification: From Cook and Karp to Vardi; or, a Brief Glimpse of the Skolem Landscape (, talk)
losslessness	Rewriting, Answering, and Losslessness: A Clarification by the “Four Italians” (, talk)
LTL	SAT-based Reasoning Techniques for LTL over Finite and Infinite Traces (, talk) The Safety Fragment of LTL (, talk) An Automata-Theoretic Approach to Model-Free Reinforcement Learning (, talk) Little Tricky Logic: Misconceptions in the Understanding of LTL (, talk)
LTL model checking	To Count or Not to Count: A Personal Perspective (, talk)
LTL over finite traces	SAT-based Reasoning Techniques for LTL over Finite and Infinite Traces (, talk)
LTLf	LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work (, talk)
M
machine learning	From Logic to Neurosymbolic AI (, talk)
Manufacturing	Synthesis of plans for teams of manufacturing robots (, talk)
Markov decision processes	Strategy synthesis for Global Window PCTL (, talk)
Mechanism Design	Automated Synthesis of Mechanisms (, talk)
Mechanized Logic	Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic (, talk)
message passing	Modelling with Reconfigurable Communication Interfaces (, talk)
Minimal Independent Sets	Bridging Practice and Theory in SAT: Moshe Vardi the Catalyst (, talk)
misconceptions	Little Tricky Logic: Misconceptions in the Understanding of LTL (, talk)
model checking	Formal Aspects of Strategic Reasoning in MAS (, talk) Modelling with Reconfigurable Communication Interfaces (, talk) A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic" (, talk)
Model-Free Reinforcement Learning	An Automata-Theoretic Approach to Model-Free Reinforcement Learning (, talk)
Module checking	Formal Aspects of Strategic Reasoning in MAS (, talk)
Multi-agent systems	Formal Aspects of Strategic Reasoning in MAS (, talk)
Multi-Agent Systems (MAS)	An Epistemic Logic for modelling Cooperative Agents (, talk)
N
Neurosymbolic AI	From Logic to Neurosymbolic AI (, talk)
O
Omega Automata	A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic" (, talk)
Open Problems	Strategy Logic: Origin, Results, and Open Questions (, talk)
ordinary differential equations	Towards Combination of Logic and Calculus for Near-Optimal Planning in Relational Hybrid Systems (, talk)
P
PCTL	Strategy synthesis for Global Window PCTL (, talk)
Planning	Logic-driven approaches for smart, safe and energy-efficient aviation (, talk)
Program verification	Algorithms, Complexity, Verification: From Cook and Karp to Vardi; or, a Brief Glimpse of the Skolem Landscape (, talk)
proof checking	Understandable Proofs of Unsatisfiability (, talk)
proof of unsatisfiability	Understandable Proofs of Unsatisfiability (, talk)
property language design	Little Tricky Logic: Misconceptions in the Understanding of LTL (, talk)
Q
QPTIME	Computability and Complexity over Finite Unordered Structures; e.g., Graphs (1979-1982) (, talk)
Quantitative reasoning	Automata-Based Quantitative Reasoning (, talk)
quantum mechanics	From Kochen-Specker to Feder-Vardi (, talk)
Query Evaluation	Towards Algebraic Techniques for Descriptive Complexity (, talk)
query rewriting	Rewriting, Answering, and Losslessness: A Clarification by the “Four Italians” (, talk)
R
Rational Synthesis	On the Extraordinary Effectiveness of Logic in Strategic Reasoning (, talk)
rationality	That's All I know: On the Effectiveness of Logic in Game Theory (, talk)
reactive synthesis	LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work (, talk) Trace-view vs Strategy-view of the Environment in Reactive Synthesis (, )
Reactive systems	Formal Aspects of Strategic Reasoning in MAS (, talk)
Reasoning	Logic-driven approaches for smart, safe and energy-efficient aviation (, talk)
Recollections	To Count or Not to Count: A Personal Perspective (, talk)
reconfigurable interaction	Modelling with Reconfigurable Communication Interfaces (, talk)
Register automata	Data Path Queries over Embedded Graph Databases (, talk)
Regular expressions	Rewriting of Regular Path Queries: The first paper of the four Italians (, talk)
Regular path queries	Data Path Queries over Embedded Graph Databases (, talk) Rewriting of Regular Path Queries: The first paper of the four Italians (, talk) Rewriting, Answering, and Losslessness: A Clarification by the “Four Italians” (, talk)
relational complexity	Fixpoint Logics, Relational Machines, and Computational Complexity (, talk)
relational databases	Approximations of Certain Answers in First-Order Logic (, talk)
relational machines	Fixpoint Logics, Relational Machines, and Computational Complexity (, talk)
representation learning	Logic and Languages for Representation Learning (, talk)
S
Safety	The Safety Fragment of LTL (, talk)
SAT-based reasoning	SAT-based Reasoning Techniques for LTL over Finite and Infinite Traces (, talk)
satisfiability	Understandable Proofs of Unsatisfiability (, talk)
satisfiability checking	SAT-based Reasoning Techniques for LTL over Finite and Infinite Traces (, talk)
Satisfiability Solvers	Bridging Practice and Theory in SAT: Moshe Vardi the Catalyst (, talk)
SDD	LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work (, talk)
sheaves and cohomology	From Kochen-Specker to Feder-Vardi (, talk)
situation calculus	Towards Combination of Logic and Calculus for Near-Optimal Planning in Relational Hybrid Systems (, talk)
Skolem Problem	Algorithms, Complexity, Verification: From Cook and Karp to Vardi; or, a Brief Glimpse of the Skolem Landscape (, talk)
SMT Solving	Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic (, talk)
Species Interaction Code	Natural Autoencoding (, talk)
specification	Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration (, talk)
Strategic Reasoning	Formal Aspects of Strategic Reasoning in MAS (, talk) Automated Synthesis of Mechanisms (, talk)
Strategy Logic	Formal Aspects of Strategic Reasoning in MAS (, talk) On the Extraordinary Effectiveness of Logic in Strategic Reasoning (, talk) Strategy Logic: Origin, Results, and Open Questions (, talk)
Strongly Connected Components (SCCs)	Divide-and-Conquer Determinization for B\"uchi Automata (, talk)
Survival of the Fitted	Natural Autoencoding (, talk)
Synthesis	SAT-based Reasoning Techniques for LTL over Finite and Infinite Traces (, talk) On the Extraordinary Effectiveness of Logic in Strategic Reasoning (, talk) Synthesis of plans for teams of manufacturing robots (, talk) Strategy synthesis for Global Window PCTL (, talk) LTLf? It's Easy! Precisely! (, )
Synthesis under Environment Specifications	LTLf Synthesis Under Environment Specifications (, talk)
T
Temporal Logic	On the Extraordinary Effectiveness of Logic in Strategic Reasoning (, talk)
Temporal logics	Formal Aspects of Strategic Reasoning in MAS (, talk)
temporal reasoning	On the Effectiveness of Logic in Algorithmic Graph Theory (, talk)
toasts	A Toast for Moshe at the FLoC VardiFest (, talk)
Training Deep Neural Networks	A Solver + Gradient Descent Training Algorithm for Deep Neural Network (, )
transition systems	Modelling with Reconfigurable Communication Interfaces (, talk)
translation	A Toast for Moshe at the FLoC VardiFest (, talk)
U
Undergraduate research project	12 Years and Counting: Samples from My Undergraduate Research Projec ()
Uniform sampling	12 Years and Counting: Samples from My Undergraduate Research Projec ()
user studies	Little Tricky Logic: Misconceptions in the Understanding of LTL (, talk)
V
Vardi	Data Complexity and Expressive Power of Ontological Reasoning Formalisms (, talk)
Vardifest	12 Years and Counting: Samples from My Undergraduate Research Projec ()
Verification	Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration (, talk) Verifying Accuracy Claims of Differential Privacy Algorithms (, talk)
view-based query answering	Rewriting, Answering, and Losslessness: A Clarification by the “Four Italians” (, talk)
view-based query processing	Rewriting, Answering, and Losslessness: A Clarification by the “Four Italians” (, talk)
W
Weisfeiler-Leman	From Kochen-Specker to Feder-Vardi (, talk)
Z
ZDD	Boolean Synthesis via Decision Diagrams (, talk)

Disclaimer | Powered by EasyChair Smart Program