UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 97

Anno Accademico 1996-1997 Seduta del 27.10.97

L'anno millenovecentonovantasette il giorno 27 del mese di ottobre alle ore 15.00 presso il Dipartimento di Informatica, si è riunito 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: Bonuccelli, Degano, Gallo, Germano, Levi, Luccio, Maestrini, Vanneschi.

Associati: Antonelli, Baiardi, Barbuti, Bellia, Bevilacqua, Cazzaniga, Leoni, Manca, Mancarella, Menchi, Pedreschi, Simi.

Ricercatori ed assistenti: Brogi, Danelutto, Ferrari, Frangioni, Gemignani, Giacobazzi, Leoncini, Masini, Occhiuto, Ricci, Scutellà.

Rappr. studenti: Brodi, Moscariello

Rappr. non docenti: Mongini

Sono assenti giustificati

Ordinari: Balsamo, Bertossi, Boerger, Colombini, Lodi, Maggiolo, Modica, Pallottino, Romani, Traverso, Turini

Associati: Acquistapace, Attardi, Barcaro, Caroti-Ghelli, Fidecaro, Ghelli, Pardini, Rolla, Schiaffino

Ricercatori e assistenti: Bergamasco, Gabbrielli, Giuliano, Pelagatti, Rossi, Sassone,

Sperduti.

Rappr. studenti: Mannini

Rappr. non docenti:

Presiede il Prof. M. Bonuccelli

Esercita le funzioni di Segretario il Prof. G. Levi

cont. Del. n. 97/1 del 27.10.97

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) Relazione della commissione didattica sulla sperimentazione

3) Corsi integrativi retribuiti a.a.1997/98

4) Corsi integrativi gratuiti a.a. 1997/98

5) Perfezionamento della Programmazione Didattica a.a. 1997/98

- contratti per corsi ufficiali

6) Nomina commissione proposta verifiche andamento didattica

7) Piani di studio a.a. 1997/98

8) Pratiche studenti

9) Questioni riguardanti il Diploma

10) Missioni, congedi e nulla-osta

11) Varie ed eventuali

Il Presidente propone la seguente variazione nel nome di un punto all'ordine del giorno che viene approvata all'unanimità:

1) Comunicazioni

2) Relazione della commissione didattica sulla sperimentazione

3) Corsi integrativi retribuiti a.a.1997/98

4) Corsi integrativi gratuiti a.a. 1997/98

5) Perfezionamento della Programmazione Didattica a.a. 1997/98

- contratti per corsi ufficiali

6) Nomina Commissione "Proposta verifiche andamento didattica" più nomina Commissione "Contratti per la Didattica"

7) Piani di studio a.a. 1997/98

8) Pratiche studenti

9) Questioni riguardanti il Diploma

10) Missioni, congedi e nulla-osta

11) Varie ed eventuali

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 98

Anno Accademico 1996-1997 Seduta del 27.10.97

Ordine del giorno: 1

Argomento: Comunicazioni

Il Presidente comunica quanto segue:

- nella seduta del Senato Accademico del 21 ottobre u.s. è stato stabilito che non saranno più accettate richieste di deroga ai termini di consegna in segreteria studenti, delle tesi di laurea;

- stamattina si sono svolte le elezioni per il rinnovo della carica di rappresentanti del personale-non docente in Consiglio di Corso di Laurea, nelle quali sono stati eletti Rosaria Mongini e Enrico Carpentras.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 99

Anno Accademico 1996-1997 Seduta del 27.10.97

Ordine del giorno: 2

Argomento: Relazione della commissione didattica sulla sperimentazione

Il Presidente cede la parola al Presidente della commissione didattica, Levi, che presenta la relazione riportata in allegato. Si apre una lunga e vivace discussione, a cui partecipano quasi tutti i presenti.

Durante la discussione si invita la "Commissione Orario" ad evitare sovrapposizioni nelle ore di lezione tra i corsi di "Analisi Matematica I", "Programmazione I" e "Architettura degli Elaboratori I", e tra i corsi di "Matematica Discreta" e "Logica Matematica". Inoltre, si invitano i docenti a non effettuare anticipazioni ufficiose degli esami.

Al termine della discussione, il presidente mette in votazione la proposta, emersa durante la discussione, di abbassare da 8 a 4 il numedo di u.d. necessarie per poter sostenere esami del II anno. La proposta viene bocciata con 9 favorevoli. Successivamente, mette in votazione la proposta di abbassare il numero suddetto da 8 a 7. La proposta viene approvata con 2 contrari e 2 astenuti.

