FLoC 2022 Participating Workshops
Pre-FLoC workshops
-
Formal Methods for ML-Enabled Autonomous Systems (FoMLAS)
-
On The Not So Unusual Effectiveness of logic
-
Formal Methods for ML-Enabled Autonomous Systems (FoMLAS)
-
On The Not So Unusual Effectiveness of logic
-
Third Joint International Workshop Linearity-TLLA
-
Homotopy Type Theory/Univalent Foundations
-
IFIP-WG1.6
-
Ninth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2022)
-
Women in Logic 2022
-
Third Joint International Workshop Linearity-TLLA
-
Homotopy Type Theory/Univalent Foundations
-
11th International Workshop on Confluence (IWC 2022)
-
LFMTP (International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice)
-
TERMGRAPH 2022
-
Probabilistic Logic Programming - a Workshop at ICLP 2022
-
2nd Workshop on Goal-directed Execution of Answer Set Programs (GDE’22)
-
Advancing Separation Logics
-
PCCR workshop (Parameterized Complexity and Computational Reasoning
-
3Rd Workshop On Explainable Logic-Based Knowledge Representation (XLOKR 2022)
-
Hybrid Temporal Situation Calculus for Lifted Temporal Planning
-
Belief Change, Ontology Repair and Evolution
-
PCCR workshop (Parameterized Complexity and Computational Reasoning
-
3Rd Workshop On Explainable Logic-Based Knowledge Representation (XLOKR 2022)
-
Symbolic Logic meets Machine Learning
-
Assumption-Based Nonmonotonic Reasoning
-
Principles and Practice of Explainable Machine Learning
-
Referring Expressions in Articial Intelligence and Knowledge Representation Systems
-
2nd edition of the workshop on Machine Ethics and Explainability, The Role of Logic Programming (MEandE-LP)
-
CAUSAL 2022 Workshop
-
Workshop on Epistemic Extensions of Logic Programming (EELP)
-
ASPOCP 2022
-
Connections between Epistemic Logic and Topology
-
DaLí
-
How and why to teach logic for CS students?
-
LiCS Workshop: Decidable Fragments of First-order Modal Logic
-
Connections between Epistemic Logic and Topology
-
DaLí
-
How and why to teach logic for CS students?
-
DaLFI: Duality and Logic in the passage from the Finite to the Infinite
-
LMML
-
Proof Complexity
-
13th Pragmatics of SAT workshop
-
QBF
-
Proof Complexity
July 31st
Aug 1st
CAV
CAV
FSCD
ICLP
ICLP
IJCAR
KR
LICS
SAT
CAV
CSF
CAV
CAV
CSF
ICLP
KR
LICS
SAT
FSCD
FSCD
KR
LICS
SAT
CAV
CAV
ICLP
ICLP
Post-FLoC workshops
-
3rd Workshop on Democratizing Software Verification (DSV)
-
Workshop on Program Equivalence and Relational Reasoning (PERR)
-
Parallel and Distributed Automated Reasoning
-
15th International Workshop on Numerical Software Verification (NSV-XV)
-
Formal Reasoning in Distributed Algorithms (FRIDA) 2022
-
4th International Workshop on Formal Methods for Blockchains (FMBC)
-
Workshop on Open Problems in Learning and Verification of Neural Networks (WOLVERINE)
-
Workshop on Verification of Probabilistic Programs (VeriProp 2022)
-
ThEdu'22
-
Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) -- Proposal for an IJCAR 2022 Workshop
-
WST 2022
-
Practical Aspects of Automated Reasoning (PAAR-2022)
-
Satisfiability Modulo Theories Workshop
-
Satisfiability Checking and Symbolic Computation
-
Workshop on Interpolation
-
UNIF 2022
-
WST 2022
-
Practical Aspects of Automated Reasoning (PAAR-2022)
-
Satisfiability Modulo Theories Workshop
-
Proof Ground Workshop Proposal
-
The Coq Workshop 2022
-
Shared proof libraries
-
Isabelle
-
Workshop on Counting and Sampling
Aug 11th
Aug 12th
CAV
IJCAR
ITP
SAT
CSF
CAV
IJCAR
ITP
CAV
IJCAR
ITP
CSF
-
A Festschrift in Honor of Joshua Guttman
-
A Festschrift in Honor of Joshua Guttman
-
Foundations of Computer Security