Pre-FLoC workshops
-
5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS)
-
5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS)
-
Probabilistic Logic Programming
-
2nd Workshop on Goal-directed Execution of Answer Set Programs (GDE’22)
-
Parameterized Complexity and Computational Reasoning (PCCR)
-
3Rd Workshop On Explainable Logic-Based Knowledge Representation (XLOKR 2022)
-
Hybrid Temporal Situation Calculus for Planning with Continuous Processes: Semantics
-
Parameterized Complexity and Computational Reasoning (PCCR)
-
Referring Expressions in Artificial Intelligence and Knowledge Representation Systems
-
CAUSAL 2022
-
Workshop on Epistemic Extensions of Logic Programming (EELP)
-
Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2022)
-
How and why to teach logic for CS students?
-
Decidable Fragments of First-order Modal Logic (DECFOML)
-
How and why to teach logic for CS students?
-
International Workshop on Quantified Boolean Formulas and Beyond (QBF Workshop)
July 31st
Aug 1st
CAV
CAV
FSCD
ICLP
ICLP
CAV
CSF
CAV
CSF
ICLP
KR
LICS
SAT
FSCD
FSCD
KR
LICS
SAT
CAV
CAV
ICLP
ICLP
CAV
CP
-
Workshop on Constraint Modelling and Reformulation (ModRef 2022)
FLoC 2022 Participating Workshops
Post-FLoC workshops
-
3rd Workshop on Democratizing Software Verification (DSV)
-
Workshop on Program Equivalence and Relational Reasoning (PERR)
-
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)
-
Theorem Proving Components for Educational Software (ThEdu'22)
-
Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022)
-
Workshop on Termination (WST 2022)
-
Practical Aspects of Automated Reasoning (PAAR-2022)
-
4th Workshop on Interpolation: From Proofs to Applications (iPRA 2022)
-
Seventh Workshop on Satisfiability Checking and Symbolic Computation (SC²)
-
The 36th International Workshop on Unification (UNIF 2022)
-
Workshop on Termination (WST 2022)
-
Practical Aspects of Automated Reasoning (PAAR-2022)
-
Satisfiability Modulo Theories Workshop
-
The Coq Workshop 2022
-
Workshop on Counting and Sampling
Aug 11th
Aug 12th
CAV
IJCAR
ITP
SAT
CSF
CAV
IJCAR
ITP
CAV
IJCAR
ITP
CSF
Fully virtual workshops
Connections between Epistemic Logic and Topology (LICS) >>
Dynamic Logic: new trends and applications (4th edition of DaLi) (LICS) >>
Advances in Separation Logic (IJCAR) >>
registration for virtual events are handled by each workshop.