In seguito, viene posta in votazione la proposta di abolire, limitatamente alla sessione di esami invernali, la propedeuticità tra "Matematica Discreta" e "Logica Matematica". Questa proposta viene approvata con 2 contrari e 1 astenuto.

Infine, Menchi propone di abolire a tempo indeterminato la propedeuticità tra "Matematica Discreta" e "Calcolo Numerico" al Diploma.

Approvato con 2 astenuti.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 100

Anno Accademico 1996-1997 Seduta del 27.10.97

Ordine del giorno: 3

Argomento: Corsi integrativi retribuiti a.a.1997/98

Il Presidente in data 16 ottobre aveva emesso il Provvedimento d'Urgenza n. 3 per deliberare sulle richieste di professori a contratto, in considerazione dell'urgenza con cui occorreva provvedere in merito e vista l'impossibilità di riunire il Consiglio in tempi brevi.

In conseguenza del posticipo della riunione della Commissione Didattica di Facoltà che doveva discutere in merito, il Presidente ritira il provvedimento e invita il Consiglio a discutere e a approvare la seguente delibera.

Il Presidente cede la parola a Barbuti che illustra i lavori della commissione formata da Maggiolo, Barbuti e Levi, nominata nel Consiglio del 3.10.97. Dopo aver esaminato le proposte, la commissione ha redatto la seguente graduatoria:

1) "Computational Complexity in Logic Programming and Knowledge representation", integrativo di "Fondamenti dell'Informatica: calcolabilità e complessità";

- proponente: prof. Pierpaolo Degano;

- esperto designato per l'attribuzione del contratto: prof. Georg GOTTLOB, Professore Ordinario presso la Vienna Technical University (Austria);

- durata del corso integrativo: ore 20;

- corrispettivo proposto: L. 4.000.000.

Al presente verbale viene allegato il curriculum vitae (vedi allegato GOTTLOB).

2) "Comparative concurrency semantics", integrativo di "Fondamenti dell'Informatica: semantica";

- proponente: prof. Ugo Montanari;

- esperto designato per l'attribuzione del contratto: prof. Robert Jan VAN GLABBEEK, professore associato presso la Stanford University (USA);

- durata del corso integrativo: ore 20;

- corrispettivo proposto: L. 5.000.000.

Al presente verbale viene allegato il curriculum vitae (vedi allegato VAN GLABBEEK).

cont. Del. n. 100/1 del 27.10.97

3) "Grammar Systems, integrativo di "Linguaggi di Programmazione: linguaggi, formali e compilatori";

- proponente: prof. Andrea Maggiolo;

- esperto designato per l'attribuzione del contratto: prof. Erzsébet CSUHAJ-VARJU', Professore Ordinario presso il Computer and Automation Research Institute di Budapest (Ungheria);

- durata del corso integrativo: ore 20;

- corrispettivo proposto: L. 4000.000.

Al presente verbale viene allegato il curriculum vitae (vedi allegato CSUHAJ-VARJU').

4) "Calcolo probabilistico e algoritmi randomizzati con applicazioni ai linguaggi dichiarativi", integrativo di "Linguaggi di programmazione: paradigmi e macchine astratte";

- proponente: prof. Giorgio Levi

- esperto designato per l'attribuzione del contratto: prof. Herbert WIKLICKY, ricercatore confermato presso il Department of Computer Science "City University" di Londra;

- durata del corso integrativo: ore 20;

- corrispettivo proposto: L. 4.000.000.

Al presente verbale viene allegato il curriculum vitae (vedi allegato WIKLICKY).

5) "Systems Specification and verification", integrativo di "Ingegneria del Software: metodi di specifica";

- proponente: prof. Egon Boerger;

- esperto designato per l'attribuzione del contratto: prof. Sofiene TAHAR, Assistant professor (Tenured) presso la Concordia University di Montreal (Canada), di nazionalità tunisina immigrata in Canada;

- durata del corso integrativo: ore 20;

- corrispettivo proposto: L. 4.000.000.

Al presente verbale viene allegato il curriculum vitae (vedi allegato TAHAR).

6) "La Gestione nella Pubblica Amministrazione: le strutture organizzative, i processi di lavoro, i flussi dell'informazione e le tecnologie informatiche", integrativo di "Economia dei Sistemi Industriali";

- proponente: prof. ssa Dionisia Cazzaniga-Francesetti;

