top of page

FLoC 2022 Participating Workshops

Pre-FLoC workshops

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

  • On The Not So Unusual Effectiveness of logic

  • FOMEO'22

  • 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

  • DatalogMTL: Theory and Practice of Temporal Reasoning 

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

  • SYNT

  • 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

bottom of page