top of page

Pre-FLoC workshops

  • 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS)

  • On The Not So Unusual Effectiveness of logic

  • Formal Methods Education Online (FOMEO'22)

  • 5th Workshop on 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

  • Meeting of the IFIP Working Group 1.6 (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)

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

  • Computing with Terms and Graphs (TERMGRAPH)

  • Probabilistic Logic Programming 

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

  • School on ​Logic Programming

  • 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

  • Belief Change, Ontology Repair and Evolution

  • DatalogMTL: Theory and Practice of Temporal Reasoning 

  • Parameterized Complexity and Computational Reasoning (PCCR)​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​

  • Assumption-Based Nonmonotonic Reasoning

  • 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)

  • School on ​Logic Programming

  • 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?

  • Workshop on Logic-based Methods in Machine Learning (LMML)

  • Proof Complexity

  • 13th Pragmatics of SAT workshop

  • Proof Complexity

  • International Workshop on Quantified Boolean Formulas and Beyond (QBF Workshop)

​​

July 31st

Aug 1st

CAV

CAV

FSCD

ICLP

ICLP

CAV

CSF

CAV

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)

  • 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)

  •  11th Workshop on Synthesis (SYNT2022)

​

  • 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)

  • Satisfiability Modulo Theories Workshop

  • 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

  • Isabelle Workshop 2022

  • 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

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.

bottom of page