UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 93

Anno Accademico 1995-1996 Seduta del 30.09.96

L'anno millenovecentonovantasei il giorno 30 del mese di settembre alle ore 10.00 presso il Dipartimento di Informatica, si è riunito in seduta odinaria il Consiglio di Corso di Laurea in Scienze dell'Informazione, in Informatica e Diploma Universitario in Informatica della Facoltà di Scienze m.f.n. dell'Università di Pisa, nelle persone dei Professori:

Ordinari: Albano, Bonuccelli, Degano, Gallo, Levi, Luccio, Maggiolo, Montanari, Montangero, Pagli, Romani, Turini

Associati: Antonelli, Baiardi, Barbuti, Ghelli, Leoni, Manca, Menchi, Morreale, Pedreschi, Simi, Starita

Ricercatori ed assistenti: Brogi, Ciuffoletti, Ferrari, Leoncini, Masini, Occhiuto, Ricci, Rossi, Scutellà, Spadafora, Sperduti

Rappr. studenti: Basile, Brodo, Mannini, Moscariello

Rappr. non docenti: Mongini

Sono assenti giustificati

Ordinari: Colombini, Galbiati, Modica

Associati: Acquistapace, Ambriola, Amoroso, Attardi, Caroti-Ghelli, Cazzaniga, Cornolti, Fidecaro, Mancarella, Passaseo, Rolla, Schiaffino, Zanzotto

Ricercatori e assistenti: Corradini, Danelutto, Gabbrielli, Giacobazzi, Molè, Piram

Rappr. non docenti: Orsi

Presiede il Prof. G. Levi

Esercita le funzioni di Segretario il Prof. F. Luccio

cont. Del. n. 93/1 del 30.09.96

Il Presidente, constatato legale il numero dei convenuti, dichiara aperta la seduta.

Il Consiglio di Corso di Laurea in Scienze dell'Informazione, in Informatica e Diploma Universitario in Informatica passa quindi, a discutere il seguente

1) Comunicazioni

2) Perfezionamento della Programmazione Didattica 1996/97

3) Parere sui nuovi corsi di laurea e di diploma

4) Pratiche studenti

5) Questioni riguardanti il Diploma di Informatica

6) Minors e piani di studio

7) Missioni, congedi e nulla-osta

8) Varie ed eventuali

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 94

Anno Accademico 1995-1996 Seduta del 30.09.96

Ordine del giorno: 1

Argomento: Comunicazioni

Il Presidente comunica quanto segue:

- con decreto rettoriale n. 999 del 19.07.96, è stata irrogata la sansione disciplinare della sospensione da tutti gli esami di profitto per la sessione autunnale dell'a.a. 1995/96, allo studente Giorgio Vecchiocattivi;

- il Cun ha espresso parere sfavorevole alla richiesta, presentata dalla Facoltà, di inserire il corso di "Elettronica dei sistemi digitali" nell'area disciplinare della Elettronica K01X, in quanto questo comporterebbe una modifica tabellare.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 95

Anno Accademico 1995-1996 Seduta del 30.09.96

Ordine del giorno: 2

Argomento: Perfezionamento della Programmazione Didattica 1996/97

E' pervenuta la sola domanda del dott. Antonio Brogi, ricercatore presso il Dipartimento di Informatica, del raggruppamento K05B.

Il Consiglio esprime parere favorevole a che l’insegnamento gli sia attribuito.

Approvato all’unanimità.

E' pervenuta la sola domanda del prof. Fabrizio Baiardi, professore associato presso il Dipartimento di Informatica, del raggruppamento K05B.

Il Consiglio esprime parere favorevole a che l’insegnamento gli sia attribuito.

Approvato all’unanimità.

E' pervenuta la sola domanda del prof. Giorgio Gallo, professore ordinario presso il Dipartimento di Informatica, del raggruppamento A04B.

Il Consiglio esprime parere favorevole a che l’insegnamento gli sia attribuito.

Approvato all’unanimità.

