Xerrada: "Verificació de programari amb l'eina CBMC", a càrrec del Dr. Ruben Martins de l'Universitat d'Oxford

Informació de l'esdeveniment
Inici:

Martins

Aquesta setmana, en el marc del Grau en Enginyeria Informàtica, el Dr. Ruben Martins de la Universitat d'Oxford durà a terme dues xerrades sobre verificació de programari amb l'eina CBMC.

En concret la xerrada es realitzarà el dijous de 17:00 a 19:00 a l'aula 1.08 de l'edifici Polivalent.

Us informem que malgrat sigui una activitat dirigida als estudiants de la branca informàtica, resta oberta a tothom.