Presburger Award Ceremony at ICALP'12

Mihai co-won the 2012 Presburger award (together with Venkat Guruswami), which was awarded this week at ICALP'12. Mihai was supposed to deliver an award talk at the conference. Instead, to honor Mihai's work, his  friend and frequent collaborator Mikkel Thorup gave a presentation that you can view here.