- esperto designato per l'attribuzione del contratto: dott.ssa Patrizia RAVAIOLI libera professionista;

- durata del corso integrativo: ore 20;

- corrispettivo proposto: L. 1.500.000.

Al presente verbale viene allegato il curriculum vitae (vedi allegato RAVAIOLI).

7) "Sviluppo di sistemi basati sulla conoscenza", integrativo di "Laboratorio di sistemi ibridi;

- proponente: prof. ssa Antonina Starita;

- esperto designato per l'attribuzione del contratto: dott.ssa Darya MAJIDI libera professionista;

cont. Del. n. 100/2 del 27.10.97

- durata del corso integrativo: ore 20;

- corrispettivo proposto: L. 1.500.000.

Al presente verbale viene allegato il curriculum vitae (vedi allegato MAJIDI).

8) "La qualità nella produzione industriale del software", integrativo di "Ingegneria del Software: controllo di qualità";

- proponente: prof. Vincenzo Ambriola

- esperto designato per l'attribuzione del contratto: dott. Giovanni CIGNONI libero professionista

- durata del corso integrativo: ore 10;

- corrispettivo proposto: L. 2.970.240.

Al presente verbale viene allegato il curriculum vitae (vedi allegato CIGNONI).

9) "Dimostrazione Automatica", integrativo di "Intelligenza Artificiale";

- proponente: prof. Maria Simi;

- esperto designato per l'attribuzione del contratto: prof. Bertram FRONHOFER, assistente capo presso la Technische Universität München (Germania);

- durata del corso integrativo: ore 20;

- corrispettivo proposto: L. 2.500.000.

Al presente verbale viene allegato il curriculum vitae (vedi allegato FRONHOFER).

I criteri adottati dalla Commissione sono stati l'analisi del curriculum didattico/scientifico del docente e dei contenuti del corso proposto. In particolare, è stata data priorità ad argomenti per cui le competenze scientifico/culturali del Dipartimento sono minori.

Il Consiglio approva all'unanimità decidendo contestualmente che tale ordine non debba essere vincolante per gli anni successivi, per i professori che non ottenessero l'incarico per l'a.a. 1997/98.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 101

Anno Accademico 1996-1997 Seduta del 27.10.97

Ordine del giorno: 4

Argomento: Corsi integrativi gratuiti a.a. 1997/98

Il Consiglio passa ad analizzare le seguenti proposte:

1. Geometria Computazionale (docente: Marco Pellegrini, CNR) proposto dal Prof. Roberto Bevilacqua per il corso di "Matematica Computazionale: geometria computazionale".

2. Progettazione di Sistemi VLSI (docente: Guido Magazzù, INFN) proposto dal Prof. Pierangelo Rolla per il corso di "Elettronica".

Dopo ampia discussione, il Consiglio propone l'attivazione dei seguenti corsi:

1. Geometria Computazionale integrativo di "Matematica Computazionale: geometria computazionale".

Specifica competenza dello studioso proposto nel settore della geometria computazionale

- Introduzione alle tematiche principali della geometria computazionale: correttezza, efficienza, stabilità.

- Test geometrici elementari, intersezione di segmenti. Area di poligoni.

- Metodo "sweeping line" per intersezioni di poligoni.

- "Convex hull" di punti sul piano.

- Triangolazione di poligoni semplici.

- Problemi di prossimità tra punti.

- Problemi di "point location" in poligoni convessi, semplici.

- Problemi di "point location" in mappe planari.

- Diagrammi di Voronoi.

- "Range seraching" geometrico

- Arrangiamenti di rette sul piano con applicazioni.

- Programmazione lineare in dimensione fissata.

- Introduzione e metodi probabilistici in geometria computazionale.

cont. Del. n. 101/1 del 27.10.97

Il corso sarà svolto a titolo gratuito ex art. 27 del DPR 382/80 nell'ambito della convenzione Università-CNR, dal Dr. Marco Pellegrini nato a Fidenza il 11.06.1961, residente a Pisa, Via Gioberti, 16, di nazionalità italiana.

Approvato all'unanimità.

2. Progettazione di Sistemi VLSI integrativo di "Elettronica".

Modifica dei contenuti del corso e accesso ai sistemi di progettazione cab.

- Tecniche di progettazione VLSI

- Simulazione funzionale di sistemi digitali e Linguaggi di descrizione HDL: Verilog e VHDL

- "Fault simulation" e "Testing"

- Strumenti di sintesi automatica (Synopsys)

- Flusso di progetto di un sistema VLSI

