L'anno millenovecentonovantaotto il giorno quindici del mese di maggio 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 : Bonuccelli, Capovani, Degano, Gallo, Germano, Maggiolo, Montanari, Montangero, Romani, Turini

Associati: Ambriola, Attardi, Barbuti, Bevilacqua, Cazzaniga, Ghelli, Manca, Menchi, Morreale, Simi, Starita

Ricercatori ed assistenti: Brogi, Corradini, Danelutto, Ferrari, Fortuna, Gabbrielli, Masini, Occhiuto, Ricci, Rossi, Scutellá, Sperduti

Rappr. studenti: Lanotte, Mannini, Testaferrata

Rappr. non docenti: Carpentras, Mongini

Ordinari: Albano, Boerger, Colombini, Levi, Luccio, Maestrini, Modica, Pagli, Pallottino, Traverso

Associati: Acquistapace, Antonelli, Baiardi, Barcaro, Bellia, Caroti-Ghelli, Cornolti, Dario, Gianni, Leoni, Mancarella, Pedreschi, Rolla, Zanzotto

Ricercatori e assistenti: Ciuffoletti, Fagnani, Frangioni, Gemignani, Giacobazzi, Leoncini, Lucchesi, Massai, Pelagatti, Piram

Rappr. studenti: Brodo, Colombo, Conte, Corsello, Fazio, Parodo, Reho, Volpe

Rappr. non docenti:

    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) Piano triennale di sviluppo 1998-2000 (in seduta congiunta con il Consiglio di Dipartimento)
        3) Ratifica provvedimenti d'Urgenza
        4) Programmazione Didattica a.a. 1998/99
        5) Allocaione dei corsi sui semestri a.a. 1998/99
        6) Quesionari studenti
            - uso e diffusione dei risultati (legge sulla privacy)
        7) Pratiche studenti
        8) Questioni riguardanti il Diploma
        9) Congedi, missioni e nulla-osta
        10) Ristrutturazione Corso di Laurea e di Diploma
            - documento Martinotti
        11) Varie ed eventuali

Letto, approvato e sottoscritto seduta stante.

                                            Il Segretario                                                                             Il Presidente

Ordine del giorno: 1
Argomento: Comunicazioni

Il Presidente comunica quanto segue:

- è pervenuta da parte del Rettore prof. Luciano Modica una lettera, inviata anche al Preside della Facoltá e al Direttore del Dipartimento di Matematica, con la quale il Rettore comunica la sua intenzione di essere esonerato dall'insegnamento per gli anni accademici 1998/99 e 1999/2000, in base all'articolo 13 dello Statuto;

- l'Unitá Operativa 10 ci ha inviato una circolare riguardante il riconoscimento di titoli accademici esteri. L'ufficio ci informa che non esistono disposizioni di legge circa la conversione nel sistema italiano, delle valutazioni presenti su diplomi accademici esteri, siano esse espresse in numeri, lettere alfabetiche o giudizi sintetici. pertanto le competenti autoritá universitarie, possono operare la conversione di un dato voto estero nel sistema valutario italiano o con semplice calcolo matematico o tenendo conto anche di fattori statistici per correggere eventuali sproporzioni determinate dalla diversitá dei sistemi valutari;

- il Dipartimento Amministrativo per le Attivitá Istituzionali ha disposto un ordine di servizio per le Segreterie dei Corsi di Laurea e di Diploma, riguardante le iscrizioni a "ripetente", a "fuori corso" e gli "obblighi di frequenza". Tale ordine di servizio decorre dal 16.04.98;

- il Pro-Rettore alla Didattica prof. Gianfranco Denti ci ha inviato una copia della seconda edizione 1997/98 della guida "Per...corsi pisani";

- il Pro-Rettore per i Rapporti Internazionali prof. Lorenzo Calabi ci ha inviato una copia del documento informativo del gruppo di lavoro italo-francese per l'armonizzazione delle rispettive legislazioni universitarie;

- l'Unitá Operativa 9 ci ha inviato una circolare per farci sapere quanto stabilito dal Nuovo Regolamento Didattico di Ateneo, circa la valutazione del candidato ai fini dell'attribuzione della votazione finale di laurea. In particolare l'art. 8.4 prevede che nella valutazione del candidato i membri della Commissione devono tenere conto, oltre che del giudizio sull'esame di laurea o diploma, del curriculum di studi del candidato, secondo criteri generali contenuti nel regolamento didattico del corso di studio. Ogni membro della commissione dispone di un voto compreso tra zero e centodieci. La votazione finali viene determinata come media aritmetica dei voti attribuiti dai membri della Commissione, con eventuali arrotondamento all'intero superiore. L'esame di laurea o di diploma è superato se la votazione finale non è inferiore a sessantasei. La commissione, all'unanimitá, puó concedere la lode;

- il prof. Giorgio Levi ha espresso l'intenzione di dimettersi dalla carica di presidente della Commissione Didattica dei Corsi di Studio in Informatica. Nel prossimo Consiglio si procederá alla nomina di un nuovo presidente di commissione.

