UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 85

Anno Accademico 1996-1997 Seduta del 03.10.97

L'anno millenovecentonovantasette il giorno tre 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 : Albano, Boerger, Bonuccelli, Capovani, Degano, Gallo, Germano, Levi, Maggiolo, Pallottino, Turini, Vanneschi

Associati: Ambriola, Antonelli, Baiardi, Barbuti, Barcaro, Bellia, Bevilacqua, Cazzaniga, Ghelli, Manca, Mancarella, Menchi, Pedreschi, Rolla, Simi

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

Rappr. studenti: Moscariello

Rappr. non docenti: Mongini

Sono assenti giustificati

Ordinari: Balsamo, Bertossi, Colombini, Lodi, Luccio, Maestrini, Modica, Pagli, Romani, Traverso

Associati: Acquistapace, Fidecaro, Morreale, Pardini, Starita

Ricercatori e assistenti: Fortuna, Sassone

Rappr. studenti: Bove, Brodo

Rappr. non docenti:

Presiede il Prof. M. Bonuccelli

Esercita le funzioni di Segretario il Prof. Degano

cont. Del. n. 85/1 del 03.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) Perfezionamento della Programmazione Didattica a.a. 1997/98

3) Corsi integrativi retribuiti e professori a contratto a.a.1997/98

4) Regolamentazione dei requisiti minini per passaggi ad anni di corso

successivi

5) Commissione pratiche studenti:

- sostituzione membro

6) Ratifica provvedimento d'urgenza

7) Pratiche studenti

8) Questioni riguardanti il Diploma

9) Verifica periodica dell'attività didattica, di ricercatori universitari

confermati

10) Missioni, congedi e nulla-osta

11) Varie ed eventuali

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

1) Comunicazioni

2) Modalità di esame per il corso di "Metodi per Trattamento dell'

Informazione"

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

4) Corsi integrativi retribuiti e professori a contratto a.a.1997/98

5) Regolamentazione dei requisiti minini per passaggi ad anni di corso

successivi

6) Commissione pratiche studenti:

- sostituzione membro

7) Ratifica provvedimento d'urgenza

8) Pratiche studenti

9) Questioni riguardanti il Diploma

10) Verifica periodica dell'attività didattica, di ricercatori universitari

confermati

11) Missioni, congedi e nulla-osta

12) Varie ed eventuali

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 86

Anno Accademico 1996-1997 Seduta del 03.10.97

Ordine del giorno: 1

Argomento: Comunicazioni

Il Presidente comunica quanto segue:

- l'Istituto CNUCE fa sapere di aver istituito nell'ambito della Convenzione esistente fra Università e CNR, alcuni premi di laurea per lavori di tesi svolti da studenti afferenti al nostro corso di laurea con supervisione congiunta di relatori del Dipartimento e del CNUCE;

- il dott. Vladimiro Sassone, ricercatore non confermato in servizio presso il nostro Dipartimento, ha inoltrato le proprie dimissioni volontarie dal servizio a decorrere dal 1 novembre 1997, riservandosi la facoltà di chiedere la riammissione in servizio nei termini e nelle modalità previste dalla legge.

- in base alla delibera del Consiglio del 7/3/97, i corsi obbligatori dei primi tre anni devono svolgere i compitini di verifica. Dopo una breve discussione, il Consiglio dà mandato alla Presidenza del Consiglio di Corso di Laurea di predisporre un calendario dei compitini.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 87

Anno Accademico 1996-1997 Seduta del 03.10.97

Ordine del giorno: 2

Argomento: Modalità di esame per il corso di "Metodi per Trattamento dell' Informazione"

Turini chiede di discutere le modalità di svolgimento dell'esame di Metodi per il Trattamento dell'Informazione per gli studenti di Scienze dell'Informazione proponendo quanto degue:

"Per l'esame di "Metodi per il Trattamento dell'Informazione" del corso di laurea in Scienze dell'Informazione e per l'esame di "Metodi formali dell'informatica (A.A. 95/96)" deve essere sostenuto l'esame di "Fondamenti dell'Informatica: semantica" del corso di laurea in Informatica più un colloquio integrativo, i cui contenuti sono quelli del corso di "Fondamenti dell'Informatica: calcolabilità e complessità" di Informatica dell'A.A. 97/98 (Proff. P.Degano, G.Germano). Il colloquio integrativo può essere sostenuto separatamente con i docenti di "Fondamenti dell'Informatica: calcolabilità e complessità" oppure come orale aggiuntivo dell'esame di "Fondamenti dell'Informatica: semantica".

Dopo una breve discussione, il Consiglio unanime approva.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 88

Anno Accademico 1996-1997 Seduta del 03.10.97

Ordine del giorno: 3

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

A correzione della delibera n. 42/5 del CCL 11.04.97 con la quale il corso di "Fondamenti dell'Informatica: semantica della concorrenza" era stato assegnato per affidamento didattico sostitutivo al prof. Degano, il Consiglio delibera che per l'a.a. 1997/98, tale corso venga disattivato.

Approvato all'unanimità.

A correzione della delibera n. 75 del CCL del 04.07.97, il corso di "Basi di Dati e Sistemi informativi: basi di dati Deduttive" erroneamente posto sul primo semestre, viene allocato sul secondo semestre del quinto anno del Corso di Laurea in Informatica. A completamento quindi di detta delibera ed in seguito alla disattivazione di alcuni corsi, lo schema finale dell'allocazione dei corsi sui semestri risulta essere il seguente:

Programmazione I (2 u. d.)

Analisi Matematica I (2 u. d.)

Laboratorio di Informatica I (1 u. d.)

Algoritmi e Strutture dati I (2 u. d.)

Matematica Discreta (2 u. d.)

