UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 1

Anno Accademico 1995-1996 Seduta del 18.12.95

L'anno millenovecentonovantacinque il giorno diciotto del mese di dicembre alle ore 15.00 presso il Dipartimento di Informatica, si è riunito in seduta ordinaria 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, Levi, Maggiolo, Montangero, Turini

Associati: Baiardi, Barbuti, Bellia, Ghelli, Leoni, Manca, Mancarella, Simi

Ricercatori ed assistenti: Brogi, Ciuffoletti, Danelutto, Gabbrielli, Giacobazzi, Masini, Occhiuto, Pelagatti, Ricci, Scutellà

Rappr. studenti: Basile, Manghi, Moscariello, Rapisarda

Rappr. non docenti: Mongini

Sono assenti giustificati

Ordinari: Benedetti, Boerger, Colombini, Degano, Gallo, Germano, Luccio, Maestrini, Modica, Romani, Vanneschi

Associati: Ambriola, Antonelli, Attardi, Caroti-Ghelli, Cazzaniga, Costantini, Menchi, Morreale, Pedreschi, Rolla, Zanzotto

Ricercatori e assistenti: Corradini, Ferrari, Laganà, Leoncini, Molè, Rossi, Sassone

Rappr. studenti: Mannini, Pisanti

Rappr. non docenti: Orsi

Presiede il Prof. G. Levi

Esercita le funzioni di Segretario il Prof. M. Bonuccelli.

cont. Del. n. 1/1 del 18.12.95

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 a.a. 1995/96

- supplenze e affidamenti

3) Pratiche studenti

4) Modifiche di piano di studi per il corso di Laurea in Scienze dell'Informazione

5) Progetto ERASMUS e TEMPUS

- Dimissioni e sostituzione responsabile

6) Verifica triennale ricercatori confermati

7) Congedi e missioni

8) Autorizzazione a risiedere fuori sede

9) Nulla osta per insegnamento

Il Presidente propone la seguente variazione all'ordine del giorno che viene approvata all'unanimità:

1) Comunicazioni

2) Perfezionamento della Programmazione Didattica a.a. 1995/96

- supplenze e affidamenti

3) Pratiche studenti

4) Modifiche di piano di studi per il corso di Laurea in Scienze dell'Informazione

5) Progetto ERASMUS e TEMPUS

- Dimissioni e sostituzione responsabile

6) Verifica triennale ricercatori confermati

7) Congedi e missioni

8) Autorizzazione a risiedere fuori sede

9) Nulla osta per insegnamento

10) Varie ed eventuali

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 2

Anno Accademico 1995-1996 Seduta del 18.12.95

Ordine del giorno: 1

Argomento: Comunicazioni

Il Presidente comunica quanto segue:

- è stato pubblicato sulla Gazzetta Ufficiale del 28 novembre 1995, il bando di concorso per la Facoltà di Scienze Matematiche, Fisiche e Naturali, per n.1 posto di ricercatore per il settore scientifico-disciplinare A04B - Ricerca Operativa (ex Malucelli) richiesto con delibera del 26 aprile 1995, con scadenza della domanda il 27.01.96.

- nelle elezioni del 5 dicembre scorso sono stati eletti quali rappresentanti degli studenti per il Consiglio di Corso di Laurea in Scienze dell'Informazione in sostituzione di Pisanti Nadia e Manghi Paolo dimissionari, gli studenti Linda Brodo e Ercole Luca Bove.

- in data 6 dicembre 1995 si è riunita a Roma la Commissione per i giudizi di conferma in ruolo dei ricercatori. I dott. Corradini Andrea, Danelutto Marco, Ferrari Gianluigi, Ricci Laura, Rossi Francesca hanno ottenuto unanimamente una valutazione positiva che li conferma in ruolo di ricercatori nel raggruppamento K05B.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 3

Anno Accademico 1995-1996 Seduta del 18.12.95

