Prizes
Search results
-
-
-
Best Paper Award
Bacci, Giovanni (Recipient), Larsen, Kim Guldstrand (Recipient), Markey, N. (Recipient), Bouyer, P. (Recipient), Fahrenberg, U. (Recipient) & Reynier, P. (Recipient), 17 Jul 2018
Prize: Conference prizes
-
Best Paper Award at the 6th Symposium on Combinatorial Search
Torralba, Alvaro (Recipient), 2013
Prize: Conference prizes
-
Best Paper Award at the 8th Symposium on Combinatorial Search
Torralba, Alvaro (Recipient), 2015
Prize: Conference prizes
-
Distinguished Program Comitee Member (Level 2) at International Joint Conference on Artificial Intelligence
Torralba, Alvaro (Recipient), 2018
Prize: Other prizes
-
EuroSys Test of Time Award
Lawall, J. (Recipient), Muller, G. (Recipient), Hansen, René Rydhof (Recipient) & Padioleau, Y. (Recipient), 2018
Prize: Conference prizes
-
Honary Doctorate: for his contributions to Embedded Systems verification
Larsen, Kim Guldstrand (Recipient), 27 Nov 2007
Prize: Other prizes
-
Honorable Mention in ICAPS Best Dissertation Award 2016.
Torralba, Alvaro (Recipient), 2016
Prize: Research, education and innovation prizes
-
ICAPS 2016 Outstanding Student Paper Award
Torralba, Alvaro (Recipient), 2016
Prize: Conference prizes
-
Ridder af Dannebrog
Larsen, Kim Guldstrand (Recipient), 1 Aug 2007
Prize: Honorary prizes and appointments
-
Second Prize on the First Unsolvability International Planning Competition
Torralba, Alvaro (Recipient), 2016
Prize: Other prizes
-
Second Prize on the Optimal track of the 8th international planning competition
Torralba, Alvaro (Recipient), 2014
Prize: Other prizes
-
Winner of the optimal track on the International Planning Competition 2014
Torralba, Alvaro (Recipient), 2014
Prize: Other prizes