Pre-FLoC workshops

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

  • Advancing Separation Logics

  • Parameterized Complexity and Computational Reasoning (PCCR)

  • ​​​​​​​​​​​​​​​​Symbolic Logic meets Machine Learning​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​

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

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)

FLoC 2022 Participating Workshops

Post-FLoC workshops

  • Workshop on Verification of Probabilistic Programs (VeriProP 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

© 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