Die Ringvorlesung “Was ist Informatik?” geht bald in die nächste Runde. Alle Interessierten sind herzlich eingeladen ab dem 02.06.2015 vier Wochen lang jeden Dienstag jeweils zwei Kurzvorträge zu besuchen. Erika Ábrahám wird die erste Vorlesung “Informatik != Computer” halten. Weitere Informationen unter “Was ist Informatik?”

From 6th to 9th March we organize the “Aachener Informatiktage 2014” in cooperation with the MINT EC association. This Workshop brings former informatic skills to young, interested students. Find out more at AIT 2014.

We thank all participants of our Dagstuhl Seminar “Randomized Timed and Hybrid Models for Critical Infrastructures” for the great discussions.

The Hybrid Systems: Computation and Control (HSCC’13) conference in Philadelphia has been very successful: Hongfei Fu received the best student paper award for his paper “Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata”.Besides, the paper by Ilya Tkachev, Alexandru Mereacre, Alessandro Abate and Joost-Pieter Katoen was ranked second in the overall best paper […]