E' pervenuta la sola domanda del dott. Andrea Masini, ricercatore presso il Dipartimento di Informatica, del raggruppamento K05B.

Il Consiglio esprime parere favorevole a che l’insegnamento gli sia attribuito.

Approvato all’unanimità.

E' pervenuta la sola domanda del dott. Andrea Masini, ricercatore presso il Dipartimento di Informatica, del raggruppamento K05B.

Il Consiglio esprime parere favorevole a che l’insegnamento gli sia attribuito.

Approvato all’unanimità.

cont. Del. n. 95/1 del 30.09.96

E' pervenuta la sola domanda del dott. Mauro Leoncini, ricercatore confermato presso il Dipartimento di Informatica, del raggruppamento A04A.

Il Consiglio esprime parere favorevole a che l’insegnamento gli sia attribuito.

Approvato all’unanimità.

Ricerca Operativa (gratuito)

Informatica Generale: aspetti sociali, etici e professionali (gratuito)

I corsi di:

"Sistemi per l'Elaborazione dell'Informazione: sistemi a parallelismo massiccio" e "Sistemi per l'Elaborazione dell'Informazione: laboratorio di sistemi a parallelismo massiccio"

cambiano il nome in:

"Architettura degli Elaboratori: sistemi a parallelismo massiccio" e

"Architettura degli Elaboratori: laboratorio di sistemi a parallelismo massiccio"

fermo restando le assegnazioni al prof. Baiardi come affidamento didattico sostitutivo per corso di "Architettura degli Elaboratori: sistemi a parallelismo massiccio", e come affidamento didattico aggiuntivo per il corso di "Architettura degli Elaboratori: laboratorio di sistemi a parallelismo massiccio".

Approvato all'unanimità.

A parziale modifica della delibera n. 55/2 e 55/3 del Consiglio del 4 aprile u.s., si rettifica la allocazione dei corsi del triennio di applicazione del Corso di laurea in Informatica nella seguente maniera:

TRIENNIO DI APPLICAZIONE - COMPLEMENTARI

"Ingegneria della conoscenza e Sistemi esperti" e "Reti Neurali" passano dal primo al secondo semestre.

"Apprendimento Automatico" passa dal secondo al primo semestre.

Approvato all'unanimità.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 96

Anno Accademico 1995-1996 Seduta del 30.09.96

Ordine del giorno: 3

Argomento: Parere sui nuovi corsi di laurea e di diploma

Il Consiglio esprime il proprio parere favorevole all'avvio dei Corsi di laurea in Scienze dei materiali e in Scienze Ambientali e dei Diplomi Universitari in Chimica e in Metodologie fisiche.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 97

Anno Accademico 1995-1996 Seduta del 30.09.96

Ordine del giorno: 4

Argomento: Pratiche studenti

BASSETTI Andrea proveniente da Ingegneria Informatica (Pisa) già ammesso al Diploma di Informatica.

Si convalidano gli esami di "Analisi Matematica I" per "idem", "Geometria" per "Matematica Discreta" previo colloquio integrativo.

Antonio GUADAGNO è autorizzato a sostenere presso l'Università di Leiden (NL): "Numerical Mathematics" per "Calcolo Numerico".

Giuseppe MILICIA è autorizzato a sostenere presso l'Università Vrije di Amsterdam (NL):

