BANDO ASSEGNO DI RICERCA N. 22/2022 - Planning for goals in pure past linear temporal logics on finite traces over deterministic and nondeterministic domains

Data di aggiornamento: 21/09/2022 - 12:29
Tipologia bando: 
Assegni di ricerca
Codice bando: 
22
SSD: 
ING-INF/05
Bando: 
PDF icon AR 22-2022 - resp. sc. De Giacomo
Data pubblicazione: 
Ven, 24/06/2022
Data scadenza: 
Dom, 24/07/2022 (All day)
decreto approvazione atti: 
PDF icon AR 22_2022 - approvazione atti
Commissione concorso: 
PDF icon AR 22-2022 - Decreto nomina Commissione
Struttura UGOV Autore: 
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
Criteri di valutazione: 
PDF icon AR 22-2022 - Verbale riunione preliminare
Tracce delle prove: 
PDF icon Domande prova orale
SPC: 
2022-0070-1340-192362
© Sapienza Università di Roma - Piazzale Aldo Moro 5, 00185 Roma - (+39) 06 49911 - CF 80209930587 PI 02133771002