Meldungen & Highlights
-
Datum
01.08.2023 Meldung
Akzeptiertes Paper von Lina Gerlach -
Datum
01.08.2023 Meldung
Akzeptiertes Paper von Jasper Nalbach -
Datum
21.07.2023 Meldung
Akzeptiertes Paper von Daxin Liu -
Datum
11.07.2023 Meldung
Joost-Pieter Katoen im Landtag NRW -
Datum
07.07.2023 Meldung
Abgeschlossene Promotion: Jip Spel -
Datum
03.07.2023 Meldung
Akzeptiertes Paper von Tim Seppelt -
Datum
05.06.2023 Meldung
UnRAVeL Spring Workshop 2023 -
Datum
23.05.2023 Meldung
Akzeptiertes Paper von Daxin Liu, Qihui Feng, Vaishak Belle und Gerhard Lakemeyer -
Datum
09.05.2023 Meldung
Baier, Haverkort, Hermanns, and Katoen Win the 2023 Jean-Claude Laprie Award -
Datum
08.05.2023 Meldung
Akzeptiertes Paper von Jan-Christoph Kassing -
Datum
08.05.2023 Meldung
Akzeptiertes Paper von Eran Rosenbluth -
Datum
08.05.2023 Meldung
Akzeptiertes Paper von Tabea Brandt -
Datum
05.05.2023 Meldung
Akzeptiertes Paper von Christopher Morris, Floris Geerts, Jan Tönshoff and Martin Grohe -
Datum
02.05.2023 Meldung
Akzeptiertes Paper von Alexander Bork et al. -
Datum
02.05.2023 Meldung
Akzeptiertes Paper von Tobias Winkler und Joost-Pieter Katoen -
Datum
21.04.2023 Meldung
Best Student Paper Award für Komal Muluk -
Datum
09.02.2023 Meldung
Akzeptiertes Paper von Tobias Winkler -
Datum
01.02.2023 Meldung
WoCa Lunch mit Brigitte-Gilles-Preis ausgezeichnet -
Datum
13.01.2023 Meldung
Akzeptiertes Paper von Qihui Feng und Daxin Liu -
Datum
13.01.2023 Meldung
Akzeptiertes Paper von Tobias Winkler und Joost-Pieter Katoen -
Datum
13.01.2023 Meldung
Till Hoffmann erhält den Young Researcher Award 2022 -
Datum
06.01.2023 Meldung
Akzeptiertes Paper von Till Hoffmann und Vaishak Belle -
Datum
13.12.2022 Meldung
Akzeptiertes Paper von Tabea Krabs, Christina Büsing & Sigrid Knust -
Datum
09.12.2022 Meldung
Akzeptiertes Paper von Till Hoffmann und Stefan Schupp -
Datum
09.12.2022 Meldung
Akzeptiertes Paper von Tim Seppelt -
Datum
02.12.2022 Meldung
Michael Schaub being accepted to the Young College of the North Rhine-Westphalian Academy of Sciences and Arts -
Datum
24.11.2022 Meldung
Nils Nießen im Podcast "TECHNIK AUFS OHR" des VDI: "Kapazitäten für die Mobilitätswende: Wie bekommen wir mehr auf die Schiene?" -
Datum
24.10.2022 Meldung
Abgeschlossene Promotion: Daxin Liu -
Datum
24.10.2022 Meldung
Abgeschlossene Promotion: Rebecca Haehn -
Datum
06.10.2022 Meldung
Papier "Approximative symbolische Modellprüfung von zeitkontinuierlichen Markov-Ketten" ist eine der einflussreichsten Arbeiten des Zeitraums 1998-2001 -
Datum
21.09.2022 Meldung
Matthias Volk erhält für seine Dissertation den Manfred-Nagl-Preis -
Datum
12.09.2022 Meldung
Ehrung der UnRAVeL-Doktoren bei der 50-Jahr-Feier -
Datum
26.08.2022 Meldung
Abgeschlossene Promotion: Janosch Fuchs -
Datum
20.08.2022 Meldung
LuFG i2 gewinnt die "Termination and Complexity Competition" bei der FLoC 2022 -
Datum
28.07.2022 Meldung
Siebter Weltmeistertitel für Aachener Carologistics beim RoboCup 2022 Thailand in der Logistics League -
Datum
11.05.2022 Meldung
Gratulation an Joost-Pieter Katoen als neues Mitglied der Nordrhein-Westfälischen Akademie der Wissenschaften und der Künste -
Datum
29.04.2022 Meldung
Gratulation an UnRAVeL Betreuer Prof. Martin Grohe für den ERC Advanced Grants -
Datum
28.04.2022 Meldung
Abgeschlossene Promotion: Matthias Volk -
Datum
04.04.2022 Meldung
UnRAVeL trauert um Gerhard Woeginger -
Datum
17.12.2021 Meldung
Best Tool Paper Award für Till Hofmann und Stefan Schupp -
Datum
09.11.2021 Meldung
Es darf gefeiert werden: UnRAVeL wurde verlängert -
Datum
25.10.2021 Meldung
UnRAVel Alumnus Benjamin Kaminski wird neuer Professor für Informatik an der Universität des Saarlandes -
Datum
23.09.2021 Meldung
Abgeschlossene Promotion: Martin Ritzert -
Datum
06.09.2021 Meldung
Abgeschlossene Promotion: Vipin Ravindran Vijayalakshmi -
Datum
24.08.2021 Meldung
Abgeschlossene Promotion: Peter Lindner -
Datum
23.07.2021 Meldung
Abgeschlossene Promotion: Richard Wilke -
Datum
06.07.2021 Meldung
Promotion mit Auszeichnung: Marcel Hark -
Datum
29.06.2021 Meldung
Carologistics gewinnt ersten hybriden RoboCup Logistics League World Cup 2021 -
Datum
07.05.2021 Meldung
Promotion mit Auszeichnung: Martin Comis -
Datum
04.03.2021 Meldung
UnRAVeL in einen Artikel über die RWTH Aachen in der "Zeit" -
Datum
02.03.2021 Meldung
2. Platz des Innovation Awards für STORM -
Datum
18.02.2021 Meldung
Abgeschlossene Promotion: Anton Pirogov -
Datum
10.02.2021 Meldung
Congrats to Joost-Pieter Katoen as new member of the Royal Holland Society of Sciences and Humanities -
Datum
19.01.2021 Meldung
Congrats to Joost-Pieter Katoen as ACM Fellow! -
Datum
25.11.2020 Meldung
The book on Foundations of Probabilistic Programming, a collection of survey papers is now available -
Datum
04.11.2020 Meldung
Fruchtbarer Austausch mit GRK QuantLA -
Datum
30.10.2020 Meldung
UnRAVel Alumnus Benjamin Kaminski erhält den Ackermann Award 2020 -
Datum
30.10.2020 Meldung
Promotion mit Auszeichnung: Laura Vargas Koch -
Datum
21.10.2020 Meldung
UnRAVeL Broschüre -
Datum
02.10.2020 Meldung
3rd Place TRA VISIONS 2020 Young Researcher Competition -
Datum
19.06.2020 Meldung
UnRAVeL members with a Storm Tutorial at YouTube -
Datum
26.03.2020 Meldung
Abgesagt: Girls Day 2020 -
Datum
12.03.2020 Meldung
Akzeptiertes Paper von Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen and Peter Lindner -
Datum
03.03.2020 Meldung
Promotion mit Auszeichnung: Norman Weik -
Datum
19.02.2020 Meldung
RWTH-Lehrpreis 2019 an CAMMP -
Datum
13.02.2020 Meldung
Promotion mit Auszeichnung: Sebastian Junges -
Datum
27.11.2019 Meldung
Nils Nießen in der Zeitung -
Datum
17.10.2019 Meldung
Akzeptiertes Paper von Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl und Joost-Pieter Katoen -
Datum
09.10.2019 Meldung
Christina Büsing in der Zeitung -
Datum
01.10.2019 Meldung
Neuer Workflow für Dienstreisen -
Datum
25.09.2019 Meldung
Promotion mit Auszeichnung: Stefan Schupp -
Datum
12.09.2019 Meldung
Best Paper Award at FMICS for Matthias Volk, Norman Weik, Joost-Pieter Katoen, and Nils Nießen -
Datum
04.09.2019 Meldung
10 Reisestipendien zur "European Women in Tech" für Informatik-Studentinnen -
Datum
10.07.2019 Meldung
Carologistics Team erneut Weltmeister in der Robocup Logistics League in Sydney -
Datum
31.05.2019 Meldung
Best Paper Award für Christof Löding und Anton Pirogov -
Datum
31.05.2019 Meldung
RWTH Preis für Familienfreundlichkeit geht an Christina Büsing -
Datum
31.05.2019 Meldung
Video: „Mit Algorithmen gegen Zugverspätung“ -
Datum
12.05.2019 Meldung
Starkes Comeback der Carologistics bei den German Open der RoboCup Logistics League -
Datum
10.04.2019 Meldung
RWTH Lehrpreis für Christina Büsing -
Datum
09.04.2019 Meldung
Auszeichnung: Silber für Laura Vargas Koch beim Judo Grand Prix in Tiflis -
Datum
09.04.2019 Meldung
Vortrags- und Diskussionsreihe: „Künstliche Intelligenz und Internationale Sicherheit: Quo vadis?“ -
Datum
20.03.2019 Meldung
The MFCS 2019 - call for papers are open -
Datum
14.03.2019 Meldung
Workshop on Theory and Algorithms in Graph and Stochastic Games -
Datum
27.02.2019 Meldung
Veröffentlichtes Paper von Martin Comis -
Datum
08.02.2019 Meldung
Promotion mit Auszeichnung: Benjamin Kaminski -
Datum
03.02.2019 Meldung
Aachener Nachrichten: “power of algorithms” -
Datum
23.01.2019 Meldung
Englisch Kurse für wissenschaftliche Mitarbeiter und Mitarbeiterinnen in der Vorlesungsfreien Zeit -
Datum
23.01.2019 Meldung
„Gender in algorithmischen Systemen", vierter Fachtag im Projekt GEWINN -
Datum
10.01.2019 Meldung
ELVA in der Presse -
Datum
19.12.2018 Meldung
Veröffentlichte Paper von Martin Ritzert -
Datum
19.12.2018 Meldung
Best Student Paper Award for Norman Weik und Nils Nießen -
Datum
15.11.2018 Meldung
Veröffentlichte Paper von Laura Vargas Koch -
Datum
07.11.2018 Meldung
Paper von Martin Grohe und Peter Lindner für PODS 2019 angenommen -
Datum
26.09.2018 Meldung
Anton Pirogov wird mit FTI-Preis ausgezeichnet -
Datum
22.08.2018 Meldung
Forschungspraktika 2019 - Kooperation zwischen Graduiertenkollegs und dem DAAD-Programm RISE -
Datum
30.07.2018 Meldung
SMT-RAT auf erstem Platz -
Datum
30.07.2018 Meldung
Erika Ábrahám als NSERC-Mitglied ernannt -
Datum
30.07.2018 Meldung
The Caro SMT Team auf dem Siegertreppchen -
Datum
25.07.2018 Meldung
Joost-Pieter Katoen wurde Mitglied des Dagstuhl Scientific Advisory Board ernannt -
Datum
23.07.2018 Meldung
AProVE gewinnt alle drei Mediallien -
Datum
16.07.2018 Meldung
Zwei neue UnRAVeL-Doktoranden: Jip Spel und Daxin Liu -
Datum
05.07.2018 Meldung
Ringvorlesung: Probabilistic Robotics -
Datum
02.07.2018 Meldung
DFG Funding Opportunities for early Career Researchers -
Datum
22.06.2018 Meldung
Call for Papers -
Datum
20.06.2018 Meldung
Sechs Papers von UnRAVeL Mitglieder akzeptiert -
Datum
15.06.2018 Meldung
Paper "On finitely ambiguous Büchi automata" bei DLT 2018 angenommen -
Datum
24.05.2018 Meldung
Gastvortrag: Guillermo A. Pérez -
Datum
23.05.2018 Meldung
Gastvortrag: Alessandro Abate: Formal verification and learning of complex systems -
Datum
14.05.2018 Meldung
Gastwissenschaftler: Prof. Milan Češka -
Datum
08.05.2018 Meldung
Carologistics verteidigen den Meistertitel bei den German Open -
Datum
03.05.2018 Meldung
Interview mit Gerhard Lakemeyer in der FAZ -
Datum
02.05.2018 Meldung
Veranstaltungsprogramm der Forschungsförderung für das Sommersemester online -
Datum
28.04.2018 Meldung
Scientific Writing in English Registration -
Datum
18.04.2018 Meldung
Published Paper: Competitive Packet Routing with Priority Lists -
Datum
13.04.2018 Meldung
Reading Groups -
Datum
12.04.2018 Meldung
Erste UnRAVeL-Ringvorlesung im Sommersemester 2018 -
Datum
10.04.2018 Meldung
ERC Advanced Grant für Joost-Pieter Katoen -
Datum
09.04.2018 Meldung
Christina Büsing neue PI -
Datum
25.03.2018 Meldung
Einladung zur GIBU Jahrestagung -
Datum
13.03.2018 Meldung
Betreuungsvereinbarung verfügbar -
Datum
21.02.2018 Meldung
Promotion mit Auszeichnung: Stefan Wüller -
Datum
03.01.2018 Meldung
Besuch: Prof. Maurice van Keulen -
Datum
11.12.2017 Meldung
Martin Grohe zum ACM Fellow ernannt -
Datum
02.12.2017 Meldung
Tokyo Grand Slam 2017 -
Datum
01.12.2017 Meldung
Award of the best self-consistent teaching -
Datum
01.12.2017 Meldung
Award of the best supporting teaching -
Datum
10.11.2017 Meldung
5 vor 12 - RWTH Wissenschaftsnacht -
Datum
07.11.2017 Meldung
ICT Young Researcher Award -
Datum
01.10.2017 Meldung
Neuauflage best-practice-booklet „More Women in Informatics Research and Education“ -
Datum
01.10.2017 Meldung
UnRAVeL Bachelorarbeit Urkunde -
Datum
01.04.2017 Meldung
Norman Weik ausgezeichnet bei Young Railway Operations Research Award