Ordine del giorno: 2

Argomento: Perfezionamento della Programmazione Didattica a.a. 1995/96

- supplenze e affidamenti

E' pervenuta la sola domanda del dott. Marco Danelutto, ricercatore confermato 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 della dott.ssa Francesca Rossi, ricercatrice confermata 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 della dott.ssa Maria Grazia Scutellà, ricercatrice confermata 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. Gianluigi Ferrari, ricercatore confermato 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. 3/1 del 18.12.95

E' pervenuta la sola domanda della dott.ssa Laura Ricci, ricercatrice confermata presso il Dipartimento di Informatica, del raggruppamento K05B.

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

Approvato all’unanimità.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 4

Anno Accademico 1995-1996 Seduta del 18.12.95

Ordine del giorno: 3

Argomento: Pratiche studenti

Il consiglio delibera che per i passaggi da Corso di Laurea in Scienze dell’Informazione a Corso di Laurea in Informatica, oltre ai riconoscimenti già deliberati:

si riconosca anche

"Fisica I" per "Fisica Generale I".

Approvato all'unanimità.

Mangini Tommaso - proveniente dal Diploma in Informatica (Pisa).

Miraglia Ivan - Diploma In Informatica (Cagliari)

Si convalidano: "Analisi Matematica I" per idem; "Matematica Discreta" per idem previo colloquio integrativo; "Calc. Prob. e Stat. Mat. (1 unità)" per "Calcolo delle Probabilità (1 unità)" previo colloquio integrativo; "Analisi Numerica 1 (1 unità)" e "Analisi Numerica 2 (1 unità)" per "Analisi Numerica" con la votazione di 30 (trenta) previo colloquio integrativo; "Fisica Generale (1 unità)" per "Fisica Generale I (2 unità)" previo colloquio integrativo; "Architetture degli Elaboratori I e Laboratorio di Informatica I" per "Architetture degli Elaboratori I" previo colloquio.

Ciofetta Marco - da Scienze dell’Informazione (Bari)

Si ammette al 4° anno del Corso di Laurea in Scienze dell’Informazione.

Si convalidano i seguenti esami sostenuti presso l’Accademia Navale di Livorno: "Analisi matematica I" per idem, "Geometria" per idem (sem), "Fisica I" per idem, "Algebra" per idem (sem.), "Analisi Matematica II" per idem, "Fisica II" per idem, "Teoria ed Applicazione delle Macchine Calcolatrici" per idem, "Calcolo delle

Cont. del. n. 4/1 del 18.12.95

Probabilità e Statistica" per idem (sem), "Sistemi per l'Elaborazione dell'informazione I" per idem, "Ricerca operativa e gestione aziendale" per idem, "Sistemi per l'Elaborazione dell'informazione II", previo colloquio integrativo, per idem, "Calc. Num. Graf. Mec. Elettron." per "Calcolo Numerico" (sem), previo colloquio integrativo.

Il piano di studi dovrà includere "Teoria degli algoritmi e della calcolabilità".

Ruggeri Alessandro - proveniente da Ingegneria Informatica (Pisa).

Si convalidano gli esami di "Analisi Matematica I" per "idem", "Informatica Teorica (sem)" e "Fondamenti di Informatica I" per "Algoritmi e strutture Dati I e Laboratorio di Informatica I" previo colloquio integrativo.

L’esame di "Economia ed Organizzazione Aziendale" potrà essere, eventualmente, convalidato se verrà attivato un esame dai contenuti corrispondenti.

Barbieri Andrea - proveniente da Ingegneria Informatica (Pisa).

Si convalidano gli esami di "Analisi Matematica I" per "idem", "Analisi Matematica II" per "idem (1 UD)", "Fisica I" per "Fisica Generale I".

Fasano Andrea - proveniente da Ingegneria Informatica (Pisa).

