- Eine Goldmedaille in der kombinierten SRS/TRS-Kategorie der Confluence Competition (CoCo) 2022 für CSI.
- Eine Goldmedaille in der Zertifizierungskategorie der Confluence Competition (CoCo) 2022 für FORTify. FORTify ist das Ergebnis eines kürzlich abgeschlossenen FWF-Projekts (FORTissimo).
- Eine Bronzemedaille in der Gesamtkategorie der Termination Competition (TermCOMP) 2022 für die Tools TTT2 / TCT.
Die FLoC Olympische Spiele finden alle vier Jahre im Rahmen der Federated Logic Conference statt. Sie versammeln anspruchsvolle Disziplinen aus verschiedenen Bereichen der Computerlogik in Form von Löserwettbewerben.
Die Föderierte Logik-Konferenz bringt mehrere führende internationale Konferenzen aus den Bereichen mathematische Logik und Informatik zusammen. Die FLoC 2022 umfasst 12 Konferenzen und über 60 Workshops zu Themen der Software/Hardware-Verifikation und Logik für die Informatik.