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...
On behalf of FLoC2022 hosts - Technion CS Faculty | General chair - Alexandra Silva | Advisory chair - Moshe Vardi | Local co-chairs - Orna Grumberg and Eran Yahav | General administrative manager - Suzie Eid | all conferences chairs and members of the organizing, program and steering committees -and- FLoC2022 Organizing and production company - PREMIUM,
we want to thank you for participating in FLoC2022. Hope you enjoyed it as much as we did!!
You are invited to FLoC channel @YouTube to watch keynote talks
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.