
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.

