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
-
10 June 2024
Swarming around a skyscraper
Every two weeks, UG Makers puts the spotlight on a researcher who has created something tangible, ranging from homemade measuring equipment for academic research to small or larger products that can change our daily lives. That is how UG...
-
21 May 2024
Results of 2024 University elections
The votes have been counted and the results of the University elections are in!