Letto, approvato e sottoscritto seduta stante.

                            Il Segretario                                                                                                 Il Presidente

Ordine del giorno: 2
Argomento: Piano triennale di sviluppo 1998-2000

    Il presente punto all'ordine del giorno viene discusso in seduta congiunta con il Consiglio di Dipartimento.
    Il Prof. Degano espone le proposte del Dipartimento di Informatica nell'ambito della Programmazione del Sistema Universitario per il triennio 1998-2000.
    Il Dipartimento di Informatica suggerisce la richiesta di due interventi, inquadrati negli obiettivi h) ed i), entrambi mirati alla "promozione e sostegno dell'innovazione didattica ed alla diversificazione dell'offerta formativa"

Proposta 1.
    Il Dipartimento è già attivo in una iniziativa, attualmente finanziata nell'ambito della legge 263/93, per lo studio di un sistema di trasferimento crediti e per la sperimentazione del sistema stesso con iniziative di formazione permanente nel settore della sicurezza delle reti informatiche e dei sistemi informativi territoriali che possano far acquisire a lavoratori già impiegati crediti spendibili nel sistema universitario.
    Una sintetica descrizione del progetto si trova nell'allegato 1.
    Poichè l'esperimento sta avendo un notevole successo e poichè i fondi attualmente disponibili non consentono il proseguimento e il rafforzamento dell'iniziativa, sembra opportuno:

Letto, approvato e sottoscritto seduta stante.

                                    Il Segretario                                                                                     Il Presidente

Ordine del giorno: 3
Argomento: Ratifica provvedimenti d'urgenza

    Il Presidente da lettura del Provvedimento di Urgenza n. 3 del 15 aprile 1998, (allegato al presente verbale) con il quale é stato deliberato sul nulla-osta al dott. Antonio Frangioni, di recarsi al Centre de Reserche sur les Transports dell'Université de Montreal dal 25 aprile al 25 giugno 1998.

    Il Consiglio unanime ratifica.

    Letto, approvato e sottoscritto seduta stante.

                                                Il Segretario                                                                                 Il Presidente

Ordine del giorno: 4
Argomento: Programmazione Didattica a.a. 1998/99

    Il Presidente illustra la proposta di Programmazione Didattica con le coperture per titolarietá e affidamento didattico sostitutivo, basata essenzialmente sulla programmazione dello scorso anno accademico, fatta eccezione per la riattivazione e la disattivazione di alcuni corsi per i quali era stato giá deliberato in precedenza una attivazione alternata negli anni.
    Preliminarmente, dato l'alto numero di iscritti al primo anno del Diploma Universitario, e vista la tendenza all'aumento di tale numero, il Presidente propone lo sdoppiamento dei corsi del primo anno del Diploma. Tale proposta viene messa in votazione ed approvata con sei astenuti e due contrari.

DIPLOMA UNIVERSITARIO IN INFORMATICA

ATTIVAZIONE CORSI

Algoritmi e Strutture Dati I - B
Analisi Matematica I - B
Laboratorio di Informatica I - B
Laboratorio di Informatica II - B
Matematica Discreta - B
Programmazione I - B

ATTRIBUZIONI DI COMPITI DIDATTICI A TITOLARI DI INSEGNAMENTO

        Corso                                                                                                 Docente
Architettura degli Elaboratori I                                                             F. Baiardi (associato)
Basi di Dati e Sistemi Informativi                                                         G. Leoni (associato)
Calcolo Numerico                                                                              O. Menchi (associato)
Programmazione I - A                                                                        D. Pedreschi (associato)
Sistemi Operativi I                                                                             M. Bonuccelli (ordinario)

INSEGNAMENTI NON COPERTI PER ASSENZA O PER MANCANZA DEL TITOLARE

Algoritmi e Strutture Dati I - A
Algoritmi e Strutture Dati I - B
Algoritmi e Strutture Dati: crittografia
Analisi Matematica I - A
Analisi Matematica I - B
Architettura degli Elaboratori: sicurezza
Basi di Dati e Sistemi Informativi: rappresentazione di dati geografici
Calcolo delle Probabilitá e Statistica Matematica
Informatica Applicata: sistemi informativi territoriali
Informatica generale: aspetti sociali, etici e professionali
Ingegneria del Software
Ingegneria del Software: progettazione di sistemi informativi
Laboratorio di Informatica I - A
Laboratorio di Informatica I - B
Laboratorio di Informatica II - A
Laboratorio di Informatica II - B
Laboratorio di Informatica III
Laboratorio di Informatica IV
Linguaggi di Programmazione: classificazione e macchine astratte
Linguaggi di Programmazione: programmazione sicura
Matematica Discreta - A
Matematica Discreta - B
Programmazione I - B
Ricerca Operativa
Ricerca Operativa: organizzazione e gestione aziendale
Sistemi di Elaborazione dell'Informazione: reti di calcolatori

