DEIS - Distributed, Embedded and Intelligent Systems
The Distributed, Embedded and Intelligent Systems (DEIS) research group covers mathematical foundation, verification tools, validation methodologies, probabilistic graphical models and machine learning focusing on distributed, embedded and intelligent systems.
A number of world-renowned tools have been developed by DEIS including:
Seminars
DEIS Seminars
The Distributed and Embedded Systems unit is running regular seminars where both local speakers as well as external visitors give talks on a wide range of topics from the concurrency theory and practice. The seminars are not only aimed at the local audience but also to any interested visitors from outside of the unit or the department.
Contact
Please contact Giorgio Bacci for information on the seminars in this series, and to be added to the mailing list for seminar announcements.
Department of Computer Science
Selma Lagerlöfs Vej 300
9220 Aalborg Øst, DK
T: +45 99 40 98 59
Mail: grbacci@cs.aau.dkDepartment of Computer Science
Selma Lagerlöfs Vej 300
9220 Aalborg Øst, DK
T: +45 99 40 98 59