FLoC2022
@FLoC2022
Federated Logic Conferences 2022
Haifa, Israel
ID:1251091607576891392
17-04-2020 10:14:49
32 Tweets
227 Followers
0 Following
Alexandra Silva SAT Conference FLoC2022 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
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