AFFIDAMENTI DIDATTICI SOSTITUTIVI

Ingegneria del Software

Il Consiglio, conosciuta la disponibilitá dell'interessato, approva l'affidamento didattico sostituivo di questo insegnamento, al prof. Carlo Montangero, professore ordinario di Programmazione.

CORSI RIMASTI VACANTI
    Per tali corsi il Consiglio unanime chiede la loro pubblicizzazione affinché vengano attribuiti per affidamento o supplenza:

Algoritmi e Strutture Dati I - A
Algoritmi e Strutture Dati I - B
Algoritmi e Strutture Dati: crittografia
Analisi Matematica I - A
Analisi Matematica I - B
Architettura degli Elaboratori: sicurezza
Basi di Dati e Sistemi Informativi: rappresentazione di dati geografici
Calcolo delle Probabilitá e Statistica Matematica
Informatica Applicata: sistemi informativi territoriali
Informatica generale: aspetti sociali, etici e professionali
Ingegneria del Software: progettazione di sistemi informativi
Laboratorio di Informatica I - A
Laboratorio di Informatica I - B
Laboratorio di Informatica II - A
Laboratorio di Informatica II - B
Laboratorio di Informatica III
Laboratorio di Informatica IV
Linguaggi di Programmazione: classificazione e macchine astratte
Linguaggi di Programmazione: programmazione sicura
Matematica Discreta - A
Matematica Discreta - B
Programmazione I - B
Ricerca Operativa
Ricerca Operativa: organizzazione e gestione aziendale
Sistemi di Elaborazione dell'Informazione: reti di calcolatori

CORSO DI LAUREA IN INFORMATICA

DISATTIVAZIONE CORSI
    Il Consiglio delibera all'unanimitá di disattivare per l'anno accademico 1998/99 i seguenti corsi:
                                Economia dei Sistemi Industriali
                                Fondamenti dell'Informatica: modelli e specifiche per la concorrenza
                                Organizzazione della Produzione e dei Sistemi Logistici
                                Programmazione: laboratorio di tecniche di raffinamento

ATTIVAZIONE CORSI
                                Basi di dati e Sistemi Informativi: recupero di documenti (1 u.d.)
                                Fondamenti dell'Informatica: semantica della concorrenza (1 u.d.)
                                Ingegneria del Software: modelli di processo software (1 u.d.)

ATTRIBUZIONE DI COMPITI DIDATTCI A TITOLARI DI INSEGNAMENTO

        Corso                                                                                                             Docenti
Algoritmi e Strutture Dati I - A                                                                             F. Luccio (ordinario)
Algoritmi e Strutture Dati I - B                                                                             L. Pagli (ordinario)
Analisi Matematica I - A                                                                                      D. Passaseo (associato)
Matematica Discreta - A                                                                                      R. Pardini (associato)
Programmazione I - A                                                                                         P. Mancarella (associato)
Programmazione I - B                                                                                         R. Barbuti (associato)
Analisi Matematica II - B                                                                                     P. Acquistapace (associato)
Architettura degli Elaboratori I - A                                                                        S. Antonelli (associato)
Architettura degli Elaboratori I - B                                                                        M. Vanneschi (ordinario)
Fisica Generale I - A                                                                                           F. Fidecaro (associato)
Sistemi Operativi I - A                                                                                         P. Maestrini (ordinario)
Sistemi Operativi I - B                                                                                         E. Morreale (associato)
Analisi Numerica - A                                                                                           M. Capovani (ordinario)
Analisi Numerica - B                                                                                            R. Bevilacqua (associato)
Basi di dati e Sistemi Informativi I - A                                                                    A. Albano (ordinario)
Calcolo delle Probabilitá - A                                                                                  P.A. Zanzotto (associato)
Fisica Generale II - A                                                                                           F. Cornolti (associato)
Ingegneria del Software I - A                                                                                V. Ambriola (associato)
Linguaggi di programmazione: linguaggi formali e compilatori - A                             M. Bellia (associato)
Linguaggi di programmazione: linguaggi formali e compilatori - B                              A. Maggiolo (ordinario)
Programmazione Matematica - A                                                                           G. Gallo (ordinario)
Programmazione Matematica - B                                                                            S. Pallottino (ordinario)
Basi di Dati e Sistemi Informativi II                                                                        A. Albano (ordinario)
Ingegneria del Software: laboratorio di progettazione                                                 V. Ambriola (associato)
Intelligenza Artificiale I                                                                                          M. Simi (associato)
Linguaggi di programmazione: paradigmi e macchine astratte                                      G. Levi (ordinario)
Basi di Dati e Sistemi Informativi: laboratorio                                                            G. Ghelli (associato)
Basi di dati e Sistemi Informativi: basi di dati distribuite e parallele                               G. Leoni (associato)
Fisica Generale: modelli della fisica                                                                            F. Cornolti (associato)
Intelligenza Artificiale: laboratorio                                                                             M. Simi (associato)
Interazione uomo-macchina: fondamenti di computer graphics                                    G. Attardi (associato)
Interazione uomo-macchina: programmazione di interfacce grafiche                            G. Attardi (associato)
Linguaggi di Programmazione: linguaggi funzionali                                                     M. Bellia (associato)
Linguaggi di programmazione: linguaggi logici                                                            G. Levi (ordinario)
Reti Neurali I                                                                                                          A. Starita (associato)
Reti Neurali II                                                                                                        A. Starita (associato)
 
