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
-
04 July 2025
University of Groningen awards different prizes during Ceremony of Merits
The UG awarded different prizes to excellent researchers and students during the Ceremony of Merits on 4 July 2025.
-
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.