17 April 2012
Facolta' di Scienze Universita' di Roma Tor Vergata
Europe/Rome timezone

Stato del Calcolo e produzioni "italiane"

17 Apr 2012, 10:25
20m
Aula Magna 'P. Gismondi' (Facolta' di Scienze Universita' di Roma Tor Vergata)

Aula Magna 'P. Gismondi'

Facolta' di Scienze Universita' di Roma Tor Vergata

via della ricerca scientifica 1

Speaker

Dr Gianpaolo Carlino (NA)

Description

aggiornamento sul sistema di calcolo uso delle risorse (e.g. proof on demand) disponibilita' delle risorse (i.e. # eventi simulabili)

Presentation materials