We’re proud to annouce that our principal investigator Joël Ouaknine has received the LICS Test-of-Time Award for his 2005 paper “On the Decidability of Metric Temporal Logic”, co-authored with James Worrell.