Priser
Søgeresultater
-
2018
Best Paper Award
Bacci, Giovanni (Modtager), Larsen, Kim Guldstrand (Modtager), Markey, N. (Modtager), Bouyer, P. (Modtager), Fahrenberg, U. (Modtager) & Reynier, P. (Modtager), 17 jul. 2018
Pris: Konferencepriser
-
Distinguished Program Comitee Member (Level 2) at International Joint Conference on Artificial Intelligence
Torralba, Alvaro (Modtager), 2018
Pris: Øvrige priser
-
EuroSys Test of Time Award
Julia Lawall (Modtager), Gilles Muller (Modtager), Hansen, René Rydhof (Modtager) & Yoann Padioleau (Modtager), 2018
Pris: Konferencepriser
-
2016
Honorable Mention in ICAPS Best Dissertation Award 2016.
Torralba, Alvaro (Modtager), 2016
Pris: Forsknings- uddannelses og innovationspriser
-
-
Second Prize on the First Unsolvability International Planning Competition
Torralba, Alvaro (Modtager), 2016
Pris: Øvrige priser
-
2015
Best Paper Award at the 8th Symposium on Combinatorial Search
Torralba, Alvaro (Modtager), 2015
Pris: Konferencepriser
-
2014
Second Prize on the Optimal track of the 8th international planning competition
Torralba, Alvaro (Modtager), 2014
Pris: Øvrige priser
-
Winner of the optimal track on the International Planning Competition 2014
Torralba, Alvaro (Modtager), 2014
Pris: Øvrige priser
-
2013
Best Paper Award at the 6th Symposium on Combinatorial Search
Torralba, Alvaro (Modtager), 2013
Pris: Konferencepriser
-
2007
Honary Doctorate: for his contributions to Embedded Systems verification
Larsen, Kim Guldstrand (Modtager), 27 nov. 2007
Pris: Øvrige priser
-
-
-