Relbacoess

Talk by Rui Zhang

Location: APB 3105
Start: 12. January 2015 at 10:30 am
End: 12. January 2015 at 11:30 am
Research group: Automata Theory
Research group: Knowledge-Based Systems
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.