Azioni sul documento
Seminari
seminari di interesse per i dottorandi in informatica
| Date |
Autore/Presentatore |
Titolo del seminario |
| 19/12/2006 | Luca Motto Ros, Politecnico di Torino | La complessità degli insiemi di reali: giochi e riduzioni |
| 23/11/2006 | Tarmo Uustalu, Institute of Cybernetics, Tallinn University of Technology (Joint work with Maria João Frade and Ando Saabas.) | Foundational certification of data-flow analyses |