Si convalidano gli esami di "Analisi Matematica I" per "idem", "Informatica Teorica (sem)" e "Fondamenti di Informatica I" per "Algoritmi e strutture Dati I e Laboratorio di Informatica I" previo colloquio integrativo.

Ianett Roberto - proveniente da Ingegneria Informatica (Pisa).

Si convalidano gli esami di "Analisi Matematica I" per "idem", "Informatica Teorica (sem)" e "Fondamenti di Informatica I" per "Algoritmi e strutture Dati I e Laboratorio di Informatica I" previo colloquio integrativo, "Geometria e Algebra" per "Matematica Discreta" previo colloquio integrativo,.

Nonnis Marco - proveniente da Ingegneria Civile (Pisa).

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

Lolo Andrea Marco - proveniente da Ingegneria Informatica (Pisa).

Lais Loris - proveniente da Ingegneria Elettronica (Pisa).

Fabbri Robert - proveniente da Ingegneria Elettronica (Pisa).

Cont. del. n. 4/2 del 18.12.95

Rovito Andrea - proveniente da Ingegneria Informatica (Pisa).

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

Centelli Alessio - proveniente da Giurisprudenza (Pisa).

Lo Faro Paolo - proveniente da Scienze Politiche (Pisa).

Giaccherini Gianni - proveniente dal Diploma in Informatica (Pisa).

Pruneti Stefania - proveniente dal Corso di Laurea in Informatica (Pisa).

Brogi Giulia - proveniente dal Corso di Laurea in Informatica (Pisa).

Giannessi Dario - proveniente dal Corso di Laurea in Informatica (Pisa).

Si convalida inoltre "Fisica Generale I (2 UD)" per "Fisica Generale (1 UD)" purché inserito in un piano di studi coerente.

Netto Igor - proveniente dal Corso di Laurea in Informatica (Pisa).

Botticchio Christian - proveniente dal Corso di Laurea in Informatica (Pisa).

Fabiani Rodolfo - proveniente dal Corso di Laurea in Informatica (Pisa).

Giannese Stefania - proveniente dal Corso di Laurea in Informatica (Pisa).

Tognini Samuele - proveniente dal Corso di Laurea in Informatica (Pisa).

Cont. del. n. 4/3 del 18.12.95

Martinelli Matteo - proveniente dal Corso di Laurea in Informatica (Pisa).

D’Angelo Veronica - proveniente da Scienze dell’Informazione (Pisa).

Si convalidano gli esami di "Teoria degli Algoritmi e della Calcolabilità" per "Algoritmi e strutture Dati I e Laboratorio di Informatica I" previa prova di laboratorio, "Sistemi per l'Elaborazione dei Dati I" per "Architettura degli Elaboratori I", "Fisica I" per "Fisica Generale I".

Giuntoli Michele - proveniente da Scienze dell’Informazione (Pisa).

Si convalidano gli esami di "Geometria (sem)" e "Algebra" per "Matematica Discreta" con la votazione di 22 (ventidue), "Teoria ed applicazione delle macchine calcolatrici" per "Programmazione I", "Teoria degli Algoritmi e della Calcolabilità" per "Algoritmi e strutture Dati I e Laboratorio di Informatica I" previa prova di laboratorio, "Sistemi per l'Elaborazione dei Dati I" per "Architettura degli Elaboratori I", "Fisica I" per "Fisica Generale I".

Risca Filippo - proveniente da Scienze dell’Informazione (Pisa).

Si convalidano gli esami di "Teoria ed applicazione delle macchine calcolatrici" per "Programmazione I", "Teoria degli Algoritmi e della Calcolabilità" per "Algoritmi e strutture Dati I e Laboratorio di Informatica I" previa prova di laboratorio, "Architettura degli Elaboratori I" per "Architettura degli Elaboratori I".

Passetti Glauco- proveniente da Scienze dell’Informazione (Pisa).