"Compiler Construction (WD074)" per "Linguaggi di Programmazione: linguaggiformali e compilatori (LFC)"; "Computer Networks (WD098)" per "Sistemi di Elaborazione dell'Informazione: reti di calcolatori (SER)"; "Software Engineering (WD106)" per "Ingegneria del Software I (IS1)"; "Software Engineering - Practical Work" per "Ingegneria del Software: laboratorio di progettazione (ISL)"; "Human Computer Interaction (WD095)" per "Interfacce uomo-macchina: aspetti ergonomici e psicologici"; (titolo di corso non attivo) "Object Oriented Programming (WD150)" per "Programmazione: modelli orientatiagli oggetti"; (titolo di corso da attivare l'anno prossimo)

Terry Lanfranco MURGIA è autorizzato a sostenere presso l'Universitàdi Manchester (UK):

"Architectural Support for Languages and Operating Systems (CS2042)" e "Parallel Computing (CS3012)" per "Progetto di Sistemi Numerici"; "Operating Systems (CS2051)" e "Operating Systems (CS3052)" per "Sistemi per l'Elaborazione dell'Informazione II"; "Numerical Methods (MT1242)" per "Calcolo Numerico".

cont. Del. n. 97/1 del 30.09.96

Marco TARINI è autorizzato a sostenere presso l'Università di Edinburgh (UK):

"Database Systems" per "Basi di Dati e Sistemi Informativi I (BD1)"; "Distributed Systems" per "Architettura degli Elaboratori II (AE2)"; "Compiling Techniques" per

"Linguaggi di Programmazione: linguaggi formalie compilatori (LFC)"; "Knowledge Representation and Inference" (o "Knowledge Based Systems") per "Intelligenza Artificiale I (AI1); "System Design Project" per "Ingegneria del Software: laboratorio diprogettazione".

Salvatore Massimiliano VIZZINI è autorizzato a sostenere presso l'Università di Limerick (IRL):

"Discrete Mathematics 1 (MS4111)" e "Computer Mathematics 2 (MA4402)" per "Matematica Discreta (MD)"; "Computer Mathematics 3 (MA4403)" per "Calcolo delle Probabilità (CP)"; "Software Engineering 1 (CS4311)" per "Ingegneria del Software I IS1)"; "Computer Networks (CS4225)" per "Sistemi di Elaborazione dell'Informazione: reti di calcolatori (SER)"; "Database Systems (CS4416)" per "Basi di dati I (BD1)"; "Simulation and Operations Research (CS4827)" per "Simulazione I (ROS); "Programming Language Technology 2 (CS4516)" per "Linguaggi di programmazione: linguaggi formali e compilatori (LFC)".

Fioravante SANTANIELLO è autorizzato a sostenere presso l'Università di Linkoping (S):

"Numerical Methods I (TANA 41)" per "Calcolo Numerico"; "Mathematical Statistics (1st) (TAMS 15)" per "Calcolo delle Probabilità e Statistica"; "System Software (TDDB 01)" e "Real Time and Concurrent Programming (TDDA 47)" per "Sistemi per l'Elaborazione dell'Informazione I".

Barbara Giannattasio è autorizzata a sostenere presso l'Università di Linkoping (S):"Numerical Methods I (TANA 41)" per "Calcolo Numerico";

Anna Margherita LADIK è autorizzata a sostenere presso l'Università di Linkoping (S):

"Numerical Methods I (TANA 41)" per "Calcolo Numerico"; "Mathematical Statistics (1st) (TAMS 15)" per "Calcolo delle Probabilità e Statistica".

Anna FIORUCCI è autorizzata a sostenere presso l'Università di Linkoping (S):

"Numerical Methods I (TANA 41)" per "Calcolo Numerico", "Mathematical Statistics (1st) (TAMS 15)" per "Calcolo delle Probabilità e Statistica".

Floriana MARCELLO è autorizzata a sostenere presso l'Università di Linkoping (S):

"Numerical Methods I (TANA 41) per "Calcolo Numerico"; "Mathematical Statistics (1st) (TAMS 15)" per "Calcolo delle Probabilità e Statistica"; "System Software (TDDB 01)" e "Real Time and Concurrent Programming (TDDA 47)" per "Sistemi per l'Elaborazione dell'Informazione I".

cont. Del. n. 97/2 del 30.09.96

Andreas LACEROF, nato a Lund (Svezia) il 4/12/72 e proveniente dalla Università di Linkoping (Svezia), viene iscritto al Corso di Laureain Scienze dell'Informazione nell'ambito del PIC Erasmus S-3017/11, per lavoro di tesi sotto la supervisione del Dott. Fabio Paternò del CNUCE, nel primo semestre dell'a.a 1996/97.

Cyril MACHETTI, nato a Parigi il 30.05.72, e proveniente dalla Universitè de Nice (Francia), viene iscritto al Corso di Laureain Informatica nell'ambito del PIC Erasmus S-3017/11, per frequentare corsi nel primo semestre dell'a.a. 1996/97.

Maria Paola SCAPARRA in base alla documentazione pervenuta (allegato 1), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la University of Edinburgh (UK), per gli esami già riconosciuti equipollenti con precedente delibera n. 19 del CCL del 26.01.96.

"Probability" per "Calcolo delle Probabilita` e Statistica": 30/30 in data 30/6/96.

"Compiling Techniques" per "Linguaggi Formali e Compilatori": 30/30 in data 30/6/96.

Si riconosce inoltre il seguente voto, per gli esami contestualmente riconosciuti equipollenti:

"Software System Design" e "Database Systems" per "Documentazione Automatica": 30/30 in data 30/6/96.

Antonella FARINACCIO in base alla documentazione pervenuta (allegato 2), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la University of Manchester (UK), per gli esami già riconosciuti equipollenti con precedente delibera n. 33 del CCL del 26.02.96.

"Numerical Methods (MT1242)" per "Calcolo Numerico": 30/30 in data 17/7/96.

Alberto MONDANELLI in base alla documentazione pervenuta (allegato 3), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la University of Manchester (UK), per gli esami già riconosciuti equipollenti con precedenti delibere n. 33 del CCL del 26.02.96 e n. 112 del 25.10.95.

"Numerical Methods (MT1242)" per "Calcolo Numerico": 30/30 in data 17/7/96.

"Computer Organization" (CS2222) e "Parallel Computing" (CS3012) per "Progetto di Sistemi Numerici": 20/30 in data 17/7/96;

"Operating Systems" (CS3052) per "Sistemi per l'Elaborazione dell'Informazione II": 24/30 in data 17/7/96.

Gianluca SERGI in base alla documentazione (allegato 4), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la Vrije Universiteit Amsterdam (NL), per l'esame contestualmente riconosciuto equipollente (da riconoscere come esame in piu`):

"User Interface Design" per "Interazione uomo-macchina: interfacce grafiche": 30/30 in data 30/7/96.

cont. Del. n. 97/3 del 30.09.96

Dino DI STEFANO in base alla documentazione (allegato 5), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la Vrije Universiteit Amsterdam (NL), per gli esami riconosciuti equipollenti con precedente delibera n. 112 del 25.10.95:

"Neural Networks (WD158 con modulo 2A)" per "Teoria dei Sistemi": 29/30 in data 10/6/96.

"Knowledge Systems (W28)" e "Knowledge Bases (WD093)" per "Elaborazione dell'Informazione non Numerica": 28/30 in data 19/7/96.

Santo ORLANDO in base alla documentazione (allegato 6), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la Vrije Universiteit Amsterdam (NL), per gli esami riconosciuti equipollenti con precedente delibera n. 112 del 25.10.95:

"Neural Networks (WD158 con modulo 2A)" per "Teoria dei Sistemi": 29/30 in data 10/6/96.

Gianluca MINUTELLA in base alla documentazione (allegato 7), si riconosce il seguente voto, riportato presso la Technische Universitat Braunschweig (D) per l'esame contestualmente riconosciuto equipollente:

"Analysis II" per "Analisi Matematica II": 28/30 in data 10/7/95.

Paola NATALE in base alla documentazione pervenuta (allegato8), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la Università di Umea (S), per gli esami già riconosciuti equipollenti con precedente delibera n. 4 del CCL del 18.12.95:

"Numerical Linear Algebra" per "Calcolo Numerico": 30/30 in data 17/6/96.

RONCEVIC Toma - Nazionalità croata

Titolo di Studio - Diploma di Scuola Secondaria Superiore "Istituto Politecnico" di Spalato.

Si approva l'immatricolazione.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 98

Anno Accademico 1995-1996 Seduta del 30.09.96

Ordine del giorno: 5

Argomento: Questioni riguardanti il Diploma di Informatica

Il Prof. Pedreschi illustra le modalità ed i principi per il progetto di fattibilità CAMPUS/96 per l'a.a. 1996/97 del Diploma Universitario in Informatica. Il progetto di fattibilità inoltrato presso la Conferenza dei Rettori delle Università Italiane è allegato al verbale.

Successivamente, il Prof. Pedreschi chiede al consiglio di volerlo delegare, insieme con la segretaria Rosaria Mongini, alla predisposizione delle regole relative alla presentazione dei piani di studio per gli studenti del diploma, resasi necessaria dalle variazioni curriculari occorse a partire da questo a.a. 1996/97.

Il consiglio unanime ritiene di accordare tale delega.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 99

Anno Accademico 1995-1996 Seduta del 30.09.96

Ordine del giorno: 6

Argomento: Minors e piani di studio

Vengono messi in discussione i seguenti piani di studio consigliati come proposti dalla Commissione Didattica (vedi allegato ):

Fondamenti matematici dell'Informatica

Matematica computazionale

Ricerca Operativa

Architettura dei sistemi di Elaborazione

Produzione di Software

Programmazione Concorrente e distribuita

Basi di dati

Linguaggi di programmazione

Compilatori e ambienti

Sistemi basati sulla Conoscenza

Intelligenza Computazionale

Multimedia

Levi solleva il problema sull'opportunità di avere un piano di studi consigliato centrato sugli Algoritmi. Luccio interviene per dichiarare che il settore degli Algoritmi non ha in questo momento le risorse sufficienti per gestire i corsi relativi e si impegna a proporne uno appena possibile.

I piani di studio proposti vengono apporvati a larga maggioranza con 6 astenuti.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 100

Anno Accademico 1995-1996 Seduta del 30.09.96

Ordine del giorno: 7

Argomento: Missioni, congedi e nulla-osta

Il Consiglio delibera che nulla osta al conferimento dell'incarico di insegnamento di "Fondamenti di Informatica" per l'anno accademico 1996/97 presso l'Accademia Navale di Livorno a TURINI Franco, in quanto tale incarico non arreca pregiudizio all'attività didattica.

Approvato all'unanimità.

Il Consiglio delibera che nulla osta al conferimento dell'incarico di insegnamento di "Fondamenti di Informatica" per l'anno accademico 1996/97 presso l'Accademia Navale di Livorno a BARBUTI Roberto, in quanto tale incarico non arreca pregiudizio all'attività didattica.

Approvato all'unanimità.

Il Consiglio delibera che nulla osta al conferimento dell'incarico di insegnamento di "Reti Logiche" per l'anno accademico 1996/97 presso l'Accademia Navale di Livorno a MAESTRINI Piero, in quanto tale incarico non arreca pregiudizio all'attività didattica.

Approvato all'unanimità.

cont. Del. n.100/1 del 30.09.96

Andrea Corradini, ricercatore confermato presso questo dipartimento, ha chiesto di modificare la data di inizio e di fine del congedo per motivi di studio da usufruire nell'a.a. 1996/97, concesso con D.R. n. 2775 del 07.06.1996.

La richiesta è motivata dal fatto che, per esigenze di servizio, non è stato in grado di prendere servizio presso il centrum voor Wiskunde en Informatica (Amsterdam) il 1 settembre 1996, data di partenza prevista.

Il congedo slitta quindi dal 1 settembre al 16 settembre 1996 e fermo restando la durata di 12 mesi, avrà termine il 15 settembre 1997.

Il Consiglio delibera la modifica richiesta.

Approvato all'unanimità

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 101

Anno Accademico 1995-1996 Seduta del 30.09.96

Ordine del giorno: 8

Argomento: Varie ed eventuali

Nessun argomento da discutere.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente