FLoC 2022 Participating Workshops

Pre-FLoC workshops

July 31st

  • FOMEO'22

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

  • On The Not So Unusual Effectiveness of logic (Two Days)

FSCD

  • IFIP-WG1.6

  • Women in Logic 2022

  • Ninth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2022)

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

  • FLoC workshop proposal: Third Joint International Workshop Linearity-TLLA

  • Homotopy Type Theory/Univalent Foundations

  • CAUSAL 2022 Workshop Proposal

  • Workshop on Epistemic Extensions of Logic Programming (EELP)

  • ASPOCP 2022

  • 2nd edition of the workshop on Machine Ethics and Explainability, The Role of Logic Programming (MEandE-LP)

IJCAR

  • Advancing Separation Logics

KR

  • Hybrid Temporal Situation Calculus for Lifted Temporal Planning

  • PCCR workshop (Parameterized Complexity and Computational Reasoning

  • 3RD WORKSHOP ON EXPLAINABLE LOGIC-BASED KNOWLEDGE REPRESENTATION (XLOKR 2022)

  • Belief Change, Ontology Repair and Evolution

  • How and why to teach logic for CS students?

  • Connections between Epistemic Logic and Topology

  • DaLí

  • LiCS Workshop Proposal: Decidable Fragments of First-order Modal Logic

SAT

  • LMML

  • Proof Complexity

Aug 1st

  • Symbolic Logic meets Machine Learning

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

  • On The Not So Unusual Effectiveness of logic (Two Days)

FSCD

  • 2022 Workshop Proposal: Foundations of Computer Security

  • Assumption-Based Nonmonotonic Reasoning

  • Principles and Practice of Explainable Machine Learning

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

  • FLoC workshop proposal: Third Joint International Workshop Linearity-TLLA

  • Homotopy Type Theory/Univalent Foundations

  • 11th International Workshop on Confluence (IWC 2022)

  • Principles and Practice of Explainable Machine Learning

  • Probabilistic Logic Programming - Proposal for a Workshop at ICLP 2022

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

IJCAR

  • Advancing Separation Logics

KR

  • Hybrid Temporal Situation Calculus for Lifted Temporal Planning

  • PCCR workshop (Parameterized Complexity and Computational Reasoning

  • 3RD WORKSHOP ON EXPLAINABLE LOGIC-BASED KNOWLEDGE REPRESENTATION (XLOKR 2022)

  • Belief Change, Ontology Repair and Evolution

  • How and why to teach logic for CS students?

  • Connections between Epistemic Logic and Topology

  • DaLí

  • LiCS Workshop Proposal: Decidable Fragments of First-order Modal Logic

SAT

  • LMML

  • Proof Complexity

  • FOMEO'22

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

  • On The Not So Unusual Effectiveness of logic

July 31st

Aug 1st

SPONSORS

© FLOC 2022 - All rights reserved to Technion - Israel Institute of Technology

Designed and powered by PREMIUM

If you have any inquires please contact us at  

floc2022@technion.ac.il

  • Facebook
  • Twitter
  • YouTube
  • Pinterest
  • Tumblr Social Icon
  • Instagram