Si convalidano gli esami di "Geometria (sem)" e "Algebra" per "Matematica Discreta" con la votazione di 23 (ventitre), "Teoria ed applicazione delle macchine calcolatrici" per "Programmazione I", "Sistemi per l'Elaborazione dei Dati I" per "Architettura degli Elaboratori I", "Ricerca Operativa e Gestione Aziendale" per "Programmazione Matematica I (1UD)".

Gaio Daniele - proveniente da Scienze dell’Informazione (Pisa).

Si convalidano gli esami di "Analisi Matematica I" per "idem", "Geometria (sem)" per "Matematica Discreta" previo colloquio, "Teoria ed applicazione delle macchine calcolatrici" per "Programmazione I", "Calcolo Probab. e Stat. (sem)" per "Calcolo Probab. e Stat. Mat. (1 UD)", "Teoria degli Algoritmi e della Calcolabilità" per "Algoritmi e strutture Dati I e Laboratorio di Informatica I" previa prova di laboratorio, "Sistemi per l'Elaborazione dei Dati I" per "Architettura degli Elaboratori I".

Si convalida inoltre uno tra "Fisica I" per "Fisica Generale (1 UD)", e "Analisi II" per "Analisi Matematica II (1UD)", purché inserito in un piano di studi coerente.

Cont. del. n. 4/4 del 18.12.95

D’Amaro Luigi Elia - proveniente da Economia e Commercio (Pisa).

Si convalida la frequenza al corso di "Matematica Generale" per le frequenze ai corsi di "Matematica Discreta" e "Analisi I". Per eventuali convalide degli esami superati, lo studente è invitato a presentarne i programmi.

Taddei Andrea - proveniente da Scienze dell’Informazione (Pisa).

Si convalidano gli esami di "Analisi Matematica I" per "idem", "Fisica I" per "Fisica Generale I", "Algebra (sem)" e "Geometria (sem)" per "Matematica Discreta" con la votazione di 20 (venti), "Teoria ed applicazione delle macchine calcolatrici" per "Programmazione I", "Teoria degli Algoritmi e della Calcolabilità" per "Algoritmi e strutture Dati I e Laboratorio di Informatica I" previa prova di laboratorio, "Sistemi per l'Elaborazione dei Dati I" per "Architettura degli Elaboratori I".

Cirillo Valerio - proveniente da Scienze dell’Informazione (Pisa).

Si convalidano gli esami di "Fisica I" per "Fisica Generale I", "Teoria ed applicazione delle macchine calcolatrici" per "Programmazione I", "Teoria degli Algoritmi e della Calcolabilità" per "Algoritmi e strutture Dati I e Laboratorio di Informatica I" previa prova di laboratorio, "Sistemi per l'Elaborazione dei Dati I" per "Architettura degli Elaboratori I".

Barlettani Giacomo - proveniente dal Corso di Laurea in Informatica (Pisa).

Marini Serena - Verbale CCL 25-10-95

Ammessa al primo anno del Diploma in Informatica.

Si convalida dell’esame di "Istituzioni di matematiche" per "Analisi Matematica I" e si ammette al secondo anno del Diploma in Informatica.

Farneti Federico - Verbale CCL 22-11-91.

Lo studente, chiede il riconoscimento degli esami di: "Elettrotecnica e Macchine Elettriche", "Elettronica Applicata", "Condotta oper. TLC/IOC con elementi di radiopropagazione", "Sistemi d’arma art. miss. II con elementi di elettrom." e "Sistemi d’arma A/S e Sub con elementi di condotta delle operazioni A/S". La richiesta viene respinta poiché non sono previsti corsi con contenuti analoghi nel Corso di Laurea in Scienze dell’Informazione.

Mortilla Eric Gustavo - Verbale CCL 22-11-91.

