top of page

FLoC 2022 Participating Workshops

Pre-FLoC workshops

  •  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 (TEMGRAPH 2022)

  • Probabilistic Logic Programming 

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

  • Advancing Separation Logics

  • Parameterized Complexity and Computational Reasoning (PCCR)

  • 3Rd Workshop On Explainable Logic-Based Knowledge Representation (XLOKR 2022)

  • Hybrid Temporal Situation Calculus for Lifted Temporal Planning

  • Belief Change, Ontology Repair and Evolution

  • DatalogMTL: Theory and Practice of Temporal Reasoning 

  • Parameterized Complexity and Computational Reasoning (PCCR)

  • 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 on Epistemic Extensions of Logic Programming (EELP)

  • Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2022)

  • Connections between Epistemic Logic and Topology

  • Dynamic Logic: new trends and applications (4th edition of DaLi)

  • How and why to teach logic for CS students?

  •  Decidable Fragments of First-order Modal Logic

  • Connections between Epistemic Logic and Topology

  • Dynamic Logic: new trends and applications (4th edition of DaLi)

  • 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

  • Proof Complexity

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

July 31st

Aug 1st

CAV

CAV

FSCD

ICLP

ICLP

IJCAR

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)

  • Decision Optimisation under Uncertainty

  • The Sixth Workshop on Progress Towards the Holy Grail

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

  • Seventh Workshop on Satisfiability Checking and Symbolic Computation

  • Workshop on Interpolation

  •  The 36th International Workshop on Unification (UNIF 2022)

​​

  • Workshop on Termination (WST 2022)

  • Practical Aspects of Automated Reasoning (PAAR-2022)

  • Satisfiability Modulo Theories Workshop

  •  Proof Ground

  • The Coq Workshop 2022

  • Shared proof libraries

  • 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

bottom of page