The Taub Faculty of Computer Science Events and Talks

FLOC 2022: The Eighth Federated Logic Conference (FLoC 2022,July 31-August 12, 2022, Haifa, Israel) Hosted by the Henry and Marilyn Taub Faculty of Computer Science at the Technion ABOUT FLOC 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 both a unifying foundational framework and a tool for modeling. 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 international conferences related to mathematical logic and computer science and was first organized in 1996, as part of the DIMACS Special Year on Logic and Algorithms. Since then FLoC was held in Trento in 1999, Copenhagen in 2002, Seattle in 2006, Edinburgh in 2010, Vienna in 2014, and Oxford in 2018. REGULAR REGISTRATION CLOSES on 20th July 2022. ON-SITE REGISTRATION will be possible during the conference. Details, program and registration.