Please join Rice CS Prof Moshe @Vardi for a discussion on how to be an ethical computer scientist. The talk is part of Moshe Vardifest, a FLoC2022 workshop celebrating Vardi's work. The talk can be seen online Aug 1st at 17:10, Israeli time (9:10am CDT). bit.ly/VardiFest

[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-…

*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 😎🏖️

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 CP2025

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…

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

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

Don't miss tomorrow's special event on Diversity, Equity and Inclusion (DEI) & the Constraint Programming community CP2025 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

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

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 😁

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.

That is it..! FLoC 2022 completed successfully... *Achievement Unlocked* ✨ Farewell and thanks to everyone who participated and attended, we miss you already. 🤍

"Where'd evr'one go?"