- Sviluppo del progetto di un sistema VLSI

16 ore nel secondo semestre dell'a.a. 1997/98.

Il corso sarà svolto a titolo gratuito ex art. 27 del DPR 382/80 nell'ambito della convenzione Università-INFN, dal Dr. Guido Magazzù nato a Messina il 15.11.1965, residente a Tirrenia (Pisa), Via delle Agavi, 20, di nazionalità italiana.

Approvato all'unanimità.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 102

Anno Accademico 1996-1997 Seduta del 27.10.97

Ordine del giorno: 5

Argomento: Perfezionamento della Programmazione Didattica a.a. 1997/98

- contratti per corsi ufficiali

Vista la mancanza di copertura sia per titolarietà, sia per affidamento didattico sostitutivo, e visto che i bandi di concorso riservato per la copertura a mezzo di affidamento e supplenze sono andati deserti, il Consiglio delibera che per l'a.a. 1997/98, il corso "Architettura degli Elaboratori II: architettura parallele e distribuite - A", venga messo "a comune" con il corso B e pertanto disattivato.

Approvato all'unanimità.

E' pervenuta la sola domanda del dott. Antonio Brogi, ricercatore confermato presso il Dipartimento di Informatica nel 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 Luccio professore ordinario presso il Dipartimento di Informatica nel raggruppamento K05B.

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

Approvato all’unanimità.

E' pervenuta la sola domanda del dott. Laura Ricci, ricercatore confermato presso il Dipartimento di Informatica nel raggruppamento K05B.

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

Approvato all’unanimità.

cont. Del. n. 102/1 del 27.10.97

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

Approvato all’unanimità.

E' pervenuta la sola domanda del prof. Maurizio Bonuccelli, professore ordinario presso il Dipartimento di Informatica nel raggruppamento K05B.

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

Approvato all’unanimità.

E' pervenuta la sola domanda del dott. Maurizio Gabbrielli, ricercatore confermato presso il Dipartimento di Informatica nel 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 Corradini ricercatore confermato presso il Dipartimento di Informatica nel raggruppamento K05B.

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

Approvato all’unanimità.

E' pervenuta la sola domanda del dott. Gianluigi Ferrari, ricercatore confermato presso il Dipartimento di Informatica nel raggruppamento K05B.

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

Approvato all’unanimità.

Visto che l'art. 1 della Legge 28.12.95 n. 549 al comma 32 concede di assegnare contratti con studiosi od esperti di alta qualificazione scientifica o professionale, nei limiti delle disponibilità di bilancio delle università e per sopperire a particolari e motivate esigenze didattiche, anche per l'attivazione di corsi ufficiali; visto che i corsi di:

Basi di dati e Sistemi Informativi: basi di dati deduttive

Laboratorio di Informatica: informatica musicale

Linguaggi di Progammazione: programmazione concorrente

Sistemi di Elaborazione dell'Informazione: applicazioni parallele

Sistemi di Elaborazione dell'Informazione: sistemi affidabili

a norma dello Statuto nazionale dell'Università non sono ne fondamentali ne caratterizzanti, questo Consiglio propone di coprire la titolarietà di tali corsi mediante contratto a titolo gratuito da affidare alle seguenti persone:

cont. Del. n. 102/2 del 27.10.97

- "Basi di Dati e Sistemi Informativi: basi di dati deduttive", quinto anno del corso di Laurea secondo semestre;

- esperto designato per l'attribuzione del contratto: dott.ssa Fosca GIANNOTTI;

- durata del corso : ore 40;

Al presente verbale viene allegato il curriculum e la lista delle pubblicazioni del docente proposto (vedi allegato GIANNOTTI).

- "Laboratorio di Informatica: informatica musicale", quinto anno del corso di Laurea secondo semestre;

- esperto designato per l'attribuzione del contratto: dott. Leonello TARABELLA;

- durata del corso : ore 40;

Al presente verbale viene allegato il curriculum e la lista delle pubblicazioni del docente proposto (vedi allegato TARABELLA).

- "Linguaggi di Programmazione: programmazione concorrente", quinto anno del corso di Laurea secondo semestre;

- esperto designato per l'attribuzione del contratto: dott.ssa Norma LIJTMAER;

- durata del corso : ore 40;

Al presente verbale viene allegato il curriculum e la lista delle pubblicazioni del docente proposto (vedi allegato LIJTMAER).

- "Sistemi di Elaborazione dell'informazione: applicazioni parallele", quinto anno del corso di Laurea secondo semestre;

