Pawel Urzyczyn
Christoph Buchheim, Giovanni Rinaldi
Martin P. Smith, Martin Smith
Uwe Bubeck, Hans Kleine Büning
Haibing Lu, Jaideep Vaidya, Vijayalakshmi Atluri
D. H. Green
Rune Dahl Fitjar, Einar Leknes, Janne Thygesen
J.A. Bergstra, C.A. Middelburg
Mohammad Hamidi, Marzieh Rahmati, Akbar Rezaei
Sanjit A. Seshia, K. Subramani, Randal E. Bryant
