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:
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.