INSEGNAMENTI NON COPERTI PER ASSENZA O PER MANCANZA DEL TITOLARE
 
Algebra Computazionale
Algoritmi e Strutture Dai: algoritmi paralleli e distribuiti
Algoritmi e Strutture dati: bioinformatica
Analisi Matematica I - B
Analisi Matematica II - A
Apprendimento Automatico
Architettura degli Elaboratori II: architetture parallele e distribuite - A
Architettura degli Elaboratori II: architetture parallele e distribuite - B
Architettura degli Elaboratori III
Architettura degli Elaboratori: laboratorio di sistemi a parallelismo massiccio
Architettura degli Elaboratori: sistemi a parallelismo massiccio
Basi di Dati e Sistemi Informativi I - B
Basi di Dati e Sistemi Informativi: basi di dati deduttive
Basi di Dati e Sistemi Informativi: recupero di documenti
Calcolo delle Probabilitá - B
Elettronica
Elettronica: sistemi digitali
Fisica generale I - B
Fisica Generale II - B
Fondamenti dell'Informatica: calcolabilitá e complessitá - A
Fondamenti dell'Informatica: calcolabilitá e complessitá - B
Fondamenti dell'Informatica: linguaggi formali e automi
Fondamenti dell'Informatica: semantica - A
Fondamenti dell'Informatica: semantica - B
Fondamenti dell'Informatica: semantica della concorrenza
Fondamenti dell'Informatica: semantica II
Informatica Generale: aspetti sociali, etici, professionali
Informatica Generale: dedattica dell' informatica
Informatica Grafica: laboratorio di realta' virtuale
Informatica Teorica: calcolabilita
Ínformatica Teorica: metodi algebrici
Ingegneria del Software I - B
Ingegneria del Software: controllo di qualita'
Ingegneria del Software: metodi di specifica
Ingegneria del Software: modelli di processo software
Ingegneria della Conoscenza e Sistemi Esperti
Istituzione di Algebra Superiore: codici
Laboratorio di Informatica I - A
Laboratorio di Informatica I - B
Laboratorio di Informatica II - A
Laboratorio di Informatica II - B
Laboratorio di Informatica III - A
Laboratorio di Informatica III - B
Laboratorio di Informatica IV - A
Laboratorio di Informatica IV - B
Laboratorio di Informatica: informatica musicale
Linguaggi di Programmazione: laboratorio di compilatori
Linguaggi di Programmazione: programmazione concorrente
Linguaggi di Programmazione: tecniche avanzate di compilazione
Logica Matematica - A
Logica Matematica - B
Logica Matematica
Matematica Computazionale
Matematica Computazionale: calcolo parallelo
Matematica Computazionale: geometria computazionale
Matematica Computazionale: laboratorio
Matematica Computazionale: problemi differenziali
Matematica Discreta - B
Ottimizzazione Combinatoria
Ottimizzazione Combinatoria: laboratorio
Percezione Robotica
Programmazione: lab di programmazione concorrente e orientato agli oggetti
Programmazione: laboratorio di programmazione funzionale
Programmazione: laboratorio di Programmazione Logica
Programmazione: metodi formali
Reti Neurali: laboratorio di sistemi ibridi
Ricerca Operativa: reti di comunicazioni
Ricerca Operativa: tecniche di simulazione
Sistemi di Elaborazione dell'Informazione : reti di calcolatori
Sistemi di Elaborazione dell'Informazione: applicazioni parallele
Sistemi di Elaborazione dell'Informazione: sistemi affidabili
Sistemi Operativi II
Statistica Matematica
Teoria dei Segnali
Teoria dei Sistemi
Teoria dell'Informazione - A
Teoria dell'Informazione - B

AFFIDAMENTI DIDATTICI SOSTITUTIVI

Matematica Discreta - B
    Il Consiglio, conosciuta la disponibilita' dell'interessato, approva l'affidamento didattico sostitutivo del corso B di questo insegnamento, alla Prof.ssa Patrizia Gianni, professoressa associata di Algebra.

Logica Matematica - A
    Il Consiglio, conosciuta la disponibilitá dell'interessato, approva l'affidamento didattico sostitutivo del corso A di questo insegnamento, al Prof. Vincenzo Manca, professore associato di Algoritmi e Strutture Dati.
    Si propone di dichiarare il settore della Logica Matematica affine a quello di Informatica in quanto tali settori hanno molti intersezioni culturali.

