CAV

• Symbolic Logic meets Machine Learning

• Formal Methods for ML-Enabled Autonomous Systems (FoMLAS) (Two Days)

• On The Not So Unusual Effectiveness of logic (Two Days)

FSCD

• 2022 Workshop Proposal: Foundations of Computer Security

• Assumption-Based Nonmonotonic Reasoning

• Principles and Practice of Explainable Machine Learning

​​

• LFMTP (International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice)

• FLoC workshop proposal: Third Joint International Workshop Linearity-TLLA

• Homotopy Type Theory/Univalent Foundations

ICLP

• 11th International Workshop on Confluence (IWC 2022)

• Principles and Practice of Explainable Machine Learning

• Probabilistic Logic Programming - Proposal for a Workshop at ICLP 2022

• Workshop Proposal 2nd Workshop on Goal-directed Execution of Answer Set Programs (GDE’22)

IJCAR

• Advancing Separation Logics

KR

• Hybrid Temporal Situation Calculus for Lifted Temporal Planning

• PCCR workshop (Parameterized Complexity and Computational Reasoning

• 3RD WORKSHOP ON EXPLAINABLE LOGIC-BASED KNOWLEDGE REPRESENTATION (XLOKR 2022)

• Belief Change, Ontology Repair and Evolution

LICS

• How and why to teach logic for CS students?

• Connections between Epistemic Logic and Topology

• DaLí

• LiCS Workshop Proposal: Decidable Fragments of First-order Modal Logic

SAT

• LMML

• Proof Complexity