34th International Conference on Computer Aided Verification

Conference PC Chairs:

Sharon Shoham, Tel Aviv University

Yakir Vizel, Technion

28th International Conference on Principles and Practice of Constraint Programming

Conference PC Chairs:

Christine Solnon, INSA Lyon

35th IEEE Computer Security Foundations Symposium

Conference PC Chairs:

Stefano Calzavara, Università Ca’ Foscari Venezia
David Naumann, Stevens Institute of Technology

2022 International Workshop on Description Logics

Conference PC Chairs:

Martin Homola, Comenius University in Bratislava

Marie-Laure Mugnier, University of Montpellier

7th International Conference on Formal Structures for Computation and Deduction          

Conference PC Chairs:

Amy Felty, University of Ottawa

38th International Conference on Logic Programming 

Conference PC Chairs:

Yuliya Lierler, University of Nebraska Omaha
José F. Morales, IMDEA Software Institute

Conference PC Chairs:

Jasmin Blanchette, Vrije Universiteit Amsterdam
Laura Kovacs, TU Wien
Dirk Pattinson, Australian National University

19th International Conference on Principles of Knowledge Representation and Reasoning

Conference PC Chairs:

Gabriele Kern-Isberner, TU Dortmund
Tommie Meyer, University of Cape Town

37th Annual Symposium on Logic in Computer Science

Conference PC Chairs:

Christel Baier, TU Dresden

20th International Workshop on Non-Monotonic Reasoning

Conference PC Chairs:

Giovanni Casini, ISTI-CNR

Laura Giordano, Università del Piemonte Orientale

FLoC Conference Block1: August 02 – August 05, 2022

Int'l Conference on Principles and Practice of Constraint Programming (CP)

Int'l Conference on Formal Structures for Computation and Deduction (FSCD)

Int'l Conference on Logic Programming (ICLP)

Int’l Conf on Principles of Knowledge Representation and Reasoning (KR)

Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Int'l Conference on Theory and Applications of Satisfiability Testing (SAT)

 

FLoC Conference Block 2: August 07 – August 10, 2022

Int'l Conference on Computer Aided Verification (CAV)

IEEE Computer Security Foundations Symposium (CSF)

Int’l Workshop on Description Logics (DL)

Int'l Joint Conference on Automated Reasoning (IJCAR) - Only from Aug 08 to Aug 10

Int'l Conference on Interactive Theorem Proving (ITP)

Int’l Workshop on Non-Monotonic Reasoning (NMR) - Only from Aug 07 to Aug 09

FLoC 2022 Participating Conferences

© 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