
DEIS - Distributed, Embedded and Intelligent Systems
Forskningsgruppen Distributed, Embedded and Intelligent Systems (DEIS) arbejder med verifikationsværktøjer, valideringsmetoder, probalistiske grafiske modeller og maskinlæring med fokus på distribuerede, indlejrede og intelligente systemer.

Seminarer
DEIS Seminarer
DEIS-gruppen kører regelmæssigt seminarer, hvor både interne og eksterne talere holder foredrag om en bred vifte af emner indenfor concurrency-teori og -praksis. Seminarerne er åbne for alle interesserede både indenfor og udenfor gruppen og instituttet.
Kontakt
Kontakt venligst lektor Giorgio Bacci for information om seminarerne og for at blive tilføjet til seminar-mailinglisten.
Institut for Datalogi
Selma Lagerlöfs Vej 300
9220 Aalborg Øst, DK
Tlf: +45 99 40 98 59
Mail: grbacci@cs.aau.dkInstitut for Datalogi
Selma Lagerlöfs Vej 300
9220 Aalborg Øst, DK
Tlf: +45 99 40 98 59