Calcolo delle Probabilitá - B
    Il Consiglio, conosciuta la disponibilitá dell'interessato, approva l'affidamento didattico sostitutivo del corso B di questo insegnamento, al Prof. Maurizio Pratelli, professore ordinario di Statistica Matematica.

Fondamenti dell'Informatica: calcolabilitá e Complessitá - A
I    l Consiglio, conosciuta la disponibilitá dell'interessato, approva l'affidamento didattico sostitutivo del corso A di questo insegnamento, al Prof. Pierpaolo Degano, professore ordinario di Linguaggi di Programmazione.

Fondamenti dell'Informatica: calcolabilitá e Complessitá - B
    Il Consiglio, conosciuta la disponibilitá dell'interessato, approva l'affidamento didattico sostitutivo del corso B di questo insegnamento, al Prof. Giorgio Germano, professore ordinario di Algoritmi e Strutture Dati.

Fondamenti dell'Informatica: semantica - A
    Il Consiglio, conosciuta la disponibilitá dell'interessato, approva l'affidamento didattico sostitutivo del corso A di questo insegnamento, al Prof. U. Montanari, professore ordinario di Metodi Formali dell'Informatica.

Fondamenti dell'Informatica: semantica - B
    Il Consiglio, conosciuta la disponibilitá dell'interessato, approva l'affidamento didattico sostitutivo del corso B di questo insegnamento, al Prof. Franco Turini, professore ordinario di Metodi Formali dell'Informatica.

Ingegneria del Software I - B
    Il Consiglio, conosciuta la disponibilitá dell'interessato, approva l'affidamento didattico sostitutivo del corso B di questo insegnamento, al Prof. Egon Boerger, professore ordinario di Metodi Formali dell'Informatica.

Teoria dell'Informazione - A
    Il Consiglio, conosciuta la disponibilitá dell'interessato, approva l'affidamento didattico sostitutivo del corso A di questo insegnamento, al Prof. Francesco Romani, professore ordinario di Algoritmi e Strutture dati.

Elettronica: sistemi digitali
    Il Consiglio, conosciuta la disponibilitá dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al Prof. Marco Schiaffino, professore associato di Elettronica dei Sistemi Digitali.

Fondamenti dell'Informatica: linguaggi formali e automi
    Il Consiglio, conosciuta la disponibilitá dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al Prof. Andrea Maggiolo, professore ordinario di Linguaggi di Programmazione.

Fondamenti dell'Informatica: semantica della concorrenza
    Il Consiglio, conosciuta la disponibilitá dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al Prof. Pierpaolo Degano, professore ordinario di Linguaggi di Programmazione.

Fondamenti dell'Informatica: semantica II
    Il Consiglio, conosciuta la disponibilitá dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al Prof. Ugo Montanari, professore ordinario di Metodi Formali dell'Informatica.

Informatica Teorica: calcolabilità
    Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al Prof. Vincenzo Manca, professore associato di Algoritmi e Strutture Dati.

Informatica Teorica: metodi algebrici
    Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al Prof. G. Germano professore ordinario di Algortimi e Strutture Dati.

Ingegneria del Software: metodi di specifica
    Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al prof. E. Boerger, professore ordinario di Metodi Formali dell'Informatica.

Matematica Computazionale: laboratorio
    Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al prof. F. Romani, professore ordinario di Algoritmi e Strutture Dati.
    Si propone di dichiarare il settore dell'Analisi Numerica affine a quello di Informatica in quanto tali settori hanno molti intersezioni culturali.

Programmazione: metodi formali
Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al prof. F. Turini, professore ordinario di Metodi Formali dell'Informatica.

Ricerca Operativa: tecniche di simulazione
    Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al prof. Giorgio Gallo, professore ordinario di Programmazione Matematica.

Ricerca Operativa: reti di comunicazioni
    Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al prof. Stefano Pallottino, professore ordinario di Programmazione Matematica.

Statistica Matematica
    Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al prof. Franco Caroti-Ghelli, professore associato di Statistica Matematica.

Ingegneria del Software: modelli di processo software
    Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al prof. Carlo Montangero, professore ordinario di Programmazione.

CORSI RIMASTI VACANTI

    Per tali corsi il Consiglio unanime chiede la loro pubblicizzazione affinché vengano attribuiti per affidamento o per supplenza:

