Auf der Federated Logic Conference (FLoC) 2026 wurde die Publikation „Theory Solving Made Easy with Clingo 5“ mit dem 10 Years Test of Time Award ausgezeichnet. Herzlichen Glückwunsch an Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub und Philipp Wanko zu dieser besonderen Anerkennung.