STACS

42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)

Jena, March 04-07, 2025

Interactive Matching Challenge accomplished

We are proud to announce that the interactive matching challenge was won on the last day of STACS’25.

As chance would have it, the 40th match was found by Kim Thang Nguyen (Felix Mendelssohn Bartholdy) and Yuwei Liu (Johann Nepomuk Hummel).

Photo of Kim Thang Nguyen and Yuwei Lu together with Olaf Beyersdorff

Interactive Inference will therefore donate 1,000 € for STACS'26 in Grenoble. Thang as organiser of next STACS in Grenoble was particularly pleased by this outcome.

We would like to thank everyone for their active participation in the challenge. Our special thanks go to Marlene Gründel, who designed the challenge.

Preview of a leaflet for the matching challenge