Algebra Computazionale
Algoritmi e Strutture Dati: algoritmi paralleli e distribuiti
Algoritmi e Strutture dati: bioinformatica
Analisi Matematica I - B
Analisi Matematica II - A
Apprendimento Automatico
Architettura degli Elaboratori II: architetture parallele e distribuite - A
Architettura degli Elaboratori II: architetture parallele e distribuite - B
Architettura degli Elaboratori III
Architettura degli Elaboratori: laboratorio di sistemi a parallelismo massiccio
Architettura degli Elaboratori: sistemi a parallelismo massiccio
Basi di Dati e Sistemi Informativi I - B
Basi di Dati e Sistemi Informativi: basi di dati deduttive
Basi di Dati e Sistemi Informativi: recupero di documenti
Elettronica
Fisica generale I - B
Fisica Generale II - B
Informatica Generale: aspetti sociali, etici, professionali
Informatica Generale: dedattica dell' informatica
Informatica Grafica: laboratorio di realta' virtuale
Ingegneria del Software: controllo di qualita'
Ingegneria della Conoscenza e Sistemi Esperti
Istituzione di Algebra Superiore: codici
Laboratorio di Informatica I - A
Laboratorio di Informatica I - B
Laboratorio di Informatica II - A
Laboratorio di Informatica II - B
Laboratorio di Informatica III - A
Laboratorio di Informatica III - B
Laboratorio di Informatica IV - A
Laboratorio di Informatica IV - B
Laboratorio di Informatica: informatica musicale
Linguaggi di Programmazione: laboratorio di compilatori
Linguaggi di Programmazione: programmazione concorrente
Linguaggi di Programmazione: tecniche avanzate di compilazione
Logica Matematica
Logica Matematica - B
Matematica Computazionale
Matematica Computazionale: calcolo parallelo
Matematica Computazionale: geometria computazionale
Matematica Computazionale: problemi differenziali
Ottimizzazione Combinatoria
Ottimizzazione Combinatoria: laboratorio
Percezione Robotica
Programmazione: lab di programmazione concorrente e orientato agli oggetti
Programmazione: laboratorio di programmazione funzionale
Programmazione: laboratorio di Programmazione Logica
Reti Neurali: laboratorio di sistemi ibridi
Sistemi di Elaborazione dell'Informazione : reti di calcolatori
Sistemi di Elaborazione dell'Informazione: applicazioni parallele
Sistemi di Elaborazione dell'Informazione: sistemi affidabili
Sistemi Operativi II
Teoria dei Segnali
Teoria dei Sistemi
Teoria dell'Informazione - B
 
La proposta viene messa in votazione ed approvata all'unanimitá.
 
Letto, approvato e sottoscritto seduta stante.

                        Il Segretario                                                                                         Il Presidente

    Il Presidente propone per l'anno accademico 1998/99, che la distribuzione dei corsi sui semestri rimanga sostanzialmente invariata rispetto all'anno accademico precedente.
    Fa eccezione il secondo anno del corso di Laurea nel quale i corsi di "Analisi Matematica II" e "Logica Matematica" vengono spostati dal primo al secondo semestre scambiandosi con "Fisica Generale I" che passa al primo semestre.
    Questa proposta viene approvata con 3 astenuti.
    Inoltre, su richiesta del Prof. Gallo, il Presidente propone che il corso di "Calcolo delle Probabilitá" del terzo anno del corso di Laurea, venga spostato dal primo al secondo semestre scambiandosi con il corso di "Programmazione Matematica".
    Questa proposta viene approvata con 6 astenuti.

    La distribuzione dei corsi sui semestri risulta quindi essere la seguente:

SECONDO SEMESTRE
Algoritmi e Strutture dati I (2 u. d.)
Matematica Discreta (2 u. d.)
Laboratorio di Informatica II (1 u. d.)
 

SECONDO SEMESTRE
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.)

PRIMO SEMESTRE
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.)

SECONDO SEMESTRE
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.)
Basi di Dati e Sistemi informativi: rappresentazione di dati geografici (1 u.d.)
Informatica Applicata: Sistemi informativi territoriali (1 u.d.)
Ingegneria del Software: Progettazione di sistemi informativi territoriali (1 u.d.)

SECONDO SEMESTRE
Algoritmi e Strutture dati I (2 u. d.)
Matematica Discreta (2 u. d.)
Laboratorio di Informatica II (1 u. d.)
 

SECONDO SEMESTRE
Laboratorio di Informatica IV (1 u. d.)
Sistemi Operativi I (2 u. d.)
Analisi Matematica II (1 u. d.)
Logica Matematica (1 u. d.)

PRIMO SEMESTRE
Analisi Numerica (2 u. d.)
Basi di Dati e sistemi informativi I (1 u. d.)
Fondamenti dell'informatica: Calcolabilità e Complessità (1 u. d.)
Programmazione Matematica (1 u. d.)

SECONDO SEMESTRE
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.)
Calcolo delle Probabilità (1 u. d.)

PRIMO SEMESTRE
Basi di Dati e sistemi informativi II (1 u. d.)
Intelligenza Artificiale 1 (1 u. d.)

SECONDO SEMESTRE
Ingegneria del Software: Laboratorio di progettazione (1 u. d.)
Linguaggi di programmazione: Paradigmi e Macchine astratte (1 u. d.)

SECONDO SEMESTRE
Sistemi Operativi II (1 u. d.)

