abstract pattern with 0s and 1s on a dark blue background
July 31, 2022 August 12, 2022

Microsoft at FLoC 2022

Israel Daylight Time (UTC +3)

Location: Haifa, Israel

Microsoft is proud to be a sponsor of the 34th International Conference on Computer Aided Verification (opens in new tab), and part of the Federated Logic Conference (FLoc) 2022 (opens in new tab).

The Federated Logic Conference brings together several leading international conferences related to mathematical logic and computer science. FLoC 2022 includes 12 conferences, including CAV 2022 which is the 34th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. FLoC is held every four years and involves thousands of students and researchers from industry and academia.

Program Committee

Andrey Rybalchenko, Nikolaj Bjorner, Shuvendu Lahiri