Laboratorio di Informatica II (1 u. d.)

Architettura degli Elaboratori I (2 u. d.)

Laboratorio di Informatica III (1 u. d.)

Calcolo Numerico (1 u. d.)

Calcolo delle Probabilità e Statistica matematica (1 u. d.)

cont. Del. n. 88/1 del 03.10.97

Laboratorio di Informatica IV (1 u. d.)

Sistemi Operativi I (2 u. d.)

Ricerca Operativa: organizzazione e Gestione aziendale (1 u. d.)

Ricerca Operativa (1 u. d.)

Basi di Dati e sistemi informativi (1 u. d.)

Ingegneria del Software (1 u. d.)

Linguaggi di programmazione: Classificazione e Macchine astratte (1 u. d.)

Sistemi di Elaborazione dell'informazione: Reti di calcolatori (1 u. d.)

Informatica Generale: Aspetti sociali, etici e professionali (1 u. d.)

Architettura degli Elaboratori: Sicurezza (1 u. d.)

Algoritmi e Strutture dati: Crittografia (1 u. d.)

Linguaggi di Programmazione: programmazione Sicura (1 u. d.)

Programmazione I (2 u. d.)

Analisi Matematica I (2 u. d.)

Laboratorio di Informatica I (1 u. d.)

Algoritmi e Strutture dati I (2 u. d.)

Matematica Discreta (2 u. d.)

Laboratorio di Informatica II (1 u. d.)

Architettura degli Elaboratori I (2 u. d.)

Laboratorio di Informatica III (1 u. d.)

Analisi Matematica II (1 u. d.)

Logica Matematica (1 u. d.)

Fisica Generale I (2 u. d.)

Laboratorio di Informatica IV (1 u. d.)

Sistemi Operativi I (2 u. d.)

Analisi Numerica (2 u. d.)

Basi di Dati e sistemi informativi I (1 u. d.)

Calcolo delle Probabilità (1 u. d.)

Fondamenti dell'informatica: Calcolabilità e Complessità (1 u. d.)

cont. Del. n. 88/2 del 03.10.97

Architettura degli Elaboratori II: architetture parallele e distribuite (1 u. d.)

Fisica Generale II (1 u. d.)

Fondamenti dell'informatica: Semantica (1 u. d.)

Linguaggi di programmazione: linguaggi Formali e Compilatori (1 u. d.)

Programmazione Matematica (1 u. d.)

Teoria dell'Informazione (1 u. d.)

Ingegneria del Software (1 u. d.)

Basi di Dati e sistemi informativi II (1 u. d.)

Intelligenza Artificiale 1 (1 u. d.)

Ingegneria del Software: Laboratorio di progettazione (1 u. d.)

Linguaggi di programmazione: Paradigmi e Macchine astratte (1 u. d.)

Architettura degli Elaboratori III (1 u. d.)

Sistemi di Elaborazione dell'informazione: Reti di calcolatori (1 u. d.)

Algoritmi e Strutture dati: algoritmi Paralleli e distribuiti (1 u. d.)

Sistemi Operativi II (1 u. d.)

Apprendimento Automatico (1 u. d.)

Fisica Generale: Modelli della fisica (1 u. d.)

Fondamenti dell'informatica: Linguaggi formali e Automi (1 u. d.)

Interazione Uomo-macchina: Fondamenti di computer graphics (1 u. d.)

Linguaggi di programmazione: Linguaggi Funzionali (1 u. d.)

Programmazione: Metodi Formali (1 u. d.)

Reti Neurali (1 u. d.)

Teoria dei Segnali (1 u. d.)

Architettura degli Elaboratori: Laboratorio di sistemi a parallelismo massiccio(1 u. d.)

Architettura degli Elaboratori: sistemi a Parallelismo massiccio (1 u. d.)

Basi di Dati e sistemi informativi: basi di dati Distribuite e parallele (1 u. d.)

Basi di Dati e sistemi informativi: Laboratorio (1 u. d.)

Informatica Teorica: Calcolabilità (1 u. d.)

Informatica Teorica: Metodi algebrici (1 u.d.)

Ingegneria della Conoscenza e sistemi esperti (1 u.d.)

Intelligenza Artificiale: Laboratorio (1 u. d.)

Interazione Uomo-macchina: Programmazione di interfacce grafiche (1 u. d.)

cont. Del. n. 88/3 del 03.10.97

Linguaggi di programmazione: Linguaggi Logici (1 u.d.)

Linguaggi di programmazione: Tecniche Avanzate di compilazione (1 u.d.)