- esperto designato per l'attribuzione del contratto: dott. Domenico LAFORENZA;

- durata del corso : ore 40;

Al presente verbale viene allegato il curriculum e la lista delle pubblicazioni del docente proposto (vedi allegato LAFORENZA).

- "Sistemi di Elaborazione dell'informazione: sistemi affidabili", quinto anno del corso di Laurea secondo semestre;

- esperto designato per l'attribuzione del contratto: dott. Andrea BONDAVALLI;

- durata del corso : ore 40;

Al presente verbale viene allegato il curriculum e la lista delle pubblicazioni del docente proposto (vedi allegato BONDAVALLI).

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 103

Anno Accademico 1996-1997 Seduta del 27.10.97

Ordine del giorno: 6

Argomento: Nomina commissione "Proposta verifiche andamento didattica" più nomina commissione "Contratti per la didattica".

Il Presidente propone di nominare una Commissione che si occupi di predisporre il software per raccogliere le informazioni necessarie per verificare l'andamento dell'attività didattica, e informa di aver accertato la disponibilità di Ghelli e Danelutto.

Pertanto propone di nominare Ghelli e Danelutto come membri della suddetta commissione.

Il Consiglio approva all'unanimità.

Successivamente, il Presidente informa il Consiglio di aver ricevuto da Turini, Direttore del Dpt. di Informatica, la richiesta di nominare 2 membri in una commissione paritetica che si occupi di proporre l' assegnamento di "Contratti per il supporto alla attività didattica". Dopo aver ricordato che della precedente commissione faceva parte lui stesso, assieme a Maggiolo e Turini, si dichiara disponibile a farne nuovamente parte insieme al prof. Levi.

Il Consiglio approva all'unanimità.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 104

Anno Accademico 1996-1997 Seduta del 27.10.97

Ordine del giorno: 7

Argomento: Piani di studio a.a. 1997/98

Il Presidente ricorda che dal 1 novembre gli studenti iscritti al 3º anno del Diploma Universitario in Informatica e sucessivi, ed al 4º anno del Corso di laurea in Informatica, e successivi, potranno presentare i piani di studio per l'a.a. 1997/98.

Successivamente illustra i minor proposti per l'a.a. 1997/98, e li pone in votazione.

Il Consiglio unanime approva.

Si informa quindi che alcuni dei minor attivati per l'a.a. 1997/98 hanno subito modifiche rispetto a quelli proposti per l'anno precedente. Gli studenti sono pregati di prendere visione dei nuovi Minors.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 105

Anno Accademico 1996-1997 Seduta del 27.10.97

Ordine del giorno: 8

Argomento: Pratiche studenti

Si delibera l’equipollenza di "Metodi per il Trattamento dell’informazione" del corso di laurea in Scienze dell’Informazione per "Fondamenti dell’Informatica: Calcolabilità e Complessità" e "Fondamenti dell’Informatica: Semantica" del corso di laurea in Informatica, mantenendo per entrambi la votazione riportata nell’esame di "Metodi per il Trattamento dell’informazione" .

Approvato all'unanimità.

Cisternino Antonio - Diplomato in Informatica (Pisa).

Si ammette al 4° anno del corso di Laurea in Informatica convalidando "Programmazione I" per "Programmazione I + Lab. Inf. I", "ASD I + Lab. Inf. I" per "ASD I + Lab. Inf. II", "Analisi matematica I" per idem, "Analisi matematica II" per idem, "Matematica Discreta" per idem, "Arch. elab. I" per "Arch. elab. I + Lab. Inf. III", "Calcolo delle Probabilità e Statistica Matematica" per "Calcolo delle Probabilità", "Sis. op. I + Lab. Inf. II" per "Sis. op. I + Lab. Inf. IV", "Calcolo Numerico (1 unità)" per "Analisi Numerica (2 unità)" previo colloquio integrativo, "Basi di dati e sist. inf." per "Basi di dati e sist. inf. I", "Sistemi elab. inf.: reti di calc." per idem, "Ricerca Operativa (1 unità)" per "Programmazione Matematica I (1 unità)", "Ingegneria del software I" per idem, "Linguaggi di programmazione: class. macchine astratte" per "Linguaggi di programmazione: paradigmi e macchine astratte" previo colloquio integrativo.

Si convalida inoltre "Matematica Computazionale: laboratorio"(1 unità) per idem, "algoritmi e strutture dati: Crittografia"(1 unita’) per idem, "Linguaggi di Programmazione: Programmazione Sicura "(1 unita’) per idem purchè inserite in un coerente piano di studi.

