Dottorato di ricerca in Co-tutela internazionale in logiche e metodi formali per l'informatica

Data inizio
1 gennaio 2002
Durata (mesi) 
72
Dipartimenti
Informatica
Responsabili (o referenti locali)
Giacobazzi Roberto

Programmi per l'incentivazione del processo di internazionalizzazione del sistema universitario (DN 05/08/2004)

Enti finanziatori:

Ministero dell'Istruzione dell'Università e della Ricerca
Finanziamento: assegnato e gestito dal dipartimento
Programma: INTERNAZ - Progetti di Internazionalizzazione

Partecipanti al progetto

Roberto Giacobazzi
Professore ordinario

Attività

Strutture