Tecniche e strumenti per la sintesi e la pianificazione di processi che rispettino specifiche in logica temporale lineare su tracce infinite e finite (2020-0070-1340-161045)

Tecniche e strumenti per la sintesi e la pianificazione di processi che rispettino specifiche in logica temporale lineare su tracce infinite e finite

Data pubblicazione: 16-04-2020
Data scadenza: 16-05-2020

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

data dell'ultimo aggiornamento: 02/07/2020 - 12:27

Codice bando: 12

Bando AR 12 De Giacomo.pdf

Verbale01-riunione-preliminare_AR_12_2020.docx_.pdf

AR 12 approvazione atti.pdf

2020-0070-1340-161045

Totale incarichi: 2

Incarichi conferiti

Tutte le pubblicazioni riguardanti i titolari di incarichi politici, i dirigenti, i consulenti e i collaboratori, di seguito riportate, sono garantite per tutta la durata dell'incarico nonché per un periodo ulteriore di tre anni decorrenti dalla data di cessazione dell'incarico medesimo ai sensi delle normative vigenti in termini di Trasparenza e Privacy.

ESTREMI ATTO	Nominativo	Periodo rapporto	Oggetto dell'incarico	Compenso
Tecniche e strumenti per la sintesi e la pianificazione di processi che rispettino specifiche in logica temporale lineare su tracce infinite e finite	DI STASIO ANTONIO	01-07-2020 to 30-06-2022	Sviluppo di tecniche e strumenti per la sintesi e la pianificazione d processi che rispettino specifiche in logica temporale lineare su tracce infinite e finite.	€27 000.00
Rinnovo Assegno di Ricerca - bando n. 12/2020 - Tecniche e strumenti per la sintesi e la pianificazione di processi che rispettino specifiche in logica temporale lineare su tracce infinite e finite	DI STASIO ANTONIO	01-07-2022 to 30-06-2023	Sviluppo di tecniche e strumenti per la sintesi e la pianificazione d processi che rispettino specifiche in logica temporale lineare su tracce infinite e finite.	€27 000.00