Garzella Paolo - laureato in Scienze Biologiche (Pisa).

Si ammette al 2º anno del corso di diploma in Informatica convalidando "Istituzioni di matematiche " per "Analisi matematica I" previo colloquio integrativo, "Statistica" per "Calcolo delle probabilità e Statistica Matematica".

cont. Del. n. 105/1 del 27.10.97

Caria Bruno - laureato in Ingegneria Nucleare (Pisa).

Si ammette al 2º anno del corso di diploma in Informatica convalidando "Analisi algebrica " per "Analisi Matematica I", "Analisi Analitica" per "Matematica Discreta".

Nonnis Marco - proveniente da corso di Laurea in Informatica (Pisa).

Si ammette al 2º anno del corso di diploma in Informatica convalidando "Istituzioni di matematiche " per "Analisi matematica I" previo colloquio integrativo, "Statistica" per "Calcolo delle probabilità e Statistica Matematica".

Russo Alessandro - proveniente da Scienze dell’Informazione (Firenze).

Si ammette al 3º anno del Diploma in Informatica sotto condizione.

Si convalidano gli esami di "Analisi Matematica I" per "idem", "Algebra (sem)" e "Geometria (sem)" per "Matematica Discreta" con la votazione di 26/30, "Teoria ed applicazione delle macchine calcolatrici" per "Programmazione I e Lab. di Inf. I (3UD)" previa prova di laboratorio, "Calcolo Probab. e Stat. (sem)" per "Calcolo Probab. e Stat. Mat. (1 UD)". "Calcolo Numerico (sem)" per "Calcolo Numerico (1 UD)", "Sistemi per l'Elaborazione dell’Informazio ne I" per "Architettura degli Elaboratori I e Lab. di Inf. III (3UD)" previa prova di laboratorio.

Ciuni Giuseppe - proveniente da Ingegneria Informatica (Palermo).

Si ammette al 2º anno del Corso di Laurea in Informatica.

Si convalidano gli esami di "Analisi Matematica I" per "idem, "Fondamenti di Informatica I" per la prova di laboratorio del corso di "Programmazione I e Laboratorio di Informatica I (3UD)".

Marra Francesco - proveniente da Diploma in Informatica (Pisa).

Si ammette al 2º anno del Corso di Laurea in Informatica, convalidando gli esami di comune denominazione.

Colomba Salvatore - proveniente da Scienze dell’Informazione (Pisa).

Si ammette al 3º anno del Corso di Laurea in Informatica.

Si convalidano gli esami di "Analisi Matematica I" per "idem", "Teoria ed applicazione delle macchine calcolatrici" per "Programmazione I e Lab. di Inf. I (3UD)" previa prova di laboratorio, "Calcolo Probab. e Stat. (sem)" per "Calcolo Probab." (1 UD), "Ricerca Operativa e Gestione Aziendale" per "Ricerca Operativa (1 U.D.), "Teoria degli Algoritmi e della Calcolabilità" per "Algoritmi e strutture Dati I e Laboratorio di Informatica II (3UD)" previa prova di laboratorio, "Fisica I" per "Fisica Generale I (2 UD)"; "Sistemi per l'Elaborazione dei Dati I" per "Architettura degli Elaboratori I e Lab. di Inf. III (3UD)" previa prova di laboratorio, "Sistemi per l'Elaborazione dei Dati II" per "Sistemi Operativi I e Laboratorio di Informatica IV" previa prova di laboratorio, "Metodi per l’Elaborazione dell’Informazione" per "Fondamenti dell’Informatica: Calcolabilita’ e Complessita’" + "Fondamenti dell’Informatica: Semantica".

Pastore Andrea - proveniente da Informatica (Pisa).

Si ammette al 1º anno del diploma in Informatica.

cont. Del. n. 105/2 del 27.10.97

Volandri Annalisa - proveniente da Matematica (Pisa).

Si ammette al 2º anno del Corso di laurea in Informatica.

Si convalidano gli esami di "Geometria I" e "Algebra" per "Matematica Discreta" con la votazione di venti (20) e "Analisi Matematica I" per idem.

Carrara Francesco - proveniente da Ingegneria Informatica (Pisa).

Si ammette al 1º anno del Corso di Laurea in Informatica.

Si convalida "Analisi Matematica I" per idem.

Lupo Valerio - proveniente da Scienze Biologiche (Pisa).

