Announcements & Highlights
-
Date
09/05/2023 Title
Baier, Haverkort, Hermanns, and Katoen Win the 2023 Jean-Claude Laprie Award -
Date
08/05/2023 Title
Accepted Paper by Jan-Christoph Kassing -
Date
08/05/2023 Title
Accepted Paper by Eran Rosenbluth -
Date
08/05/2023 Title
Accepted Paper by Tabea Brandt -
Date
05/05/2023 Title
Accepted Paper by Christopher Morris, Floris Geerts, Jan Tönshoff and Martin Grohe -
Date
02/05/2023 Title
Accepted Paper by Alexander Bork et al. -
Date
02/05/2023 Title
Accepted Paper by Tobias Winkler and Joost-Pieter Katoen -
Date
21/04/2023 Title
Best Student Paper Award for Komal Muluk -
Date
09/02/2023 Title
Accepted Paper by Tobias Winkler -
Date
01/02/2023 Title
WoCa Lunch awarded Brigitte Gilles Prize -
Date
13/01/2023 Title
Accepted Paper by Qihui Feng and Daxin Liu -
Date
13/01/2023 Title
Accepted Paper by Tobias Winkler and Joost-Pieter Katoen -
Date
13/01/2023 Title
Till Hoffmann receives the Young Researcher Award 2022 -
Date
06/01/2023 Title
Accepted Paper by Till Hoffmann and Vaishak Belle -
Date
13/12/2022 Title
Accepted paper by Tabea Krabs, Christina Büsing & Sigrid Knust -
Date
09/12/2022 Title
Accepted Paper by Till Hoffmann and Stefan Schupp -
Date
09/12/2022 Title
Accepted Paper by Tim Seppelt -
Date
02/12/2022 Title
Michael Schaub being accepted to the Young College of the North Rhine-Westphalian Academy of Sciences and Arts -
Date
24/11/2022 Title
Nils Nießen in the VDI podcast "TECHNIK AUFS OHR": "Kapazitäten für die Mobilitätswende: Wie bekommen wir mehr auf die Schiene?" -
Date
24/10/2022 Title
Completed doctorate: Daxin Liu -
Date
24/10/2022 Title
Completed doctorate: Rebecca Haehn -
Date
06/10/2022 Title
Paper "Approximate symbolic model checking of continuous-time Markov chains" is one of the most influential papers of the period -
Date
21/09/2022 Title
Matthias Volk receives the Manfred Nagl Prize for his dissertation -
Date
12/09/2022 Title
*** Ehrung der UnRAVeL-Doktoren bei der 50-Jahr-Feier *** -
Date
26/08/2022 Title
Abgeschlossene Promotion: Janosch Fuchs -
Date
20/08/2022 Title
LuFG i2 wins the "Termination and Complexity Competition" at FLoC 2022 -
Date
28/07/2022 Title
Seventh world championship title for Aachen-based Carologistics at the RoboCup 2022 Thailand in the Logistics League -
Date
11/05/2022 Title
Congrats to Joost-Pieter Katoen as new member of the North Rhine-Westphalian Academy of Sciences, Humanities, and the Arts -
Date
29/04/2022 Title
Congratulation to UnRAVeL PI Martin Grohe for the ERC Advanced Grants -
Date
28/04/2022 Title
Completed doctorate: Matthias Volk -
Date
04/04/2022 Title
Gerhard Woeginger has passed away -
Date
17/12/2021 Title
Best Tool Paper Award for Till Hofmann and Stefan Schupp -
Date
09/11/2021 Title
A toast to UnRAVeL: Prolongation has been granded -
Date
25/10/2021 Title
UnRAVel Alumnus Benjamin Kaminski now professor of theoretical computer Science at Saarland University -
Date
23/09/2021 Title
Completed doctorate: Martin Ritzert -
Date
06/09/2021 Title
Completed doctorate: Vipin Ravindran Vijayalakshmi -
Date
24/08/2021 Title
Completed doctorate: Peter Lindner -
Date
23/07/2021 Title
Completed doctorate: Richard Wilke -
Date
06/07/2021 Title
Doctorate with Distinction: Marcel Hark -
Date
29/06/2021 Title
Carologistics wins first hybrid RoboCup Logistics League World Cup 2021 -
Date
07/05/2021 Title
Doctorate with Distinction: Martin Comis -
Date
04/03/2021 Title
UnRAVeL in an article on RWTH Aachen University in the "Zeit" magazine -
Date
02/03/2021 Title
2. place in the innovation award for STORM -
Date
18/02/2021 Title
Completed doctorate: Anton Pirogov -
Date
10/02/2021 Title
Congrats to Joost-Pieter Katoen as new member of the Royal Holland Society of Sciences and Humanities -
Date
19/01/2021 Title
Congrats to Joost-Pieter Katoen as ACM Fellow! -
Date
25/11/2020 Title
The book on Foundations of Probabilistic Programming, a collection of survey papers is now available -
Date
04/11/2020 Title
Fruitful Agreement with the RTG QuantLA -
Date
30/10/2020 Title
The Ackermann Award 2020 is given to UnRAVeL alumnus Benjamin Kaminski -
Date
30/10/2020 Title
Doctorate with Distinction: Laura Vargas Koch -
Date
21/10/2020 Title
UnRAVeL Broschure -
Date
02/10/2020 Title
3rd Place TRA VISIONS 2020 Young Researcher Competition -
Date
19/06/2020 Title
UnRAVeL members with a Storm Tutorial at YouTube -
Date
26/03/2020 Title
Cancelled: Girls Day 2020 -
Date
12/03/2020 Title
Accepted Paper by Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen and Peter Lindner -
Date
03/03/2020 Title
Doctorate with Distinction: Norman Weik -
Date
19/02/2020 Title
RWTH-Lehrpreis 2019 for CAMMP -
Date
13/02/2020 Title
Promotion with Distinction: Sebastian Junges -
Date
27/11/2019 Title
Nils Nießen in the newspaper -
Date
17/10/2019 Title
Accepted Paper by Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl and Joost-Pieter Katoen -
Date
09/10/2019 Title
Christina Büsing in the newspaper -
Date
01/10/2019 Title
New Workflow for Business Trips -
Date
25/09/2019 Title
Promotion with Honors: Stefan Schupp -
Date
12/09/2019 Title
Best Paper Award at FMICS for Matthias Volk, Norman Weik, Joost-Pieter Katoen, and Nils Nießen -
Date
04/09/2019 Title
10 travelling scholarships for "European Women in Tech" -
Date
10/07/2019 Title
Carologistics Team regained the world title in the Robocup Logistics League in Sydney -
Date
31/05/2019 Title
Best Paper Award for Christof Löding and Anton Pirogov -
Date
31/05/2019 Title
RWTH Prize for Family-Friendly Management goes to Christina Büsing -
Date
31/05/2019 Title
Video: "Mit Algorithmen gegen Zugverspätung" -
Date
12/05/2019 Title
Strong comeback of Carologistics at the German Open of the RoboCup Logistics League -
Date
10/04/2019 Title
RWTH Teaching Award 2018 for Christina Büsing -
Date
09/04/2019 Title
Award: Silver for Laura Vargas Koch at the Judo Grand Prix in Tiflis -
Date
09/04/2019 Title
Lecture and discussion series: "Artificial Intelligence and Global Security: Quo Vadis?" -
Date
20/03/2019 Title
The MFCS 2019 - call for papers are open -
Date
14/03/2019 Title
Workshop on Theory and Algorithms in Graph and Stochastic Games -
Date
27/02/2019 Title
Published Paper by Martin Comis -
Date
08/02/2019 Title
Promotion with honors: Benjamin Kaminski -
Date
03/02/2019 Title
Aachener Nachrichten: “power of algorithms” -
Date
23/01/2019 Title
English Courses in the non-lecture period -
Date
23/01/2019 Title
*** „Gender in algorithmischen Systemen", vierter Fachtag im Projekt GEWINN *** -
Date
10/01/2019 Title
ELVA in the press -
Date
19/12/2018 Title
Published Paper by Martin Ritzert -
Date
19/12/2018 Title
Best Student Paper Award für Norman Weik und Nils Nießen -
Date
15/11/2018 Title
Published Paper by Laura Vargas Koch -
Date
07/11/2018 Title
Paper by Martin Grohe and Peter Lindner accepted for publication in PODS 2019 -
Date
26/09/2018 Title
Anton Pirogov gains FTI-Preis -
Date
22/08/2018 Title
Research Internship 2019 - Cooperation between the DFG programme of the Research Training Group and the DAAD programme RISE -
Date
30/07/2018 Title
The SMT solver SMT-RAT won the first place in the Main Track in the division QF_NIRA in the 13th International Satisfiability Modulo Theories Competition 2018 -
Date
30/07/2018 Title
Erika Ábrahám elected member of NSERC -
Date
30/07/2018 Title
The Caro SMT team won first place in the Planning and Execution Competition for Logistics Robots in Simulation -
Date
25/07/2018 Title
Joost-Pieter was appointed as member of the Dagstuhl Scientific Advisory Board -
Date
23/07/2018 Title
AProVE has won all 3 medals -
Date
16/07/2018 Title
Two new UnRAVeL-PhD Candidates: Jip Spel and Daxin Liu -
Date
05/07/2018 Title
Survey Lecture: Probabilistic Robotics -
Date
02/07/2018 Title
DFG Funding Opportunities for early Career Researchers -
Date
22/06/2018 Title
Call for Papers -
Date
20/06/2018 Title
Six papers from UnRAVeL-members have been accepted -
Date
15/06/2018 Title
Paper "On finitely ambiguous Büchi automata" accepted at DLT 2018 -
Date
24/05/2018 Title
Guest Talk: Guillermo A. Pérez -
Date
23/05/2018 Title
Guest Talk: Alessandro Abate: Formal verification and learning of complex systems -
Date
14/05/2018 Title
Visiting Scientist: Prof. Milan Češka -
Date
08/05/2018 Title
Carologistics defend the championship title at the German Open -
Date
03/05/2018 Title
Interview with Gerhard Lakemeyer in FAZ -
Date
02/05/2018 Title
Event programme for the summer semester research funding is online -
Date
28/04/2018 Title
Scientific Writing in English Registration -
Date
18/04/2018 Title
Published Paper: Competitive Packet Routing with Priority Lists -
Date
13/04/2018 Title
Reading Groups -
Date
12/04/2018 Title
First UnRAVeL-Survey Lecture of summer semester 2018 -
Date
10/04/2018 Title
ERC Advanced Grant for Joost-Pieter Katoen -
Date
09/04/2018 Title
Christina Büsing principal investigator of UnRAVeL -
Date
25/03/2018 Title
Invitation to the GIBU Annual Conference -
Date
13/03/2018 Title
Supervision Agreements now online -
Date
21/02/2018 Title
Promotion with honors: Stefan Wüller -
Date
03/01/2018 Title
Visiting Scientist: Prof. Maurice van Keulen -
Date
11/12/2017 Title
Martin Grohe has been appointed ACM Fellow -
Date
02/12/2017 Title
Tokyo Grand Slam 2017 -
Date
01/12/2017 Title
Award of the best self-consistent teaching -
Date
01/12/2017 Title
Award of the best supporting teaching -
Date
10/11/2017 Title
„5 to 12“ RWTH Science Night -
Date
07/11/2017 Title
ICT Young Researcher Award -
Date
01/10/2017 Title
New edition of best-practice-booklet „More Women in Informatics Research and Education“ -
Date
01/10/2017 Title
UnRAVeL Bachelor Thesis Certificate -
Date
01/04/2017 Title
Norman Weik Awards