ย 

All individuals arriving to FLoC, please take note of the COVID-19 guidelines currently in effect in Israel.
Most importantly, completing the COVID form 24 hours prior to entry, and an adequate health insurance.

Updates... Updates... Updates...
Shuttle service from the hotels to the Technion and back - open for all FLoC22 participants - for time table check the shuttles page

 

โ€‹

Pictures from FLoC Block A uploaded
 

Welcome to FLoC2022: The 8th Federated Logic Conference 
July 31 - August 12, 2022  | Technion, Haifa, Israel


The conference venue is at the beautiful Technion-Israel Institute of Technology campus, on top of Mount Carmel in Haifa.

โ€‹

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 is 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

Bronze

DIAMOND SPONSORS

GOLD SPONSORS

SILVER SPONSORS

MENTORING WORKSHOP SPONSORS

OTHER SPONSORS

BRONZE 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
  • Instagram
ย