Colloquium Computer Science, Dr. Jaime Arias (INRIA Bordeaux, France)
|
Date: |
Wednesday, March 2nd 2016 |
|
Speaker: |
Dr. Jaime Arias (INRIA Bordeaux, France) |
|
Room: |
5161.0267 (Bernoulliborg) |
|
Time: |
16.00 |
Title: Automatic Verification of Interactive Multimedia Scenarios with Branching Behavior
Abstract:
http://www.labri.fr/perso/jarias
Colloquium coordinators are Prof.dr. M. Aiello (e-mail :
M.Aiello rug.nl
) and
Prof.dr. M. Biehl (e-mail:
M.Biehl rug.nl
)
http://www.rug.nl/research/jbi/news/colloquia/computerscience
| Last modified: | 10 February 2021 1.32 p.m. |
More news
-
02 July 2025
Relinde Weil reappointed as a member of the Supervisory Board UG
The Minister of Education has reappointed Relinde Weil for a second term as a member of the Supervisory Board of the University of Groningen.
-
-
01 July 2025
Khalaf Alkhalaf elected Alumnus of the Year 2025
Khalaf Alkhalaf has been elected Alumnus of the Year 2025 by the University of Groningen. He has received the award for his commitment to providing good care and guidance to refugees in the Netherlands and the inspiring way in which he shares his...