Pure-past linear time temporal logic and linear dynamic logic on finite traces

Data di aggiornamento: 02/07/2020 - 12:25
Tipologia bando: 
Assegni di ricerca
Codice bando: 
8
SSD: 
ING-INF/05
Bando: 
PDF icon Bando AR 8 De Giacomo.pdf
Data pubblicazione: 
Mer, 04/03/2020
Data scadenza: 
Ven, 03/04/2020
decreto approvazione atti: 
PDF icon AR 8 approvazione atti.pdf
Allegati vari: 
PDF icon Avviso Direttrice prot. 1022 del 01-04-2020.pdf
PDF icon Avviso Direttrice prot. 1155 del 22-04-2020.pdf
PDF icon AR 8 Nomina Commissione.pdf
PDF icon Verbale valutazione titoli
PDF icon AR 8 Verbale03-prova-orale.pdf
Riapertura termini: 
Venerdì, 3 Aprile, 2020 to Giovedì, 21 Maggio, 2020
Criteri di valutazione: 
PDF icon Verbale01-riunione-preliminare_AR_8_2020.docx_.pdf
SPC: 
2020-0070-1340-159971
© Sapienza Università di Roma - Piazzale Aldo Moro 5, 00185 Roma - (+39) 06 49911 - CF 80209930587 PI 02133771002