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
-
16 December 2024
Jouke de Vries: ‘The University will have to be flexible’
2024 was a festive year for the University of Groningen. Jouke de Vries, the chair of the Executive Board, looks back.
-
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...
-