Lo studente, chiede il riconoscimento degli esami di: "Elettrotecnica e Macchine Elettriche", "Elettronica Applicata", "Condotta oper. TLC/IOC con elementi di radiopropagazione", "Sistemi d’arma art. miss. II con elementi di elettrom." e "Sistemi d’arma A/S e Sub con elementi di condotta delle operazioni A/S". La richiesta viene respinta poiché non sono previsti corsi con contenuti analoghi nel Corso di Laurea in Scienze dell’Informazione.

Cont. del. n. 4/5 del 18.12.95

Bielli Andrea - Verbale CCL 25-10-91.

Lo studente, chiede il riconoscimento degli esami di: "Elettrotecnica e Macchine Elettriche", "Elettronica Applicata", "Condotta oper. TLC/IOC con elementi di radiopropagazione", "Sistemi d’arma art. miss. II con elementi di elettrom." e "Sistemi d’arma A/S e Sub con elementi di condotta delle operazioni A/S". La richiesta viene respinta poiché non sono previsti corsi con contenuti analoghi nel Corso di Laurea in Scienze dell’Informazione.

Di Mascio Graziano - Diplomato alla Scuola Diretta a Fini Speciali in Informatica (Pisa).

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

Restano valide le convalide approvate con delibera n. 08/03 del 22.11.94.

Leone Maurizio - Verbale CCL 24-01-92.

Ad integrazione della delibera n. 18 del 24.01.92, si convalida anche l'esame di "Metodi per il Trattamento dell'Informazione" sostenuto il 30/11/90 presso l'Universit`a di bari, con la votazione di 24/30.

Di Mascio Nino - Diplomato alla Scuola Diretta a Fini Speciali in Informatica (Camerino).

Si ammette al 2° anno del Diploma in Informatica.

Si convalidano "Probabilità e Statistica" per "Calcolo delle Probabilità e Statistica Matematica (1 UD)" con la votazione di 24 (ventiquattro); "Architettura degli Elaboratori" e "Sistemi per l'Elaborazione dei Dati" per "Architettura degli Elaboratori I" con la votazione di 25 (venticinque); "Introduzione agli Algoritmi ed alla Programmazione" e "Applicazioni Gestionali" per "Algoritmi e Strutture Dati I" e "Laboratorio di Informatica I" previo colloquio integrativo con la votazione di 23 (ventitre); "Istituzioni di Matematica" per "Matematica Discreta" previo colloquio integrativo con la votazione di 22 (ventidue); "Matematica Computazionale" per "Calcolo Numerico (1 UD)" con la votazione di 20 (venti); "Sistemi Informativi" e "Basi di Dati" per "Basi di Dati e Sistemi Informativi" con la votazione di 23 (ventitre).

Falessi Giacomo - da Accademia Navale di Livorno

Richiede l’ammissione al Corso di Laurea in Scienze dell’Informazione. La richiesta è rifiutata, poiché i trasferimenti ai primi tre anni del corso di laurea in Scienze dell’Informazione non sono più possibili.

Il richiedente è ammesso al 3° anno del corso di Laurea in Informatica sotto condizione.

Si convalidano "Analisi matematica I" per idem, "Geometria" e "Algebra" per "Matematica Discreta", "Fisica I" per "Fisica Generale I", "Analisi Matematica II" per idem (1 UD), "Fisica II" per "Fisica Generale II (1 UD)", "Teoria ed Applicazione delle Macchine Calcolatrici" per "Programmazione I", "Calcolo delle Probabilità e Statistica" per "Calcolo delle Probabilità (1 UD)", "Sistemi per l'Elaborazione dell'informazione I" per "Architettura degli Elaboratori I", "Ricerca operativa e gestione aziendale" per "Programmazione Matematica (1 UD)", "Sistemi per l'Elaborazione dell'informazione II" per "Sistemi Operativi e Laboratorio di Informatica II" previo superamento della prova di laboratorio.

Cont. del. n. 4/6 del 18.12.95

Gli esami di Fisica Generale II, Calcolo delle Probabilità, Programmazione Matematica, Analisi Numerica potranno essere registrati solo dopo che lo studente avrà ottenuto l’iscrizione al 3° anno.