Ottimizzazione Combinatoria (1 u. d.

Programmazione: Laboratorio di programmazione Funzionale (1 u.d.)

Programmazione: Laboratorio di Tecniche di raffinamento (1 u.d.)

Ricerca Operativa: reti di Comunicazione (1 u.d.)

Sistemi di elaborazione dell'informazione: Applicazioni Parallele (1 u.d.)

Algoritmi e strutture dati: Bioinformatica (1 u.d.)

Economia dei Sistemi industriali (1 u. d.)

Elettronica (1 u. d.)

Elettronica: sistemi Digitali (1 u. d.)

Fondamenti dell'informatica: Modelli e Specifiche per la concorrenza (1 u. d.)

Informatica Generale: Didattica dell'informatica (1 u.d.)

Ingegneria del Software: Metodi di specifica (1 u.d.)

Linguaggi di programmazione: Laboratorio di Compilatori (1 u.d.)

Organizzazione della Produzione e dei sistemi logistici (1 u.d.)

Ottimizzazione Combinatoria: Laboratorio (1 u.d.)

Programmazione: laboratorio di program. concorrente e Orientato agli Oggetti(1 u.d.)

Ricerca Operativa: tecniche di Simulazione (1 u.d.)

Statistica Matematica (1 u. d.)

Teoria dei Sistemi (1 u. d.)

Basi di dati e sistemi informativi: basi di dati Deduttive (1 u.d.)

Fondamenti dell'informatica: semantica II (1 u.d.)

Ingegneria del Software: controllo di Qualità (1 u. d.)

Laboratorio di Informatica: informatica Musicale (1 u. d.)

Linguaggi di programmazione: Programmazione Concorrente (1 u.d.)

Matematica Computazionale: calcolo Parallelo (1 u. d.)

Matematica Computazionale: Geometria computazionale (1 u. d.)

Matematica Computazionale: Laboratorio (1 u. d.)

Percezione Robotica (1 u. d.)

Programmazione: Laboratorio di programmazione logica (1 u. d.)

Reti neurali II (1 u. d.)

Reti Neurali: Laboratorio di sistemi ibridi (1 u. d.)

Sistemi di elaborazione dell'informazione: Sistemi Affidabili (1 u. d.)

Approvato all'unanimità.

cont. Del. n. 88/4 del 03.10.97

Secondo quanto stabilito dalla delibera n. 77 del CCL del 04.07.97, riguardo all'attivazione del nuovo corso di "Ricerca dei Documenti", la Commissione di Area riunitasi, propone di attivare il corso a partire dal primo semestre del prossimo anno accademico.

Il Consiglio unanime approva.

E' pervenuta la sola domanda della dott. ssa Elisabetta Fortuna, ricercatrice confermata presso il Dipartimento di Matematica nel raggruppamento A01C.

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

Approvato all’unanimità.

E' pervenuta la sola domanda della dott.ssa. Rita Giuliano, ricercatrice confermata presso il Dipartimento di Matematica, del raggruppamento A02B.

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

Approvato all’unanimità.

E' pervenuta la sola domanda della dott.ssa M. Eugenia Occhiuto, ricercatrice confermata presso il Dipartimento di Informatica nel raggruppamento K05B.

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

Approvato all’unanimità.

E' pervenuta la sola domanda del dott. Augusto Ciuffoletti, 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. Augusto Ciuffoletti, 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. Gian-luigi 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à.

cont. Del. n. 88/5 del 03.10.97

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 prof. Fabrizio Baiardi, professore associato 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. Ferruccio Colombini, professore ordinario presso il Dipartimento di Matematica nel raggruppamento A02A.

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 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. Fabio Fagnani, ricercatore confermato presso il Dipartimento di Matematica nel raggruppamento A02A.

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

Approvato all’unanimità.

E' pervenuta la sola domanda della prof.ssa Patrizia Gianni, professore associato presso il Dipartimento di Matematica nel raggruppamento A01.

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

Approvato all’unanimità.

Sono pervenute le domande dei dott. Danilo Giulietti, Mauro Lucchesi e Isidoro Ferrante ricercatori confermati presso il Dipartimento di Fisica nel raggruppamento B03X.

Il Consiglio di Dipartimento di Fisica ha giudicato i candidati idonei a svolgere l'insegnamento, formulando la graduatoria:

1 - Lucchesi

2 - Giulietti

3 - Ferrante

Ha quindi proposto di affidare l'insegnamento al dott. Mauro Lucchesi.

cont. Del. n. 88/6 del 03.10.97

Il Consiglio esprime il medesimo parere di idoneità, e formula la stessa graduatoria.

Approvato all’unanimità.

E' pervenuta la sola domanda della dott.ssa Francesca Rossi, ricercatrice confermata presso il Dipartimento di Informatica nel raggruppamento K05B.

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

Approvato all’unanimità.

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

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

Approvato all’unanimità.

E' pervenuta la sola domanda del prof. Roberto Barbuti, professore associato 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. Andrea Masini, 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. Linda Pagli 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 prof. MariaGrazia Scutellà ricercatrice confermata presso il Dipartimento di Informatica nel raggruppamento A04B.

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

Approvato all’unanimità.

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

Approvato all’unanimità.

cont. Del. n. 88/7 del 03.10.97

Si propone di dichiarare il settore di Telecomunicazioni affine a quello di Fisica in quanto tali settori hanno molte intersezioni culturali.

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

Approvato all’unanimità.

E' pervenuta la sola domanda del dott. Angelo Maria Sabatini della Scuola Superiore S. Anna, ricercatore confermato del raggruppamento K06X.

Si propone di dichiarare il settore di Automatica affine a quello di Bioingegneria Elettronica in quanto tali settori hanno molte intersezioni culturali.

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

Approvato all’unanimità.

E' pervenuta la sola domanda del dott. Massimo Bergamasco della Scuola Superiore S. Anna, ricercatore confermato del raggruppamento I07X.

Si propone di dichiarare il settore di Meccanica Applicata alle Macchine affine a quello di Sistemi di Elaborazione dell'Informazione in quanto tali settori hanno molte intersezioni culturali.

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

Approvato all’unanimità.

E' pervenuta la sola domanda del dott. Pietro Piram assistente ordinario presso il Dipartimento di Informatica nel raggruppamento K05C.

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

Approvato all’unanimità.

E' pervenuta la sola domanda del prof. Antonina Starita professore associato presso il Dipartimento di Informatica nel raggruppamento K05C.

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

Approvato all’unanimità.

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

Si propone di dichiarare il settore di Logica Matematica affine a quello di Informatica in quanto tali settori hanno molte intersezioni culturali.

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

Approvato all’unanimità.

cont. Del. n. 88/8 del 03.10.97

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

Approvato all’unanimità.

E' pervenuta la sola domanda del prof. Paolo Dario della Scuola Superiore S. Anna, professore associato del raggruppamento I26A.

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

Approvato all’unanimità.

E' pervenuta la sola domanda del prof. Antonina Starita professore associato presso il Dipartimento di Informatica nel raggruppamento K05C.

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

Approvato all’unanimità.

E' pervenuta la sola domanda del prof. Marco Danelutto, 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. Marco Vanneschi 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à.

Per la copertura del seguente corso il Consiglio unanime chiede che venga emesso un nuovo bando:

Algoritmi e Strutture dati I

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 unanime decide di coprire i seguenti corsi mediante contratto.

Informatica Generale: aspetti sociali, etici e professionali

Ricerca Operativa

cont. Del. n. 88/9 del 03.10.97

Per la copertura dei seguenti corsi il Consiglio unanime chiede che venga emesso un nuovo bando:

Algoritmi e Strutture dati: bioinformatica

Architettura degli Elaboratori II: architetture parallele e distribuite - A

Architettura degli Elaboratori III

Laboratorio di Informatica I - A

Laboratorio di Informatica II - B

Laboratorio di Informatica III - A

Laboratorio di Informatica IV - B

Programmazione: laboratorio di programmazione concorrente e orientata agli oggetti

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 unanime decide di coprire i seguenti corsi mediante contratto.

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

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 89

Anno Accademico 1996-1997 Seduta del 03.10.97

Ordine del giorno: 4

Argomento: Corsi integrativi retribuiti e professori a contratto a.a. 1997/98

Vengono presentate le seguenti richieste di professori a contratto:

1) "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.