Si ammette al 1° anno del corso di diploma in Informatica.

Si convalida "Fisica " per "Fisica generale I".

Nencioni Leonardo - proveniente da Scienze geologiche, già proveniente da Ingegneria Informatica (Pisa).

Si ammette (a richiesta dell’interessato) al 1º anno del Corso di Laurea in Informatica.

Si convalidano gli esami di "Analisi Matematica I" per "idem, "Analisi Matematica II" per "idem, "Fisica I" per idem", "Geometria" per "Matematica Discreta" previo colloquio integrativo, "Fondamenti di Informatica I" per la prova di laboratorio del corso di "Programmazione I e Laboratorio di Informatica I (3UD)",

Stefanini Andrea - proveniente da Fisica (Pisa).

Si ammette al 1º anno del diploma in Informatica.

Si convalidano gli esami di "Analisi Matematica I" per "idem.

Mammini Michele - proveniente da Ingegneria Informatica (Pisa) è stato ammesso al 3º anno del Corso di Laurea in Informatica sotto condizione con delibera del 29/11/96. Dietro richiesta dell’interessato si modifica tale delibera limitatamente alla convalida di "Ricerca Operativa" per idem invece di "Ricerca Operativa" per "Ricerca Operativa e Gestione Aziendale".

A rettifica della delibera n. 80/3 del 04.07.97, Maria Iaquinta è autorizzata a sostenere i seguenti esami presso l'Università di Valencia (S):

"Bases de Datos" più "Diseno de Bases de Datos" più uno tra "Processament Cientific de TEXtos (Tex)" e "Entorno de trabajo para ordenadores personales" per Documentazione Automatica (anzichè Bases de Datos più Diseno de Bases de Datos più Processamente Cientific de TEXtos (Tex) per Documentazione Automatica).

Inoltre "Sistemas Operativos 1" più "Sistemas Operativos 2" per "Sistemi per l'elaborazione dell'informazione 2" (anzichè Sistemas Operativos 1 più Estructura de Computadores 2, per Sistemi per l'elaborazione dell'informazione 2).

cont. Del. n. 105/3 del 27.10.97

A rettifica della delibera n. 93/3 del 03.10.97, Giuseppina D'Andrea è autorizzata a sostenere i seguenti esami presso l'Università di Valencia (S):

"Sistemas Operativos 1" più "Sistemas Operativos 2" più uno tra "La informatica en el sistema productivo" e "Entorno de trabajo para ordenadores personales" per "Sistemi per l'elaborazione dell'informazione 2" (anzichè Sistemas Operativos 1, più Estructura de Computadores 2, più "La informatica en el sistema productivo" (ISP) per Sistemi per l'elaborazione dell'informazione 2).

Giuseppina D'Andrea è autorizzata a sostenere i seguenti esami presso l'Università di Valencia (S):

"Estadistica 1" per "Calcolo delle Probabilità e Statistica".

Maria Iaquinta è autorizzata a sostenere i seguenti esami presso l'Università di Valencia (S):

"Estadistica 1" per "Calcolo delle Probabilità e Statistica".

Marco Cavanna è autorizzato a sostenere i seguenti esami presso la Ecole Normale Superieure (Parigi - F):

"Integration et Probabilites" per "Calcolo delle Probabilità e Statistica","Systemes" per "Sistemi per l'Elaborazione dell'Informazione II".

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 106

Anno Accademico 1996-1997 Seduta del 27.10.97

Ordine del giorno: 9

Argomento: Questioni riguardanti il Diploma

Visto che tutti i bandi di concorso per la copertura dell' insegnamento di "Ricerca Operativa" è andato deserto; visto che l'art. 1 della Legge 28.12.95 n. 549 al comma 32 concede di assegnare contratti con studiosi od esperti di alta qualificazione scientifica o professionale, nei limiti delle disponibilità di bilancio delle università e per sopperire a particolari e motivate esigenze didattiche, anche per l'attivazione di corsi ufficiali; visto che i corsi suddetti a norma dello Statuto nazionale dell'Università non sono ne fondamentali ne caratterizzanti, questo Consiglio propone di coprire la titolarietà di tale corso mediante contratto da affidare alla seguente persona:

- "Ricerca Operativa", secondo anno del diploma secondo semestre;

- esperto designato per l'attribuzione del contratto: dott.ssa Gabriella RAGO;

- durata del corso : ore 25;

Al presente verbale viene allegato il curriculum e la lista delle pubblicazioni del docente proposto (vedi allegato RAGO).