PRIMO SEMESTRE
Apprendimento Automatico (1 u. d.)
Fisica Generale: Modelli della fisica (1 u. d.)
Fondamenti dell'informatica: Linguaggi formali e Automi (1 u. d.)
Fondamenti dell'informatica: Semantica della Concorrenza (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 I (1 u. d.)
Teoria dei Segnali (1 u. d.)
Ottimizzazione Combinatoria (1 u. d.)
Sistemi di Elaborazione dell'Informazione: applicazioni parallele (1 u.d.)
Linguaggi di Programmazione: laboratorio di compilatori (1 u.d.)

SECONDO SEMESTRE
Architettura degli Elaboratori: sistemi a Parallelismo massiccio (1 u. d.)
Architettura degli Elaboratori: Laboratorio di sistemi a parallelismo massiccio (1 u. d.)
Basi di Dati e sistemi informativi: Laboratorio (1 u. d.)
Basi di Dati e sistemi informativi: basi di dati Distribuite e parallele (1 u. d.)
Informatica Teorica: Calcolabilità (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.)
Informatica Teorica: Metodi algebrici (1 u. d.)
Linguaggi di programmazione: Linguaggi Logici (1 u. d.)
Linguaggi di Programmazione: tecniche avanzate di compilazione (1 u.d.)
Programmazione: laboratorio di program. funzionale (1 u.d.)
Ingegneria del software: modelli di processo software (1 u.d.)
Ricerca Operativa: reti di comunicazione (1 u.d.)
 

PRIMO SEMESTRE
Elettronica (1 u. d.)
Elettronica: sistemi Digitali (1 u. d.)
Informatica Generale: Didattica dell'informatica (1 u. d.)
Ingegneria del software: Metodi di specifica (1 u.d.)
Ricerca Operativa: tecniche di Simulazione (1 u. d.)
Statistica Matematica (1 u. d.)
Teoria dei Sistemi (1 u. d.)
Algoritmi e Strutture dati: bioinformatica (1 u.d.)
Programmazione: laboratorio di program. concorrente e orientato agli oggetti (1 u.d.)
Ottimizzazione Combinatoria: laboratorio (1 u.d.)
Sistemi di Elaborazione dell'Informazione: sistemi affidabili (1 u.d.)
Ingegneria del software: controllo di qualitá (1 u.d.)

SECONDO SEMESTRE
Basi di dati e Sistemi Informativi: basi di dati deduttive (1 u.d.)
Informatica Grafica: Laboratorio di realtà virtuale (1 u. d.)
Matematica Computazionale I (1 u. d.)
Matematica Computazionale: calcolo Parallelo (1 u. d.)
Matematica Computazionale: Geometria computazionale (1 u. d.)
Matematica Computazionale: Laboratorio (1 u. d.)
Programmazione: Laboratorio di programmazione logica (1 u. d.)
Reti Neurali: Laboratorio di sistemi ibridi (1 u. d.)
Laboratorio di Informatica: informatica musicale (1 u.d.)
Percezione Robotica (1 u.d.)
Reti neurali II (1 u.d.)
Linguaggi di programmazione: programmazione concorrente (1 u.d.)
Fondamenti dell'Informatica: semantica II (1 u.d.) 

Basi di dati e sistemi informativi: recupero di documenti (1 u.d.)
 
Letto, approvato e sottoscritto seduta stante.

                    Il Segretario                                                                                                             Il Presidente

Ordine del giorno: 6
Argomento: Questionario studenti
                 - uso e diffusione dei risultati (legge sulla privacy)

    Letto, approvato e sottoscritto seduta stante.

                                Il Segretario                                                                                             Il Presidente

PROGRAMMA SOCRATES - integrazione piano di studi

    Si autorizza la studentessa Maria Iaquinta, attualmente presso l'Universitá Politecnica di Valencia secondo il programma Socrates, a sostituire l'esame di "Linguaggi Formali e Compilatori" con quello di "Progetto di Sistemi Numerici", da tenere all'estero secondo la delibera CCL n.93 del 3/10/97. L'esame di PSN entra quindi a far parte del suo piano di studi 1997/98.
    Approvato all'unanimitá.

Letto, approvato e sottoscritto seduta stante.

                                Il Segretario                                                                                                 Il Presidente

    Letto, approvato e sottoscritto seduta stante.

                                    Il Segretario                                                                                     Il Presidente

NULLA-OSTA PER MISSIONE
    La prof.ssa Dionisia FRANCESETTI CAZZANIGA professoressa associata di "Economia Industriale" chiede l'autorizzazione ad effettuare una missione in Inghilterra per motivi di studio e di ricerca dal 20 luglio 1998, per tre settimane.
    In tale periodo si recherà presso il Felixtowe, il Lloyd's Register, l'OCS, la London School of Economics.
    Vista l'assenza di impedimenti di ordine didattico, in quanto il periodo interessato coincide con l'inizio delle vacanze estive, il Consiglio delibera il nulla-osta alla missione della prof.ssa D. Francesetti-Cazzaniga.
    Approvato all'unanimità.

