BANDO ASSEGNO DI RICERCA N. 22/2022 - Planning for goals in pure past linear temporal logics on finite traces over deterministic and nondeterministic domains (SPC: 2022-0070-1340-192362)

Codice bando: 22

Data pubblicazione: 24-06-2022
Data scadenza: 24-07-2022

Bando:

AR 22-2022 - resp. sc. De Giacomo

Decreto nomina commissione

AR 22-2022 - Decreto nomina Commissione

Decreto approvazione atti

AR 22_2022 - approvazione atti

Verbale della seduta preliminare:

AR 22-2022 - Verbale riunione preliminare

Tracce prove scritte:

Domande prova orale

Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-

2022-0070-1340-192362