Relbacoess

Vortrag von Rui Zhang

Veranstaltungsort: APB 3105
Beginn: 12. Januar 2015 um 10:30
Ende: 12. Januar 2015 um 11:30
Forschungsgruppe: Automatentheorie
Forschungsgruppe: Wissensbasierte Systeme
Event series: KBS Seminar
iCal

A brief talk on the research work on formal modeling access control via description logics, modeling ontology evolution via Pi calculus and a current project in the recent years and possible topics to collaborate on.