L'incarico sarà coperto mediante fondi del Progetto CAMPUS, di cui il Diploma Universitario di Informatica fa parte.

In riferimento alle norme previste dalla normativa della Comunità Europea in materia, il Consiglio propone che gli venga corrisposto un compenso di L. 7.000.000.

Approvato all'unanimità.

Il prof. Pedreschi fa presente la necessità di predisporre il progetto di fattibilità CAMPUS per l'a.a. 1997/98, entro il 30 /11/97, che prevede tra l'altro la ripetizione della "Nicchia di Sicurezza" e l'attivazione di una nuova Nicchia sui "Sistemi Informativi territoriali". A tal fine i proff. Pedreschi, Baiardi e Ghelli chiedono al Consiglio la delega a predisporre tutti gli atti amministrativi necessari alla stesura dei progetti Campus relativi al D.U. (Pedreschi), alla "Nicchia di Sicurezza" (Baiardi) e alla "Nicchia SIT" (Ghelli).

Il Consiglio unanime approva.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 107

Anno Accademico 1996-1997 Seduta del 27.10.97

Ordine del giorno: 10

Argomento: Missioni, congedi e nulla-osta

Antonio Brogi, ricercatore confermato per il raggruppamento K05B presso la Facoltà di Scienze m.f.n., ha presentato domanda per l'affidamento didattico aggiuntivo dell'insegnamento di "Algoritmi e Strutture Dati" presso il Corso di Diploma in Metodologie Fisiche della Facoltà di Scienze m.f.n. dell'Università di Pisa, per l'a.a. 1997/98.

Il Consiglio esprime parere favorevole a che l'insegnamento gli venga attribuito.

Roberto Bevilacqua, professore associato per il raggruppamento A04A presso la Facoltà di Scienze m.f.n., ha presentato domanda per la supplenza dell'insegnamento di "Laboratorio di programmazione e calcolo" presso il Corso di Laurea in Chimica della Facoltà di Scienze m.f.n. dell'Università di Pisa, per l'a.a. 1997/98.

Il Consiglio esprime parere favorevole a che l'insegnamento gli venga attribuito.

Luca Gemignani, ricercatore confermato per il raggruppamento A04A presso la Facoltà di Scienze m.f.n., ha presentato domanda per l'affidamento didattico aggiuntivo dell'insegnamento di "Laboratorio di Programmazione e calcolo" presso il Corso di Laurea in Scienze dei Materiali della Facoltà di Scienze m.f.n. dell'Università di Pisa, per l'a.a. 1997/98.

Il Consiglio esprime parere favorevole a che l'insegnamento gli venga attribuito.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 108

Anno Accademico 1996-1997 Seduta del 27.10.97

Ordine del giorno: 11

Argomento: Varie ed eventuali

A richiesta dell'interessata il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Rita Giuliano ricercatrice confermata presso il Dipartimento di Matematica per le seguenti attività svolte nel triennio 1993-1996:

Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dalla Dott. ssa R. Giuliano.

Sono pervenute le richieste di afferenza al Corso di Studi in Informatica del seguente personale non-docente del Dipartimento di Informatica:

BAREA Edi, BERNARDINI Enrico, BERNARDINI Francesca, BERTANZA Anna, BERTI Sandra, BESSEGHINI Dario, CANTINI Rita, CARPENTRAS Enrico, CARPITA Isa, FRANCESCONI Luca, MONGINI Rosaria, PERINI Elena, PETRELLESE Letizia, PUCCETTI Roberto, PUCCI Sergio, REDINI Laura, ROSELLINI Paolo, SUIN Stefano, SALZANO Luigi,

cont. Del. n. 108/1 del 27.10.97

che hanno formato l'elettorato attivo e passivo per l'elezione dei rappresentanti del personale tecnico-amministrativo, in Consiglio di Corso di Studio.

Le elezioni sono state indette il 3 ottobre e si sono svolte il 27 ottobre dalle ore 9.00 alle ore 14.00 presso la Segreteria del Corso di Laurea.

La Commissione Elettorale formata da Maurizio Bonuccelli (Presidente), Dino Pedreschi (Segreterio) e Rosaria Mongini ha terminato i lavori alle ore 14.30 e sono risultati eletti

CARPENTRAS Enrico e MONGINI Rosaria

Il Consiglio approva all'unanimità l'accettazione delle richieste del personale suddetto e gli atti compiuti dal Presidente per indire le elezioni.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente