IL PRESIDENTE DEL CONSIGLIO DEI MINISTRI Vista la legge 23 agosto 1988, n. 400; Visto il decreto legislativo 12 febbraio 1993, n. 39; Visto, in particolare, l'art. 4 del predetto decreto legislativo con il quale e' stata istituita l'Autorita' per l'informatica nella pubblica amministrazione; Visto il proprio decreto in data 20 aprile 1993 concernente la nomina dei membri della Autorita' di che trattasi; Vista la nota n. PR/73.95 in data 4 luglio 1995, con la quale il presidente dell'Autorita' per l'informatica nella pubblica amministrazione ha proposto la nomina del prof. Carlo Batini e del prof. Roberto Benzi a membri dell'Autorita', in sostituzione dell'ing. Maurizio Marcovaldi e del prof. Sergio De Julio cessati dall'incarico; Vista la deliberazione del Consiglio dei Ministri adottata nella seduta del 2 agosto 1995; Decreta: Art. 1. Il prof. Carlo Batini ed il prof. Roberto Benzi sono nominati membri dell'Autorita' per l'informatica nella pubblica amministrazione in sostituzione dell'ing. Maurizio Marcovaldi e del prof. Sergio De Julio cessati dall'incarico.