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 April 2024
UG signs Barcelona Declaration on Open Research Information
In a significant stride toward advancing responsible research assessment and open science, the University of Groningen has officially signed the Barcelona Declaration on Open Research Information.
-
02 April 2024
Flying on wood dust
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...
-
18 March 2024
VentureLab North helps researchers to develop succesful startups
It has happened to many researchers. While working, you suddenly ask yourself: would this not be incredibly useful for people outside of my own research discipline? There are many ways to share the results of your research. For example, think of a...