Per un’eventuale riconoscimento degli esami di argomento elettronico si deve attendere l’attivazione di un corso corrispondente nel corso di Laurea in Informatica.

Daniel Amor - Chiede il passaggio da Informatica, Universita di Tuebingen.

A parziale rettifica della delibera di CCL n. 101/2 del 20.09.95, si ammette al 4° anno del Corso di Laurea in Scienze dell’Informazione.

Tenendo conto del fatto che lo studente non ha avuto voti assegnati per gli esami superati, lo studente dovrà superare un colloquio integrativo per ciascuno degli esami che gli verranno riconosciuti, e il voto verrà assegnato durante tale colloquio.

Si convalidano quindi, previo colloquio su tutti gli esami, "Informatica I" per "Teoria ed Applicazioni delle Macchine Calcolatrici", "Analisi Matematica I" per "idem", "Fisica I" per idem, "Algebra Lineare I" per "Geometria (sem)", "Algebra Lineare II" "Algebra (sem)", "Analisi Matematica II" per "idem", "Informatica II" e "Algoritmi" per "Teoria degli Algoritmi e della Calcolabilità", "Analisi Numerica I" per "Calcolo Numerico (sem)", "Architetture I" per "Sistemi per l’Elaborazione dell’Informazione I", "Sistemi Operativi" per "Sistemi per l’Elaborazione dell’Informazione II", "Informatica III" per "Metodi per il Trattamento dell’Informazione", "Fisica II" per "idem", "Architetture II" e "Sistemi Operativi II" per "Progetto di Sistemi Numerici".

Si convalidano inoltre, previo colloquio, "Informatica Tecnica I" e "Informatica Tecnica II" e "Informatica Tecnica Pratica" per "Elettronica", "Trasmissione Dati I" per "Comunicazioni Elettriche", "Modellazione Geometrica I" e "Modellazione Geometrica I" per "Elaborazione dell’Immagine", purché inserite in un piano di studi coerente.

Il consiglio da mandato ai professori Rolla, Romani, Danelutto, Attardi, Mancarella affinché curino lo svolgimento dei colloqui integrativi, secondo i suggerimenti formulati dalla commissione pratiche studenti.

Paola NATALE è autorizzata a sostenere presso l'Università di Umea (S):

"Operating Systems" per "Sistemi per l'Elaborazione dell'Informazione II"; "Numerical Linear Algebra" per "Calcolo Numerico".