2) "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. 4.000.000.

Al presente verbale è allegato il curriculum del docente proposto (vedi allegato CSUHAJ-VARJU').

3) "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.

cont. Del. n. 89/1 del 03.10.97

4) "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 è allegato il curriculum del docente proposto (vedi allegato CIGNONI).

5) "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;

- durata del corso integrativo: ore 20;

- corrispettivo proposto: L. 1.500.000.

6) "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.

7) "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.

8) "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.

cont. Del. n. 89/2 del 03.10.97

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.

Il Consiglio delibera di nominare una commissione formata da Maggiolo, Barbuti e Levi che esamini le proposte e rediga una graduatoria, da esporre nel prossimo Consiglio.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 90

Anno Accademico 1996-1997 Seduta del 03.10.97

Ordine del giorno: 5

Argomento: Regolamentazione dei requisiti minini per passaggi ad anni di corso successivi

Il Presidente richiama la lettera Prot. n. 465 del 18.6.1997 inviata dal U.O.9 dell' Amministrazione Centrale, avente per oggetto la richiesta di eliminazione di iscritti "sotto condizione".

Dopo un' ampia discussione, emerge la posizione di mantenere i requisiti minimi attualmente in vigore, di eliminare la possibilità di iscriversi sotto condizione, e di lasciare allo studente la scelta se iscriversi come ripetente o fuori corso, nell' eventualità di non superamento dei limiti suddetti.

Viene posta in votazione la seguente delibera: " A partire dall'a.a. 1998/99, per ottenere l' iscrizione al triennio di applicazione del Corso di Laurea è necessario aver superato gli esami degli insegnamenti del Biennio propedeutico corrispondenti ad almeno 12 u. d..

Lo studente che non riesca a superare i requisiti minimi di cui sopra, si iscrive al secondo anno come ripetente o fuori corso a sua scelta".

Approvata con un astenuto.

Successivamente, il Presidente propone di abbassare da 8 u.d. a 7 u.d. lo sbarramento sugli esami superati al Iº anno per poter sostenere esami del IIº anno.

La motivazione della proposta sta nel fatto che i corsi informatici del Iº anno sono di 3 u.d., e la delibera precedente non teneva conto di ciò.

Si apre una discussione molto ampia, durante la quale emergono molte posizioni diverse riguardo alla forma e alla sostanza dello sbarramento di propedeuticità. Turini chiede di votare su una mozione volta a ridurre da 8 u.d. a 6 u.d. lo sbarramento sugli esami superati.

La mozione viene posta in votazione e viene respinta a maggioranza.

Data l' impossibilità di giungere ad una conclusione, si incarica la Commissione Didattica di discutere del problema e di formulare una proposta da discutere nella prossima seduta del Consiglio.

Infine, viene fatto notare che i corsi di Laboratorio impongono delle propedeuticità tra i corsi informatici del biennio.

Intervengono molti docenti, tutti contrari a tali propedeuticità non volute; il Presidente mette in votazione la seguente delibera:

« la frase "gli insegnamenti il cui nome è seguito da un numero romano sono propedeutici a quelli con lo stesso nome seguito dal numero romano successivo. I

cont. Del. n. 90/1 del 03.10.97

relativi esami devono essere sostenuti nell' ordine indicati da tali numeri." , contenuta nello Statuto del Corso di Laurea in Informatica e del Corso di Diploma in Informatica, deve intendersi applicabile solo quando i corsi hanno tutta la denominazione identica, e non quando solo parte della denominazione è uguale. »

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 91

Anno Accademico 1996-1997 Seduta del 03.10.97

Ordine del giorno: 6

Argomento: Commissione pratiche studenti

- sostituzione membro

In seguito alle dimissioni del prof. Giorgio Ghelli, membro della "Commissione pratiche studenti", il Presidente ringrazia il prof. Ghelli per il lavoro svolto e propone di sostituirlo con il prof. Marco Bellia che accetta l'incarico.

La Commissione risulta quindi essere composta dal dott. Maurizio Gabbrielli e dal prof. Marco Bellia.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 92

Anno Accademico 1996-1997 Seduta del 03.10.97

Ordine del giorno: 7

Argomento: Ratifica provvedimento d'urgenza

Il Presidente da lettura del Provvedimento di Urgenza n. 2 del 18 settembre 1997, allegato al presente verbale, con il quale ha deliberato l'autorizzazione per due studenti a recarsi all'estero all'interno del progetto SOCRATES.

Il Consiglio unanime ratifica.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 93

Anno Accademico 1996-1997 Seduta del 03.10.97

Ordine del giorno: 8

Argomento: Pratiche studenti

Secondo quanto stabilito dal Consiglio con delibera n. 24 del 26.01.95, si autorizza la studentessa GIANNONI Roberta a presentare la tesi di laurea in lingua inglese in quanto la tesi è stata iniziata presso il Dipartimento di Computer science dell'università di Umea e il correlatore è il professore Patrik Eklund.

Il Consiglio unanime approva.

Secondo quanto stabilito dal Consiglio con delibera n. 24 del 26.01.95, si autorizza lo studente GUADAGNO Antonio a presentare la tesi di laurea in lingua inglese in quanto la tesi è stata iniziata in Olanda durante il periodo in cui ha usufruito di una borsa ERASMUS.

Il Consiglio unanime approva.

Kuri Ariel - cittadino albanese, con licenza di locale scuola secondaria superiore e valida per l’iscrizione all’università.

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

Sironi Kacem - cittadino marocchino, con licenza di locale scuola secondaria superiore e valida per l’iscrizione all’università.

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

Drita Balla - cittadina albanese, con licenza di locale scuola secondaria superiore e valida per l’iscrizione all’università.

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

cont. Del. n. 93/1 del 03.10.97

Mascaros Duran Zenia - proveniente da Informatica - Università dell’Avana, chiede l’immatricolazione al corso di laurea con abbreviazione in Scienze dell’Informazione.

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

Si convalidano gli esami di:

"Analisi Matematica I + Analisi Matematica II" per "Analisi Matematica I", con voto 24/30; "Algebra I + AlgebraII" per "Geometria (sem)" con voto 24/30; "Logica + Matematica discreta" per "Algebra(sem)" con voto 24/30 "Programmazione" per "TAMC" con voto 18/30; "Struttura di dati + disegno e Analisi di algoritmi" per "TAC"

con voto 27/30; "Analisi Matematica III +Equazioni differenziali" per "Analisi Matematica" II con voto 21/30; "Matematica Numerica I + Matematica Numerica II" per "Calcolo Numerico (sem)" con voto 27/30; "Probabilità + Statistica" per "Calcolo delle Probabilità e statistica" con voto 27/30; "Programmazione di Machina" per "Sistemi Elab. Inf I" con voto 30/30; "Modelli di Ottimizzazione continua + Modelli di Ottimizzazione continui" per "Ricerca Operativa" con voto 30/30; "Programmazione di Sistema + Sistema di Operazioni" per "Sistemi Elab. Inf II" con voto 30/30; "Sistema di Basi di Dati" per "Documentazione Automatica" con voto 30/30 previo colloquio integrativo; "Reti di Calcolatrici" per "Comunicazioni Elettriche" con voto 30/30 previo colloquio integrativo; "Linguaggio di Programmazione + Linguaggio e Raccolta" per "Linguaggi Formali e Compilatori" con voto 30/30; "Architettura di Calcolatrice" per "Progetto di Sistemi Numerci" con voto 30/30 con colloquio integrativo; "Programmazione Logica" per "Elaborazione dell'Informazione Non Numerica" con voto 30/30.

Giani Annarita - laureata in Matematica (Pisa).

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

Si convalidano "Analisi matematica I" per idem (2 UD), "Teoria e Applicazioni delle Macchine Calcolatrici" per "Algoritmi e Strutture Dati I + lab. I" (3 UD) con voto 27/30 previo prova di laboratorio; "Analisi numerica" per "Calcolo numerico"; "Statistica Matematica" per "Calcolo delle Probabilità e Statistica Matematica", "Algebra" per "Matematica Discreta".

Si prega lo studente di procurare il programmi di "Teoria e metodi di Ottimizzazione" per un’eventuale ulteriore convalida.

Tamburini Cristina - proveniente da Ingegneria Civile (Pisa).

Si ammette al 1º anno del Diploma in Informatica.

Si convalida l’esame di "Analisi Matematica I" per "idem".

Impera Alfredo - proveniente dal Corso di Laurea in Informatica (Pisa).

Si ammette al 3º anno del Diploma in Informatica, convalidando gli esami di comune

denominazione.

cont. Del. n. 93/2 del 03.10.97

Giancarlo Volpe è autorizzato a sostenere, presso l'Università di Limerick (IRL), e in aggiunta a quanto già deliberato nel Consiglio del 04.07.97 con delibera n. 80/1, i seguenti esami:

"Statistics 1" (MS4202) per "Calcolo delle Probabilità e Statistica", "Computer Architecture" (CE4518) e "Concurrent Systems" (CS4215) per "Progetto di Sistemi Numerici".

Inoltre, si approva la sostituzione dell'esame "Language Processing" (CE4717) con l'esame "Programming Language Technology 1" (CS4515).

Tiziana Caruso è autorizzata a sostenere, presso l'Università di Limerick (IRL), e in aggiunta a quanto già deliberato nel Consiglio del 04.07.97 con delibera n. 80/3, i seguenti esami:

"Statistics 1" (MS4202) per "Calcolo delle Probabilità e Statistica", "Computer Architecture" (CE4518) e "Concurrent Systems" (CS4215) per "Progetto di Sistemi Numerici".

Inoltre, si approva la sostituzione dell'esame "Language Processing" (CE4717) con l'esame "Programming Language Technology 1" (CS4515).

Andrea Urso è autorizzato a recarsi presso l'Università di Aarhus (DK), per 10 mesi a partire da Settembre 1997 e a sostenere i seguenti esami:

"Mathematics programming" per "Ricerca Operativa" senza colloquio integrativo.

Fabio Paita è autorizzato a recarsi presso l'Università di Birmingham (UK), per 10 mesi a partire da Settembre 1997, e a sostenere i seguenti esami:

"Numerical methods (MSMXG6) più Numerical Methods in Linear Algebra (MSMYG5)" per "Calcolo Numerico" invece di "Numerical Methods (MSMXG6)" piu` un colloquio integrativo; "Software Workshop C++ (SEM240) e Graphics I (SEM226)" per "Elaborazione di Immagini".

Su richiesta dell'interessato (vedi lettera allegata), Fabrizio Baldazzi è autorizzato a recarsi presso l'Università di Leiden (NL), per 6 mesi a partire da Gennaio 1998, anzichè Settembre 1997, con il programma di studio già concordato.

Simone Carlesi è autorizzato a recarsi presso la Vrije Universitet di Amsterdam (NL), per 12 mesi, anzichè 10, a partire da settembre 1997 e per svolgere il programma di studio già autorizzato.

Marco Risati è autorizzato a recarsi presso il Queen Mary College di Londra (UK) e ad aggiungere i seguenti esami:

"Optimization Techniques in OR (MAS/215)" per "Ottimizzazione Combinatoria".

Maria Iaquinta è autorizzata a recarsi presso l'Università di Valencia (S) e ad aggiungere i seguenti esami:

"Teleinformatica" e "Introduccion a la Computation Parallela" per "Progetto di Sistemi Numerici".

cont. Del. n. 93/3 del 03.10.97

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

"Sistemas Operativos 1", più "Estructura de Computadores 2", più "La informatica en el sistema productivo" (ISP) per "Sistemi per l'elaborazione dell'informazione 2" invece che "Sistemas Operativos 1", più "Estructura de Computadores 2", più "Introduccion a la transmision de datos", per "Sistemi per l'elaborazione dell'informazione 2".

Inoltre è autorizzata ad aggiungere i seguenti esami:

"Algoritmica" e "Algoritmos y estructuras de datos 3 (AD3)" per "T eoria e metodi dell'ottimizzazione".

Vinicio Nocciolini è autorizzato a recarsi presso l'Università Politecnica de Valencia (E), per 9 mesi a partire da Ottobre 1997, anzichè 6 mesi, per svolgere il programma di studio già deliberato.

Francesca Brucciani è autorizzata a recarsi presso l'Università Politecnica de Valencia (E), per 9 mesi a partire da Ottobre 1997 per sostenere i seguenti esami:

"Introduccion a la computacion paralela" e "Teleinformatica" per "Progetto di Sistemi Numerici"; "Computacion Numerica" per "Calcolo Numerico"; "Analisis Matematico 1" per "Analisi I"; "Analisis Matematico 2" per "Analisi II".

Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.

Giovanni Zorzetti è autorizzato a recarsi presso il Queen Mary College di Londra (UK), per 9 mesi a partire da ottobre 1997 per sostenere i seguenti esami:

"Optimization Techniques in OR (MAS/215)" più un colloquio integrativo per "Ricerca Operativa"; "Computer Systems 2 (DCS/213)" e "Computer Systems 3 (DCS/221)" per "Sistemi per l'Elaborazione dell'Informazione II" e "Comunicazioni Elettriche"; "Artificial Intelligence (DCS/215)" per "Elaborazione dell'Informazione Non Numerica"; "Parallel Computing (DCS/226)" più un colloquio integrativo per "Progetto di Sistemi Numerici".

Giovanni ZORZETTI è autorizzato a recarsi presso il Queen Mary College di Londra (UK), per 9 mesi a partire da ottobre 1997 per sostenere i seguenti esami:

"Artificial Intelligence (DCS/215)" più "Artificial Intelligence II" per "Elaborazione dell'Informazione Non Numerica" (anzichè Artificial Intelligence (DCS/215) per "Elaborazione dell'Informazione Non Numerica").

Francesca Brucciani è autorizzata ad aggiungere "Investigacion Operativa'" più un colloquio integrativo sulla parte non lineare per "Ricerca Operativa'', e "Informatica Grafica in 3 dimensioni'' e ''Sintesi di immagini e animazione'' per ''Elaborazione dell'Immagine''.

cont. Del. n. 93/4 del 03.10.97

Alessandro SCHIANO è autorizzato a recarsi presso la University of NewCastle upon Tyne (UK), nel periodo gennaio1998 - giugno 1998, e a sostenere i seguenti esami:

"CSC808 Concurrent Programming" e "CSC809 Operating Systems" per "Sistemi per l'Elaborazione dell'Informazione II"; "MAS234 Applied Probability" per "Calcolo delle Probabilità e Statistica"; "CSC328 Numerical Algorithms" e "MAS329 Numerical Recipes" per "Calcolo Numerico".

Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.

Matteo Alessandro Bottalico è autorizzato a recarsi presso l'Università di Manchester (UK), per 5 mesi a partire da Febbraio 1998 e a sostenere i seguenti esami:

"Linear Algebra" (MT1212) e "Discrete Mathmatics" (MT2292) per "Matematica Discreta", "Architectural Support of Languages and Operating Systems" (CS2042) per "Architettura dei Sistemi di Elaborazione II", "Computer Vision" (CS3432) per "Percezione Robotica".

Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.

Marco TARINI - in base alla documentazione (allegato 2), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la Università di Edinburgo (UK), per gli esami riconosciuti equipollenti con precedenti delibere n. 97 del 30.09.96 e n. 111 del 31.10.96:

"Database Systems" per "Basi di Dati e Sistemi Informativi I (BD1)": 30/30 in data 4/7/97;

"Distributed Systems" per "Architettura degli Elaboratori II (AE2)": 27/30 in data 30/6/97;

"Compiling Techniques" per "Linguaggi di Programmazione: linguaggi formali e compilatori (LFC)": 30/30 con lode in data 4/7/97;

"Knowledge Based Systems" per "Intelligenza Artificiale I (AI1): 30/30 con lode in data 4/7/97;

"Programming Methodology" per "Ingegneria del Software I (IS1)": 30/30 in data 4/7/97.

Si riconoscono inoltre i seguenti esami, contestualmente riconosciuti equipollenti:

"Computer Communications" per "Sistemi per l'Elaborazione dell'Informazione: Reti di Calcolatori (SER)": 29/30 in data 4/7/97;

"Parallel Architectures" per "Architettura degli Elaboratori III (AE3)": 29/30 in data 30/6/97;

"Computer Graphics" per "Interazione Uomo-Macchina: Fondamenti di Computer Graphics (IUF)": 30/30 in data 30/6/97;

"Human Computer Interaction" per "Interazione Uomo-Macchina: programmazione di interfacce grafiche": 27/30 in data 30/6/97.

cont. Del. n. 93/5 del 03.10.97

Antonella FARINACCIO - in base alla documentazione (allegato 3), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la Università di Manchester (UK), per gli esami riconosciuti equipollenti con precedente delibera n. 112 del 25.10.95:

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

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

Antonio GUADAGNO 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 Leiden University (NL), per gli esami riconosciuti equipollenti con precedente delibera n. 97 del 30/09/96.

"Numerical Mathematics" per "Calcolo Numerico": 19/30 in data 20/6/97.

Inoltre si certifica la partecipazione ad un corso di lingua olandese di livello elementare e il superamento del relativo esame.

Roberta GIANNONI 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 Umea University (S), per gli esami contestualmente riconosciuti equipollenti.

"Applied Probability and Inference Theory" per "Calcolo delle probabilità e statistica": 22/30 in data 3/6/97.

Davide BRUNO 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 Umea University (S), per gli esami contestualmente riconosciuti equipollenti.

"Applied Probability and Inference Theory" per "Calcolo delle probabilità e statistica": 29/30 in data 3/6/97;

"Numerical Linear Algebra" per "Calcolo Numerico": 29/30 in data 25/3/97.

Terry Lanfranco MURGIA in base alla documentazione (allegato 7), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la University of Manchester (S), per gli esami riconosciuti equipollenti con precedente delibera n. 97 del 30/09/96:

"Operating Systems (CS2051)" e "Operating Systems (CS3052)" per "Sistemi per l'Elaborazione dell'Informazione II": 20/30 in data 29/7/97;

"Maths (MT1242)" per "Calcolo Numerico": 30/30 in data 29/7/97.

Si riconosce inoltre il seguente voto per l'esame constestualmente riconosciuto come equipollente: 1st year Math Option (MT1141) per "Calcolo delle Probabilità e Statistica": 30/30 in data 29/7/97.

cont. Del. n. 93/6 del 03.10.97

Salvatore Massimiliano VIZZINI in base alla documentazione (allegato 8), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la University of Limerick (IRL) per gli esami riconosciuti equipollenti con precedenti delibere n. 97 del 30/9/96, n. 22 del 22/01/97 e n. 37/03 del 7.03.97.

"Language Processors (CE4717)" per "Linguaggi di programmazione: linguaggi formali e compilatori (LFC)": 30/30 in data 24/1/97;

"Computer Networks (CS4225)" per "Sistemi di Elaborazione dell'Informazione: reti di calcolatori (SER)": 27/30 in data 24/1/97;

"Discrete Mathematics 1 (MS4111)" e "Linear Algebra 1 (MS4102)" per "Matematica Discreta (MD)": 28/30 in data 30/5/97;

"Operations Research 1" per "Programmazione Matematica": 26/30 in data 24/1/97;

"Software Engineering 2 (CS4312)" per "Ingegneria del Software I (IS1)": 30 e lode in data 30/5/97;

"Database Systems (CS4416)" per "Basi di dati I (BD1)": 30/30 in data 30/5/97;

"Artificial Intelligence (CS4816)" per "Intelligenza Artificiale 1 (IA1)": 30 e lode in data 30/5/97;

"Digital Elettronics 2" per "Elettronica: sistemi Digitali": 30 e lode in data 30/5/97.

Inoltre si certifica la partecipazione al corso di lingua inglese "English as a foreing language 2" e il superamento del relativo esame.

Giuseppe MILICIA in base alla documentazione (allegato 9), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la l'Università Vrije di Amsterdam (NL) per gli esami riconosciuti equipollenti con precedenti delibere n. 97 del 30/9/96 e n. 22 del 22/01/97.

"Compiler Construction (WD074)" per "Linguaggi di Programmazione: linguaggi formali e compilatori (LFC)": 30/30 e lode in data 22/8/97;

"Computer Networks (WD098)" per "Sistemi di Elaborazione dell'Informazione: reti di calcolatori (SER)": 30/30 in data 22/8/97;

"Software Engineering (WD106)" per "Ingegneria del Software I (IS1)": 30/30 in data 2/8/97;

"Object Oriented Programming (WD150)" per "Programmazione: modelli orientati agli oggetti": 30/30 in data 22/8/97;

"Neural Networks" per "Reti Neurali I": 30/30 e lode in data 22/8/97.

Rafiq ISMAIL - nato a Londra, Gran Bretagna, il 13/06/75, proveniente da The University of Birmingham (UK), viene iscritto al corso di Laurea in Informatica nell'ambito del programma Socrates, per l'a.a. 1997/98, per seguire corsi secondo il programma concordato.

Rutger DAHLSTROM - nato a Hortlax (Svezia) il 18/04/72, proveniente dalla Uppsala University (S), viene iscritto al corso di Laurea in Informatica nell'ambito del programma Socrates, per l'a.a. 1997/98, per seguire corsi secondo il programma concordato.

cont. Del. n. 93/7 del 03.10.97

Luis Miguel Armendariaz Arauzo - nato a Valencia (Spagna) il 10/10/76, proveniente dalla Universidad Politecnica de Valencia, viene iscritto al corso di Laurea in Informatica nell'ambito del programma Socrates, per l'a.a. 1997/98, per seguire corsi secondo il programma concordato.

Manuel Juan Escriva - nato a Sueca (Valencia - Spagna) il 3/09/74, proveniente dalla Universidad Politecnica de Valencia, viene iscritto al corso di Laurea in Informatica nell'ambito del programma Socrates, per l'a.a. 1997/98, per svolgere un progetto finalizzato alla presentazione di una tesi di laurea.

Cesar Ferri Ramirez - nato a Quartell (Valencia - Spagna) il 19/02/74, proveniente dalla Universidad Politecnica de Valencia, viene iscritto al corso di Laurea in Informatica nell'ambito del programma Socrates, per l'a.a. 1997/98, per svolgere un progetto finalizzato alla presentazione di una tesi di laurea.

Amparo Baviera VivO' - nata a Picanya (Valencia - Spagna) il 14/06/74, proveniente dalla Universidad Politecnica de Valencia, viene iscritto al corso di Laurea in Informatica nell'ambito del programma Socrates, per l'a.a. 1997/98, per seguire corsi secondo il programma concordato.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 93

Anno Accademico 1996-1997 Seduta del 03.10.97

Ordine del giorno: 9

Argomento: Questioni riguardanti il Diploma

Nessun argomento da discutere.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 94

Anno Accademico 1996-1997 Seduta del 03.10.97

Ordine del giorno: 10

Argomento: Verifica periodica dell'attività didattica, di ricercatori universitari confermati

A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Augusto Ciuffoletti ricercatore confermato presso il nostro Dipartimento per le seguenti attività svolte nel triennio 1993-1996:

Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. A. Ciuffoletti.

Approvato all'unanimità.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 95

Anno Accademico 1996-1997 Seduta del 03.10.97

Ordine del giorno: 11

Argomento: Missioni, congedi e nulla-osta

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 "Analisi Numerica-I modulo" 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.

Paolo Maria Mancarella professore associato per il raggruppamento K05B presso la Facoltà di Scienze m.f.n., ha presentato domanda per l'affidamento dell’insegnamento di "Informatica" 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.

Paolo Maria Mancarella professore associato per il raggruppamento K05B presso la Facoltà di Scienze m.f.n., ha presentato domanda per l'affidamento dell’insegnamento di "Teoria ed Applicazioni delle Macchine Calcolatrici - I modulo" presso il Corso di laurea in Matematica 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.

Francesco Romani professore ordinario di "Algoritmi e Strutture Dati", ha richiesto il nulla-osta per poter tenere un corso di "Laboratorio di Matematica Computazionale" presso la Scuola Normale Superiore per gli allievi del 3º e 4º anno di Fisica e Matematica, per l'a.a. 1997/98.

Il prof. Romani comunica che l'attività connessa a tale affidamento non interferirà con i propri obblighi didattici.

cont. Del. n. 95/1 del 03.10.97

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

Approvato all'unanimità.

Fabrizio Luccio professore ordinario di "Algoritmi e Strutture Dati", ha richiesto il nulla-osta per poter tenere un corso di "Introduzione all'Informatica" presso la Scuola Normale Superiore per gli allievi del 1º anno di Informatica, per l'a.a. 1997/98.

Il prof. Luccio comunica che l'attività connessa a tale affidamento non interferirà con i propri obblighi didattici.

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

Approvato all'unanimità.

Il prof. Ugo MONTANARI professor ordinario di "Metodi Formali dell’Informatica" in congedo per alternanza fino al 31 ottobre 1997, come da delibera di CCL del 22.07.96, dichiara, per motivi personali, di riprendere servizio anticipatamente il giorno 9 ottobre p.v. e contestualmente chiede l'autorizzazione ad effettuare una missione per motivi di studio e di ricerca dal 11 ottobre 1997 al 1 gennaio 1998.

In tale periodo si recherà presso l'Università di Palo Alto in California.

Vista l'assenza di impedimenti di ordine didattico, essendo i due corsi affidati al Prof. Montanari allocati entrambi nel secondo semestre, il Consiglio delibera il nulla-osta alla missione del prof. U. Montanari.

Approvato all'unanimità.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 96

Anno Accademico 1996-1997 Seduta del 03.10.97

Ordine del giorno: 11

Argomento: Varie ed eventuali

In seguito al trasferimento del dott. Isidoro Ferrante titolare di "Fisica Generale II - A" viene nominato Presidente della Commissione d'esame, di detto insegnamento il Prof. Fulvio Cornolti.

Approvato all'unanimità.

In seguito al collocamento a riposo del Sig. Battista Orsi, rappresentante non-docente in Consiglio di Corso di Studi e visto che il 31 ottobre p.v. scadrà anche il mandato della Sig.ra Rosaria Mongini, altra rappresentante non-docente in Consiglio di Corso di Studi, vengono indette per il giorno 27 ottobre p.v. alle ore 9.00, nuove elezioni per il rinnovo della carica.

Le elezioni si svolgeranno presso la Segreteria Didattica del Corso di Studi in Informatica e la Commissione Elettorale sarà formata da Maurizio Bonuccelli (Presidente), Dino Pedreschi (Segretario) e Rosaria Mongini.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente