FLoC 2022 IS COMING

 

During the past forty years, there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with a unifying foundational framework and modeling tools.


In fact, logic has been called “the calculus of computer science", playing a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.

The Federated Logic Conference brings together several leading international conferences related to mathematical logic and computer science.

FLoC2022 includes 12 conferences and over 60 workshops on topics of software/hardware verification and logic for computer science.

The Department of Computer Science at the Technion campus on Haifa is proud to host FLoC 2022. The department’s research activities strongly feature both logic and verification.
 

FLoC is held every four years and involves thousands of students and researchers from industry and academia.

Past instances of FLoC were held at top universities such as Oxford (2018), Vienna (2014), Edinburgh (2010), Seattle (2006) etc.

FloC2022 will be a physical conference

The FLoC organizing committee will make every possible effort to ensure everyone is able to attend in person. 
We are, however, very much aware that there might be members of the community who cannot travel to Israel.

FLoC 2022 SPONSORS

Silver

Bronze

Bronze

Bronze

DIAMOND SPONSORS

GOLD SPONSORS

SILVER SPONSORS

MENTORING WORKSHOP SPONSORS

OTHER SPONSORS

BRONZE SPONSORS

To find out more about sponsorship opportunities, please contact our funding chair, Hana Chockler

© 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