NULLA-OSTA CONGEDO PER ALTERNANZA
    La prof.ssa Dionisia FRANCESETTI CAZZANIGA professoressa associata di "Economia Industriale", ha richiesto il nulla-osta per un congedo per alternanza, per motivi di studio e ricerca, a norma dell'art. 17 del DPR 382/80, da usufruire nell'a.a. 1998/99.
    La prof.ssa Cazzaniga intende svolgere attività di ricerca relativa a porti e cantieri con una permanenza nei principali porti e cantieri mondiali e scrivere un libro sulla cantieristica italiana e mondiale alla luce dell'andamento del PIL mondiale, l'evoluzione tecnologica, la concorrenza internazionale e lo sviluppo portuale.
    Il Consiglio delibera il nulla osta al congedo, in quanto si prevede di disattivare per l'anno accademico 1998/99, i corsi tenuti dalla prof.ssa Cazzaniga.
    Approvato all'unanimità.

Letto, approvato e sottoscritto seduta stante.

                                Il Segretario                                                                                         Il Presidente

    Il Presidente illustra una proposta di ristrutturazione di Corso di Laurea e di Diploma, volta a recepire le indicazioni del cosiddetto "Documento Martinotti".

    La proposta, qui di seguito riportata, era stata presentata alla Commissione Didattica nella riunione del 30 aprile u.s.

Struttura generale

    Si conviene che la struttura migliore è la cosiddetta 3-5-8: tutti gli studenti si iscrivono al Diploma (Diploma totalmente in serie), che dura 3 anni. Al termine, chi ottiene il diploma e vuole proseguire, con altri due anni consegue la laurea. Infine, si puó proseguire ulteriormente con il dottorato di ricerca (che dura 3 anni), il cui accesso è riservato ai laureati.
    Questa proposta è conforme a quanto richiesto dal documento Martinotti, ed inoltre è in linea perfetta con quanto stanno adottando Francia, Gran Bretagna e Germania (e quindi, utilizzando questa struttura, ci troveremo giá in linea con quanto prevedibilmente la Comunità Europea adotterà, o comunque consiglierà fortemente).

Struttura particolare

    Si propone di lasciare quasi invariata la struttura attuale del Diploma (con tanto di stage-progetto finale), e di trasformare le attuali nicchie di professionalizzazione in corsi di specializzazione post-diploma.
    In particolare, si propone:

Algoritmi e Strutture Dati I (2 unita' didattiche)
Analisi Matematica I (2 unita' didattiche)
Laboratorio di Informatica I (1 unita' didattica)
Laboratorio di Informatica II (1 unita' didattica)
Matematica Discreta (2 unita' didattiche)
Programmazione I (2 unita' didattiche)

Architettura degli Elaboratori I (2 unita' didattiche)
Laboratorio di Informatica III (1 unita' didattica)
Laboratorio di Informatica IV (1 unita' didattica)
Sistemi Operativi I (2 unita' didattiche)
Logica Matematica (1 unita' didattica)
Calcolo Numerico (1 unita' didattica)
Ricerca Operativa (1 unita' didattica)
Ricerca Operativa: organizzazione e gestione aziendale (1 u.d.)
 

Come si vede, il quarto anno diverrebbe un anno di approfondimenti culturali, mentre il quinto dovrebbe essere più professionalizzante.

    Infine il Presidente fa notare come tale proposta vada considerata un punto di partenza della discussione, e non è assolutamente una proposta finale. Dati i tempi previsti, c'è un ampio margine di discussione.

    Iniziano quindi gli interventi dei presenti, da cui emergono le proposte di tenere conto anche della discussione che stà avvenendo nel resto della Facoltà, e di anticipare gli insegnamenti caratterizzanti (minors) al IV anno, magari a scapito di Fisica e Teoria dell'Informazione. Inoltre, viene evidenziato il possibile ritardo nell'iscrizione al IV anno (corso di Laurea) dovuto ai ritardi che possono essere connessi con l'effettuzione dello stage, condizione necessaria per il conseguimento del Diploma, e si indica come possibile soluzione una diversa modalità di diploma per gli studenti che intendono proseguire, ovvero iscriversi "sotto condizione".

    Ulteriori discussioni sono rimandate a successive riunioni del Consiglio.

Letto, approvato e sottoscritto seduta stante.

                            Il Segretario                                                                                                 Il Presidente

    Constatato l'esistenza di alcuni studenti del Corso di Laurea in Informatica che hanno ormai completato la maggior parte delle attività fondamentali previste, il Presidente, propone che si tenga in data 20 luglio 1998, il primo appello straordinario di Laurea in Informatica per l'anno accademico 1997/98. Propone altresì che in detta circostanza si tenga una cerimonia di conferimento del titolo a cui saranno invitate autorità locali e nazionali.

    Il Consiglio unanimamente approva.

    Letto, approvato e sottoscritto seduta stante.

                                    Il Segretario                                                                                                 Il Presidente