E` autorizzata inoltre a sostenere "Programming Languag Concepts" come requisito parziale per 'Linguaggi Formali e Compilatori", che le sarà riconosciuto previo colloquio integrativo sui seguenti argomenti:

Struttura delle realizzazioni classiche (compilatori e interpreti); ambienti di programmazione. Automi a stati finiti, espressioni e linguaggi regolari (richiami); Analisi lessicale e generatori di analizzatori lessicali; Grammatiche libere e aspetti sintattici dei linguaggi di programmazione (richiami); Tecniche di analisi sintattica LL e LR e generatori di analizzatori sintattici; Forme intermedie e traduzione diretta dalle sintassi; Ottimizzazione del codice; Tabelle dei simboli; Gestione degli errori.

Testo di riferimento: Aho A.V., Sethi R., Ullman J.D., Compilers. Principles, Techniques and Tools, Addison Wesley, Reading, Mass., 1986, cap 1, 3 (3.1, 3.3-3.9*),4**,5 (5.1-5.6),6 (6.1-6.5), 7 (7.1-7.5),8,9 (9.4-9.8), 10 (10.1-10.9 + eserc. 10.8, 10.9)***.

* tranne "Minimizing the number of states" e "Table compression"

Cont. del. n. 4/7 del 18.12.95

** tranne "Precedence Functions"

*** in 10.3 non "Use of algebraic identities", in 10.5 non "General Control Flow", in 10.9 solo "Finding dominators".

Roberta GIANNONI è autorizzata a sostenere presso l'Università di Umea (S):

"Computational Intelligence" per "Elaborazione dell'Informazione Non Numerica"; "Numerical Linear Algebra" per "Calcolo Numerico".

Chiara BIANCHERI è autorizzata a sostenere presso l'Università di Nizza (F): "Algorithmique Parallele et distribueè" per "Tecniche Numeriche e Analogiche"

Dario CARDILE è autorizzato a sostenere presso l'Università di Limerick (Irlanda): "Atificial Intelligence (CS4816)" per "Elaborazione dell'informazione non numerica".

Paolo CIAMARONE è autorizzato a sostenere presso la Università di Leiden: Numerical Mathematics per Calcolo Numerico.

Sergio BRANDANO - in base alla documentazione pervenuta (allegato n. 1), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso l'Università di Linkoping (Svezia), per gli esami già riconosciuti equipollenti con precedente delibera n. 16 del CCL del 19/12/94.

"Advanc. Comp. Archit." (TDTS 51) e "Advanc. Comp. Archit. Project" (TDTS 83) per "Progetto di Sistemi Numerici": 30/30 in data 1/11 /95;

"System Software" (TDDB01) per "Sistemi per l'Elaborazione dell'Informazione II": 26/30 in data 22/4/95;

"Numerical Algorithms (TANA 42)" per "Calcolo Numerico": 30/30 in data 14/6/95.

Si riconosce inoltre il seguente esame, che viene contestualmente riconosciuto equipollente:

"Probability and Statistics: First Course (TAMS 10) per "Calcolo delle Probabilità e Statistica": 30/30 in data 23/2/95;

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 5

Anno Accademico 1995-1996 Seduta del 18.12.95

Ordine del giorno: 4

Argomento: Modifiche di piano di studi per il corso di Laurea in Scienze dell'Informazione

Il Presidente propone che, per l'anno accademico 1996/97, siano possibili, da parte degli studenti del Corso di Laurea in Scienze dell'Informazione, solo modifiche di piano di studi che prevedano l'inserimento di corsi per i quali esiste un corso equivalente attivato nel nuovo Corso di Laurea e di Diploma in Informatica.

La proposta viene approvata con 4 voti contrari ed 1 astenuto.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 6

Anno Accademico 1995-1996 Seduta del 18.12.95

Ordine del giorno: 5

Argomento: Progetto ERASMUS e TEMPUS

- Dimissioni e sostituzione responsabile

In seguito alla nomina a Direttore del Centro di Calcolo del Dipartimento di Informatica, il prof. Carlo Montangero si dimette dalla carica di responsabile del progetto Erasmus-Tempus.

La commissione Erasmus-Tempus risulta quindi essere composta dalla professoressa Maria Simi, che prende il posto di responsabile, e dal dott. Alessandro Sperduti, che si è dichiarato disponibile a farne parte.

Approvato all'unanimità.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 7

Anno Accademico 1995-1996 Seduta del 18.12.95

Ordine del giorno: 6

Argomento: Verifica triennale ricercatori confermati

E' pervenuta la domanda di giudizio sulla propria attività didattica per la verifica triennale di Elisabetta Fortuna.

Il Consiglio esprime il seguente giudizio approvato all'unanimità.

Elisabetta FORTUNA - Ricercatore Universitario confermato presso la Facoltà di Scienze M.F.N. dell'Università di Pisa, ha svolto la seguente attività didattica nel periodo 01.11.92 - 01.11.95 (allegato 1) per il Corso di Laurea in Scienze dell'Informazione prima, e in Informatica poi:

Il Consiglio esprime la sua piena soddisfazione per le funzioni svolte e per l'attività didattica del candidato.

Approvato all'unanimità.

A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Isidoro Ferrante ricercatore non confermato presso il Dipartimento di Fisica, per le seguenti funzioni svolte nel periodo 01.11.1992 - 01.11.95 presso il Corso di Laurea in Scienze dell'Informazione (allegato 2).

Nel corso di tale periodo ha svolto:

Cont, del.n.7/1 del 18.12.95

Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. I. Ferrante.

Approvato all'unanimità.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 8

Anno Accademico 1995-1996 Seduta del 18.12.95

Ordine del giorno: 7

Argomento: Congedi e missioni

Esce il prof. Albano.

Antonio ALBANO, professore ordinario di "Basi di Dati e Sistemi Informativi", ha richiesto il nulla-osta per un congedo per motivi di studio e di ricerca a norma dell'art. 10 della legge 311 del 18.03.58, da usufruire per 5 mesi, dall’01.03.96 al 31.07.96.

Il prof. Albano intende dedicarsi esclusivamente all'attività di ricerca presso il Department of Computer Science, University of Sydney, Australia.

Il Consiglio delibera il nulla osta al congedo in quanto il corso di cui è titolare è stato svolto nel primo semestre di quest'anno accademico.

Approvato all'unanimità.

Rientra il prof. Albano.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 9

Anno Accademico 1995-1996 Seduta del 18.12.95

Ordine del giorno: 8

Argomento: Autorizzazione a risiedere fuori sede

Su richiesta degli interessati e in base alla circolare rettoriale nº 11018 del 31.05.94, il Consiglio delibera il proprio nulla-osta a che i Dott. Luca GEMIGNANI e Maurizio GABBRIELLI risiedano fuori sede per gli anni accademici 1995-96, 1996-97 e 1997-98, in quanto ciò non contrasta con l'assolvimento dei loro compiti istituzionali.

Approvato all'unanimità

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 10

Anno Accademico 1995-1996 Seduta del 18.12.95

Ordine del giorno: 9

Argomento: Nulla-osta per insegnamento

Esce il Dott. Danelutto.

Marco Danelutto ricercatore confermato presso il dipartimento di Informatica del raggruppamento K05B, ha richiesto il nulla-osta per poter tenere l'insegnamento di "Sistemi per l'Elaborazione dell'Informazione" presso il Diploma Universitario in Informatica della Facoltà di Scienze dell'Università di Perugia, per l'a.a. 1995/96.

Il dott. Danelutto comunica che tale insegnamento non interferirà con la didattica da lui svolta presso il Corso di Laurea di Informatica.

Il Consiglio delibera il nulla-osta a tenere il suddetto insegnamento in quanto ciò non arreca pregiudizio all'attività didattica.

Approvato all'unanimità.

Rientra il dott. Danelutto.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 11

Anno Accademico 1995-1996 Seduta del 18.12.95

Ordine del giorno: 10

Argomento: Varie ed eventuali

Maggiolo segnala il problema del piano di studi degli studenti di Matematica, indirizzo logico-informatico. Tale piano prevede, oltre agli esami di Logica, TAMC modulo I e TAMC modulo II un altro semestrale di informatica da scegliersi tra gli esami del corso di Informatica.

La mancanza di esami semestrali in tale corso pone tre alternative: o che gli studenti prendano un esame annuale di informatica accordandosi con il docente su un programma ridotto (però ci sarebbero problemi connessi con il fatto che il corso figurerebbe come annuale) o che rinuncino a un TAMC semestrale per un annuale del corso di informatica (pare che ai matematici andrebbe bene, ma sarebbe un peccato che gli studenti di matematica non seguissero un corso fatto apposta per loro) o, infine, e questo è il suggerimento di Maggiolo, che i matematici inseriscano nello statuto titoli di corsi semestrali di informatica che possano essere mutuati su corsi del corso di laurea di Informatica (ma che comunque figurerebbero come semestrali, ovviando al problema detto prima).

Maggiolo propone che Levi prenda contatto con il presidente del corso di laurea in Matematica per studiare il problema.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente