'Where'd evr'one go?'

That is it..! FLoC 2022 completed successfully... *Achievement Unlocked* ✨

Farewell and thanks to everyone who participated and attended, we miss you already. 🤍

Almost done... tomorrow would be the last day of FLoC with a sharp note of exciting workshops. For those who are already on their way back home, safe travel. Good times.

I am honored to have been awarded (along with Susanne Graf tinyurl.com/2p98y84w) the 2022 Computer Aided Verification (CAV) award i-cav.org/cav-award/ for the invention of 'Predicate Abstraction' at FLoC2022.

Alexandra Silva SAT Conference FLoC2022 Bernardo Subercaseaux 🐒 @dleberre Stefan Szeider Kuldeep S. Meel @BenjaminKiesl

FLoC2022 Banquet was so much fun! Dancing was a nice surprise 😁

Fantastic women@FLOC dinner, thanks Nikolaj Bjorner and Microsoft for enabling this networking event! The atmosphere was great, stories were shared, and bonds formed. Together we are stronger! 1/3

Today was the last day of #KR2022 . Hope to see you all next year! FLoC2022

Don't miss tomorrow's special event on Diversity, Equity and Inclusion (DEI) & the Constraint Programming community CP2024 FLoC2022 ! We'll share very interesting results and have a strong panel with Helene Verhaeghe Verhaeghe Hélène, Luis Quesada & Noa Agmon. #floc22 #cp2022 #dei

Banquet at SAT Conference FLoC2022 with Bernardo Subercaseaux 🐒 @dleberre Stefan Szeider Kuldeep S. Meel @BenjaminKiesl

Another win for CAQE and QuAbS by Leander Tentrup and Markus N Rabe at this year’s QBF competition in the Olympic Games FLoC2022! Congrats! 👏🏻 Find out more at react.uni-saarland.de/tools

The main conference begins today. The first session, chaired by Armin Biere, is on QBF. In rest of the day, we will have sessions on applying SAT to Quantum circuits, the preprocessor, portfolio, and MaxSAT. An exciting day ahead at FLoC2022.

Ready to kick-off KR 2022! FLoC2022

It's a *cool, cool* summer here @ Technion

Join us at the FLoC Olympic Games; first session *this Wednesday* will include 8 logic-related competitions, affiliated with FSCD, ICLP, CP, and SAT. Godspeed to all the brave competitors.
floc2022.org/floc-olympic-g…

Start your FLoC2022 experience tomorrow by attending the Logic-based Methods in Machine Learning workshop (LMML) with a great lineup of invited talks. We‘ll have a gentle start, after the first morning coffee break. SAT Conference CP2024

*We Are Ready To Roll*
So excited to see everyone in Haifa next week for the first block of FLoC!
We are fortunate to have a forgiving 29°C (84°F), which is really not that bad for August. Don't forget your sunscreen 😎🏖️

[1/n] How better to break the no-in-person-conference streak than attending the Olympics of Formal Methods at FLoC2022 !!

Thrilled to be presenting lots of new work!

We'll have 8 awesome invited talks at the Workshop on Democratizing Software Verification collocated with CAV and FLoC2022. There'll be something for everyone and so check out the program at smackers.github.io/democratizing-…