L'anno millenovecentonovantanove il giorno trenta del mese di aprile alle ore 15.30 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: Boerger, Bonuccelli, Capovani, Gallo, Levi, Luccio, Maggiolo, Montanari, Montangero, Pagli, Pallottino, Traverso, Turini, Vanneschi.

Associati: Ambriola, Antonelli, Barbuti, Bevilacqua, Ghelli, Manca, Menchi, Pedreschi, Simi.

Ricercatori ed assistenti: Conti, Fortuna, Frangioni, Levi, Ricci.

Rappr. studenti: Lanotte, Mannini.

Rappr. non docenti: Carpentras, Mongini
 

Ordinari: Albano, Colombini, Maestrini, Murthy, Pratelli, Romani.

Associati: Alberti, Attardi, Baiardi, Barcaro, Brogi, Cazzaniga, Caroti-Ghelli, Cornolti, Danelutto, Dario, Fidecaro, Gianni, Grossi, Leoni, Mancarella, Morreale, Rolla, Schiaffino, Scutellà, Zanzotto.

Ricercatori e assistenti: Bergamasco, Corradini, Di Pierro, Ferragina, Ferrari, Giannotti, Giuliano, Laforenza, Laganà, Lijtmaer, Mogorovich, Occhiuto, Pelagatti, Perego, Piram, Profeti, Sabatini, Sebastiani, Tarabella.

Rappr. studenti: Bonomini

Rappr. non docenti:

                                                                                                                Presiede il Prof. M. Bonuccelli

 
Esercita le funzioni di Segretario il Prof. L. Pagli

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

(*) Alla discussione partecipano solamente i ricercatori, gli associati, e gli ordinari
(**) Alla discussione partecipano solamente i professori associati e gli ordinari
(***) Alla discussione partecipano solamente i professori ordinari
 

Letto, approvato e sottoscritto seduta stante.

                                Il Segretario                                                             Il Presidente

 
Ordine del giorno: 1
Argomento: Comunicazioni

- i dati relativi alle immatricolazioni e iscrizioni ottenuti dalla pagina WEB dell'università di Pisa, relativi al nostro Corso di Studi;

- la Giunta Regionale della Regione Toscana ci ha inviato per opportuna conoscenza copia del documento di intesa tra la Sovrintandenza Scolastica Regionale per la Toscana e l'Università di Pisa, per promuovere attività di orientamento nelle scuole secondarie superiori della Toscana.

- la Facoltà di Scienze M.F.N. dell'Università di Pisa ha bandito per quest'anno accademico 14 incarichi di collaborazione part-time a studenti per tutorato di prima accoglienza e per attività di orientamento nelle scuole. Le domande di partecipazione dovranno pervenire improrogabilmente entro il 20 maggio.

- il Direttore del Centro di Calcolo prof. Romani ha inviato un messaggio contenente le regole per le stampe effettuate dagli studenti presso il Centro di Calcolo, che entreranno in vigore a partire dal prossimo anno accademico;

- il prof. Turini comunica che il Senato ha approvato la riforma dello stato giuridico dei ricercatori e ne illustra i punti salienti.
 

Letto, approvato e sottoscritto seduta stante.
 

                                Il Segretario                                                         Il Presidente

Il Presidente da lettura del Provvedimento di Urgenza n. 3 del 15 aprile 1999, (allegato al presente verbale) con il quale è stato autorizzato lo studente Gianluca NERBINI a modificare il proprio piano di studi per l'anno accademico 1997/98.

Il Consiglio unanime ratifica.

Letto, approvato e sottoscritto seduta stante.

                        Il Segretario                                                                             Il Presidente

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.

DIPLOMA UNIVERSITARIO IN INFORMATICA

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	D. Pedreschi (associato)
Sistemi Operativi I	M. Bonuccelli (ordinario)

INSEGNAMENTI NON COPERTI PER ASSENZA O PER MANCANZA DEL TITOLARE

Algoritmi e Strutture Dati I
Algoritmi e Strutture Dati: crittografia
Analisi Matematica I - A
Analisi Matematica I - B
Architettura degli Elaboratori: sicurezza
Basi di Dati e Sistemi Informativi: rappresentazioni 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: laboratorio di applicazioni internet
Ingegneria del Software: progettazione di sistemi informativi territoriali
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: classificazioni e macchine astratte
Linguaggi di Programmazione: programmazione sicura
Matematica Discreta - A
Matematica Discreta - 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.

AFFIDAMENTI DIDATTICI

Algoritmi e Strutture Dati I

Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico di questo insegnamento, al prof. Roberto Grossi, professore associato per il raggruppamento K05B.

Laboratorio di Informatica I - B

Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico di questo insegnamento, al prof. Antonio Brogi, professore associato per il raggruppamento K05B.

Laboratorio di Informatica IV

Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico di questo insegnamento, al prof. Alessandro Sperduti, professore associato per il raggruppamento K05B.

Ricerca Operativa

Il Consiglio, conosciuta la disponibilità dell'interessata, approva l'affidamento didattico di questo insegnamento, alla prof.ssa Maria Grazia Scutellà, professoressa associata per il raggruppamento A04B.

CORSI RIMASTI VACANTI

Per tali corsi il Consiglio unanime chiede la loro pubblicizzazione affinché vengano attribuiti per affidamento o supplenza:
Algoritmi e Strutture Dati: crittografia
Analisi Matematica I - A
Analisi Matematica I - B
Architettura degli Elaboratori: sicurezza
Basi di Dati e Sistemi Informativi: rappresentazioni di dati geografici
Calcolo delle Probabilità e Statistica Matematica
Informatica Applicata: sistemi informativi territoriali
Informatica Generale: aspetti sociali, etici e professionali
Ingegneria del Software: laboratorio di applicazioni internet
Ingegneria del Software: progettazione di sistemi informativi territoriali
Laboratorio di Informatica I - A
Laboratorio di Informatica II - A
Laboratorio di Informatica II - B
Laboratorio di Informatica III
Linguaggi di Programmazione: classificazioni e macchine astratte
Linguaggi di Programmazione: programmazione sicura
Matematica Discreta - A
Matematica Discreta - B
Ricerca Operativa: organizzazione e gestione aziendale
Sistemi di Elaborazione dell'Informazione: reti di calcolatori

CORSO DI LAUREA IN INFORMATICA

DISATTIVAZIONE CORSI

Visto che il prof. F. Caroti-Ghelli titolare del corso di Statistica Matematica, ha presentato domanda di pensionamento a partire dall'anno accademico 1999/2000, il Consiglio unanime decide di disattivare il corso medesimo.

ATTIVAZIONE CORSI

Economia dei Sistemi Industriali
Organizzazione della Produzione e dei Sistemi Logistici

ATTRIBUZIONE DI COMPITI DIDATTICI 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 P. Acquistapace (associato)
Programmazione I - A P. Mancarella (associato)
Programmazione I - B R. Barbuti (associato)
Architettura degli Elaboratori I - A S. Antonelli (associato)
Architettura degli Elaboratori I - B M. Vanneschi (ordinario)
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)
Basi di dati e Sistemi Informativi I - B G. Ghelli (associato)
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)
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)
Economia dei Sistemi Industriali D. Cazzaniga (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)
Organiz.ne della Produzione e dei Sistemi Logistici D. Cazzaniga (associato)
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 Dati: algoritmi paralleli e distribuiti
Analisi Matematica I - B
Analisi Matematica II - A
Analisi Matematica II - B
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: basi di dati deduttive
Basi di Dati e Sistemi Informativi: recupero di documenti
Calcolo delle Probabilitá - B
Elettronica
Elettronica: sistemi digitali
Fisica generale I - A
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: didattica 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: laboratorio di applicazioni internet
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
Logica Matematica - A
Logica Matematica - B
Matematica Computazionale
Matematica Computazionale: laboratorio
Matematica Computazionale: problemi differenziali
Matematica Discreta - A
 Matematica Discreta - B
Ottimizzazione Combinatoria
Ottimizzazione Combinatoria: laboratorio
Percezione Robotica
Programmazione Matematica - B
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: reti di calcolatori II
Sistemi di Elaborazione dell'Informazione: sistemi affidabili
Sistemi Operativi II
Teoria dei Segnali
Teoria dei Sistemi
Teoria dell'Informazione - A
Teoria dell'Informazione - B

AFFIDAMENTI DIDATTICI SOSTITUTIVI

Matematica Discreta - A

Il Consiglio, conosciuta la disponibilita' dell'interessato, approva l'affidamento didattico sostitutivo del corso A di questo insegnamento, al Prof. Carlo Traverso, professore ordinario 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.

Fondamenti dell'Informatica: calcolabilitá e Complessitá - A

Il 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.

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: 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: modelli di processo Software

Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al Prof. C. Montangero professore ordinario di Programmazione.

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.

AFFIDAMENTI DIDATTICI

Architetture degli Elaboratori II: architetture parallele e distribuite - A

Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico del corso A di questo insegnamento, al prof. Marco Danelutto, professore associato per il raggruppamento K05B.

 Sistemi Operativi II

Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico di questo insegnamento, al prof. Marco Danelutto, professore associato per il raggruppamento K05B.

 Apprendimento Automatico

Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico di questo insegnamento, al prof. Alessandro Sperduti, professore associato per il raggruppamento K05B.

 Ricerca Operativa: reti di comunicazioni

Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico di questo insegnamento, al prof. Maria Grazia Scutellà, professore associato per il raggruppamento A04B.

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
Analisi Matematica I - B
Analisi Matematica II - A
Analisi Matematica II - B
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: basi di dati deduttive
Basi di Dati e Sistemi Informativi: recupero di documenti
Calcolo delle Probabilitá - B
Elettronica
Fisica generale I - A
Fisica generale I - B
Fisica Generale II - B
Fondamenti dell'Informatica: linguaggi formali e automi
Fondamenti dell'Informatica: semantica della concorrenza
Informatica Generale: aspetti sociali, etici, professionali
Informatica Generale: didattica dell' informatica
Informatica Grafica: laboratorio di realta' virtuale
Ingegneria del Software I - B
Ingegneria del Software: controllo di qualita'
Ingegneria del Software: laboratorio di applicazioni internet
Ingegneria del Software: metodi di specifica
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: problemi differenziali
Matematica Discreta - B
Ottimizzazione Combinatoria
Ottimizzazione Combinatoria: laboratorio
Percezione Robotica
Programmazione Matematica - B
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: reti di calcolatori II
Sistemi di Elaborazione dell'Informazione: sistemi affidabili
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 da la parola a Barbuti che illustra la discussione ufficiosa avutasi a margine della seduta del Senato Accademico, riguardo la deroga al Regolamento Didattico d'Ateneo richiesta dal nostro Corso di Studi, circa il numero di appelli (4 anziché 6). Barbuti fa presente che la richiesta sarà con tutta probabilità bocciata.

Si apre una lunga discussione durante la quale emerge la volontà pressoché unanime di persistere nella richiesta di deroga già presentata.

Letto, approvato e sottoscritto seduta stante.

                            Il Segretario                                                                 Il Presidente

Il Presidente illustra tre proposte alternative di calendario.
Si apre quindi una discussione articolata, volta a stabilire i vari aspetti del calendario e piú precisamente le verifiche intermedie, il numero di appelli e la fruibilità degli appelli.

Verifiche intermedie
Attualmente il numero di verifiche varia da 2 a 3, a scelta del docente.
Dal prossimo anno accademico tali verifiche diverranno 2, in periodi fissi stabiliti dal Consiglio di Corso di Studi, e si svolgeranno con la sospensione della didattica.
Approvato all'unanimità.

Numero di appelli
Si passa poi a decidere il numero di appelli da effettuare all'interno delle 3 sessioni d'esame.
Viene approvata all'unanimità la proposta di due appelli per ogni sessione d'esame.

Fruibilità degli appelli
Si passa quindi a discutere se permettere agli studenti di sostenere esami durante tutti gli appelli o mantenere la struttura semestralizzata attuale, per la quale è stata richiesta la deroga al Senato Accademico.
Pallottino chiede che le restrizioni sulla fruibilità degli appelli sia estesa a tutti gli studenti del Corso di Studi in Informatica. La proposta ottiene solamente 5 voti favorevoli e viene pertanto bocciata.
Viene quindi approvata la soluzione di mantenere l'attuale struttura semestralizzata con 2 contrari ed 1 astenuto.
A questo punto viene posto in votazione il calendario seguente, approvato a larghissima maggioranza.
 

SOSPENSIONE LEZIONI PER PRIMA VERIFICA INTERMEDIA         08/09/10.11.1999
SOSPENSIONE LEZIONI PER SECONDA VERIFICA INTERMEDIA     20/21/22.12.1999

VACANZE NATALIZIE 23.12.1999 - 09.01.2000

PRIMO APPELLO *             10.01.2000 - 28.01.2000
SECONDO APPELLO. *       31.01.2000 - 11.02.2000

SECONDO SEMESTRE:
INIZIO LEZIONI  14.02.2000
FINE LEZIONI     26.05.2000

SOSPENSIONE LEZIONI PER PRIMA VERIFICA INTERMEDIA          27/28/29.03.2000
SOSPENSIONE LEZIONI PER SECONDA VERIFICA INTERMEDIA     29/30/31.05.2000

VACANZE DI PASQUA 20.04.2000 - 26.04.2000

TERZO APPELLO **             05.06.2000 - 23.06.2000
QUARTO APPELLO **           26.06.2000 - 14.07.2000

VACANZE ESTIVE 15.07.2000 - 27.08.2000

QUINTO APPELLO ***         28.08.2000 - 15.09.2000
SESTO APPELLO ***           18.09.2000 - 22.09.2000

INIZIO LEZIONI A.A. 2000/2001 25.09.2000

* RISERVATO AI CORSI DEL PRIMO SEMESTRE
** RISERVATO AI CORSI DEL SECONDO SEMESTRE
*** APPELLI DI RECUPERO

10.01.2000 - 28.01.2000
31.01.2000 - 11.02.2000

05.06.2000 - 23.06.2000
26.06.2000 - 14.07.2000

28.08.2000 - 15.09.2000
18.09.2000 - 22.09.2000

10.01.2000 - 28.01.2000                     28.08.2000 - 15.09.2000
31.01.2000 - 11.02.2000                     18.09.2000 - 22.09.2000
 

STUDENTI 1º, 2º, 3º anno DIPLOMA corsi del 2º semestre
STUDENTI 1º, 2º, 3º e 4º anno LAUREA - corsi del 2º semestre

05.06.2000 - 23.06.2000                     28.08.2000 - 15.09.2000
26.06.2000 - 14.07.2000                     18.09.2000 - 22.09.2000

SESSIONE AUTUNNALE 1998/99                              SESSIONE ESTIVA 1999/2000
1° APPELLO 15/10/1999                                                 1° APPELLO 30/06/2000
2° APPELLO 17/12/1999                                                 2° APPELLO 21/07/2000

SESSIONE STRAORDIN. 1998/99                             SESSIONE AUTUNNALE 1999/2000
1° APPELLO 03/03/2000                                                     1° APPELLO 20/10/2000
2° APPELLO 05/05/2000                                                     2° APPELLO 15/12/2000
 

Letto, approvato e sottoscritto seduta stante.

                        Il Segretario                                                         Il Presidente

Ordine del giorno: 6
Argomento: Sbarramenti e compitini
                        - abbassamento sbarramento tra primo e secondo anno
                        - validità compitini come prove d'esame
                        - iscrizione triennio di applicazione

Abbassamento sbarramento tra primo e secondo anno.

Il Presidente cede la parola a Vanneschi, che aveva richiesto di discutere una proposta di abbassamento dello sbarramento tra primo e secondo anno , da 7 a 6 unità didattiche. Considerata la discussione della precedente seduta del Consiglio su Logica matematica, vanneschi annuncia di ritirare la richiesta, ma chiede comunque di discutere del problema degli sbarramenti.
Durante la discussione emerge la possibilità di avere sbarramenti piú efficaci agendo sul programma dei corsi. In particolare si chiede di discutere in Commissione didattica dei programmi dei corsi di Analisi matematica e Matematica Discreta.

Validità compitini come prove d'esame.

Si decide all'unanimità di considerare le verifiche come prove d'esame e pertanto ad esse si applicano le regole per gli esami, ivi comprese propedeuticità e sbarramenti.
Quindi, il Consiglio decide che le verifiche valgono solo per la sessione di esami successiva al semestre in cui si sono svolte. Questa decisione viene presa con 1 contrario e 3 astenuti.

Il successivo sottopunto viene rimandato al prossimo Consiglio.

Letto, approvato e sottoscritto seduta stante.

                        Il Segretario                                                                 Il Presidente

Il presente punto all'ordine del giorno viene rimandato ad una prossima seduta del Consiglio.

Letto, approvato e sottoscritto seduta stante.

                    Il Segretario                                                                     Il Presidente

Ordine del giorno: 8
Argomento: Valutazione della didattica
                       - dati forniti dal nucleo d'Ateneo

Il presente punto all'ordine del giorno viene rimandato ad una prossima seduta del Consiglio.

Letto, approvato e sottoscritto seduta stante.

         Il Segretario                                                                             Il Presidente

Ordine del giorno: 9
Argomento: Pratiche studenti

Modifiche al Piano di Studi

Elisabetta FALCUCCI è autorizzata a modificare come segue il piano di studi presentato al momento della presentazione della candidatura Socrates:
"Ricerca Operativa: Tecniche di Simulazione" invece di "Reti Neurali I".

Giovanni TURI è autorizzato a modificare come segue il piano di studi presentato al momento della presentazione della candidatura Socrates:
"Interazione Uomo-Macchina: Fondamenti di Computer Graphics" invece di "Informatica applicata: informatica nell'impresa"; "Sistemi per l'Elaborazione dell'Informazione: Reti di Telecomunicazione 2" invece di "Ingegneria del software: aspetti professionali".

Gianluca CARLETTI è autorizzato a modificare come segue il piano di studi presentato al momento della presentazione della candidatura Socrates:
"Interazione Uomo-Macchina: Fondamenti di Computer Graphics" invece di "Interazione Uomo-Macchina: Aspetti Ergonomici e Psicologici".

Armando FELLA è autorizzato a modificare come segue il piano di studi presentato al momento della presentazione della candidatura Socrates:
"Interazione Uomo-Macchina: Fondamenti di Computer Graphics" invece di "Interfazione Uomo-Macchina: Aspetti Ergonomici e Psicologici"; "Programmazione: Laboratorio di Programmazione Funzionale" invece di "Intelligenza Artificiale I".

Pratiche studenti: autorizzazioni

Domenico Egidio COLAVERO è autorizzato a sostenere i seguenti esami presso l'Università Nuova di Lisbona (LISBOA03 - P):
"Probabilidades e Estatistica" per "Calcolo delle Probabilita' e Statistica"; "Calculo Numerico" per "Calcolo Numerico".

Igor NETTO è autorizzato a sostenere i seguenti esami presso l'Università di Uppsala (UPPSALA01 - S):
"Probability Theory and Mathematical Statistics" per "Calcolo delle Probabilita e Statistica"; "Numerical Analysis" per "Calcolo Numerico".

Samantha MUSCARA' è autorizzata a sostenere i seguenti esami presso l'Università di Valencia (VALENCIA01 - E):
"Arquitectura de Computadores"(6050) più "Arquitecturas Avanzadas"(6051) per "Progetto di Sistemi Numerici"; "Metodos Numericos"(6609) e "Metodos Numericos para el Algebra lineal"(6611) per "Calcolo Numerico"; "Teoria d'automats i llenguatges formals 1"(7075) piu'"Teoria d'automats i llenguatges formals 2"(7077) per "Metodi per il Trattamento dell'Informatica"; "Intelligencia Artificial"(6392) piu'"Laboratorio de Intelligencia Artificial"(6495) per "Elaborazione dell'Informazione non Numerica".

Marcello Alessandro DI PIETRA è autorizzato sostenere i seguenti esami presso l'Università di Deusto (BILBAO02 - E):
"Ingenieria del Software I" per "Ingegneria del Software"; "Ingenieria del Software II" per "Ingegneria del Software: Laboratorio di Progettazione"; "Redes de Computadores" per "Sistemi di Elaborazione dell'Informazione: Reti di Calcolatori" più un colloquio integrativo; "Inteligencia Artificial"(2305) per "Intelligenza Artificiale"; "Investigacion Operativa II" per "Programmazione Matematica"; "Tecnologia de la Programacion" per "Paradigmi e Macchine Astratte".

Giovanni TURI è autorizzato a sostenere i seguenti esami presso la University of Limerick (IRLLIMERIC 01, IRL):
"Discrete Mathematics 1"(MS4111) e "Linear Algebra 1"(MS4102) per "Programmazione Matematica"; "Advanced Databases"(CS4418) per "Basi di Dati e Sistemi Informativi: Basi di Dati Avanzate"; "Computer Networks"(CS4225) per "Sistemi di Elaborazione dell'Informazione: Reti di Calcolatori"; "Software Engineering 5"(CS4318) per "Ingegneria del Software: Controllo di Qualita`"; "Microeconomics"(EC4101) per "Microeconomia"; "Telecommunications Network Architectures"(CS4218) per "Sistemi per l'Elaborazione dell'Informazione: Reti di Telecomunicazione"; "Computer Graphics"(CS4818) per "Interazione Uomo-Macchina: Fondamenti di Computer Graphics".

Convalida esami:

Gianluca CARLETTI: in base alla documentazione (allegato n. 1 ), e alla delibera n. 62 del CCL del 24.06.94, si riconoscono i seguenti voti, riportati presso il Queen Mary and Westfield College (LONDON31 - UK), per gli esami riconosciuti equipollenti con precedente delibera n. 65 del 11/9/98 e n. 80 del 9.10.98:
"Object Oriented Programming"(DCS/220) per "Programmazione: paradigmi avanzati" (1 UD): 30/30 in data 14/4/99;
"Systems Analysis"(DCS/310) per "Ingegneria del Software: laboratorio di progettazione": 26/30 in data 14/4/99.

Andrea FICINI: in base alla documentazione (allegato n. 2 ), e alla delibera n. 62 del CCL del 24.06.94, si riconoscono i seguenti voti, riportati presso la Vrije University (Amsterdam), per gli esami riconosciuti equipollenti con precedenti delibere n. 3 del 12.12.97 e n. 25 del 27.03.98:
"Computer Networks (WD098 - 4.5)" e "Parallel Computing" per Progetto di Sistemi Numerici: 28/30 in data 9/7/98;
Neural Networks (WD158 con modulo 2A) per "Teoria dei Sistemi": 30/30 in data 15/1/99.

Simone CARLESI: in base alla documentazione (allegato n. 3), e alla delibera n. 62 del CCL del 24.06.94, si riconoscono i seguenti voti, riportati presso la Vrije University (Amsterdam), per gli esami riconosciuti equipollenti con precedenti delibere n. 80/2 del 04.07.97 :
"Numerical Analysis I" per "Calcolo Numerico": 19/30 in data 14/9/98;
"Semantics (WD203 - 6)" e "Programming Languages Principles (WD039 - 4.5)" per "Metodi per l'Elaborazione dell'Informazione": 24/30 in data 30/9/98;
"Compiler Construction (WD074 - 4.5)" e "Parsing Techniques (WD170 - 4.5)" per "Linguaggi Formali e Compilatori": 26/30 in data 18/6/98.

PROGETTO SOCRATES - Criteri per la formazione della graduatoria di merito

Sono pervenute 30 domande: 1 da parte di studenti del Diploma di Informatica, 15 da parte di studenti del Corso di Laurea in Informatica, 14 da parte di studenti del Corso di Laurea in Scienze dell'Informazione.
Uno studente aveva già usufruito della borsa di studio Erasmus in anni precedenti.
In base a queste domande è stata stilata un'unica graduatoria di merito tenendo conto di:

- Media dei voti riportati
- Un coefficiente di rendimento (n. esami sostenuti rispetto a quelli che si sarebbero potuti sostenere fino all'appello di febbraio 99 compreso)
- Il grado di conoscenza della lingua (coefficiente da 0.95 a 1)
- La validità del programma (coefficiente da 0.95 a 1)
- Un coefficiente di permanenza per fuori corso (n. anni legali in rapporto al numero di anni trascorsi dalla prima iscrizione ad Informatica)

Il risultato è la graduatoria (allegato n. 4) che è stata usata per l'allocazione delle sedi disponibili, cercando di soddisfare le richieste in ordine di graduatoria.

Destinazioni dei candidati e approvazione piani di studio.

Giovanni Conforti è autorizzato a recarsi presso Queen Mary and Westfield College (LONDON031) per 3 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Matteo Coccia è autorizzato a recarsi presso Vrije Universitet (AMSTERD02) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Francesco Zappa Nardelli è autorizzato a recarsi presso Universitè de Paris Sud (PARISSUDXI) per 6 mesi a partire da ottobre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Luca Ventura è autorizzato a recarsi presso Queen Mary and Westfield College (LONDON031) per 3 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Sergio Maffeis è autorizzato a recarsi presso Vrije Universitet (AMSTERD02) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Flavio Baronti è autorizzato a recarsi presso University of Manchester (MANCHES01) per 5 mesi a partire da gennaio 2000 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Marco Carbone è autorizzato a recarsi presso Vrije Universitet (AMSTERD02) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Gabriele Pieri è autorizzato a recarsi presso Vrije Universitet (AMSTERD02) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Daniela De Col è autorizzata a recarsi presso Queen Mary and Westfield College (LONDON031) per 3 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Mario Papeschi è autorizzato a recarsi presso Leiden University (LEIDEN01) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Andrea Zani è autorizzato a recarsi presso Universidad de Valencia (VALENCI01) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Daniela Barbieri è autorizzata a recarsi presso Leiden University (LEIDEN01) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Carla Polgatti è autorizzata a recarsi presso University of Limerick (IRLLIMERIC01) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Andrea Barbieri è autorizzato a recarsi presso Universitade Nova de Lisboa (LISBOA03) per 5 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Andrea Paternesi è autorizzato a recarsi presso Queen Mary and Westfield College (LONDON031) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Marco Cicerani è autorizzato a recarsi presso University of Limerick (IRLLIMERIC01) per 9 mesi a partire da settembre1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Antonio Roggio è autorizzato a recarsi presso University of Bristol (BRISTOL01) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Giovanni Licitra è autorizzato a recarsi presso University of Birmingham (BIRMINGHAM 02) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Giuseppino Barla è autorizzato a recarsi presso Universitade Nova de Lisboa (LISBOA03) per 6 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Francesca Costagli è autorizzata a recarsi presso Univesidad Politecnica de Valencia (VALENCI02) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Arianna Faraoni è autorizzata a recarsi presso Universidad de Valencia (VALENCI01) per 9 mesi a partire da ottobre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Christian Esposito è autorizzato a recarsi presso University of Limerick (IRLLIMERIC01) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Matteo Dalle Luche è autorizzato a recarsi presso Linkoping University (LINKOPI01) per 6 mesi a partire da gennaio 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Cristina Galdi è autorizzata a recarsi presso Linkoping University (LINKOPI01) per 6 mesi a partire da gennaio 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Elvira Palamara è autorizzata a recarsi presso Univesidad Politecnica de Valencia (VALENCI02) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Immacolata Calzone è autorizzata a recarsi presso Univesidad Politecnica de Valencia (VALENCI02) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Valentino Zannino è autorizzato a recarsi presso Universidad de Valencia (VALENCI02) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Laura De Giorgi è autorizzata a recarsi presso Universidad de Valencia (VALENCI01) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Cinzia Brazzini è autorizzata a recarsi presso Universidad de Valencia (VALENCI01) per 9 mesi a partire da settembre 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

Michela De Nizza è autorizzata a recarsi presso Leiden University (LEIDEN01) per 9 mesi a partire da sett 1999 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.
Si approva il piano di studi presentato con la domanda.

TESI DI LAUREA
 Su richiesta dei proff. Mancarella e Brogi, il Consiglio unanime approva che lo studente Costanzo Ferraro presenti come tesi di laurea un breve elaborato scritto che contenga una descrizione sintetica del sistema sviluppato (circa 10 pagine) unitamente a tutto il codice realizzato. Questo in considerazione del fatto che lo studente soffre di una grave disabilità motoria, che gli causa notevoli difficoltà nella scrittura e nell'utilizzo della tastiera.
 Approvato all'unanimità.
 

Letto, approvato e sottoscritto seduta stante.

                        Il Segretario                                                                 Il Presidente

Ordine del giorno: 10
Argomento: Questioni riguardanti il Diploma
                        - documentazione "Qualità Diploma"

Il presente punto all'ordine del giorno viene rimandato ad una prossima seduta del Consiglio.

Letto, approvato e sottoscritto seduta stante.

                            Il Segretario                                                                 Il Presidente

Ordine del giorno: 11
Argomento: Varie ed eventuali

Nessun argomento da discutere.

Letto, approvato e sottoscritto seduta stante.

                    Il Segretario                                                                             Il Presidente

Ordine del giorno: 12
Argomento: Discussione preliminare sui punti asteriscati
 

Il Presidente informa che l'unico argomento da discutere sarà la richiesta di congedo per alternanza per il primo semestre del prossimo anno accademico, presentata dal prof. Maggiolo.

Letto, approvato e sottoscritto seduta stante.

                    Il Segretario                                                                             Il Presidente

Alla discussione partecipano solamente i ricercatori, gli associati e gli ordinari.

Nessun argomento da discutere.

Letto, approvato e sottoscritto seduta stante.

            Il Segretario                                                                                 Il Presidente

Alla discussione partecipano solamente i professori associati e gli ordinari.

Nessun argomento da discutere.

Letto, approvato e sottoscritto seduta stante.

                        Il Segretario                                                                 Il Presidente

Alla discussione partecipano solamente i professori ordinari.

Esce il prof. Maggiolo.
 

NULLA-OSTA CONGEDO PER ALTERNANZA

Andrea MAGGIOLO-SCHETTINI, professore ordinario di "Linguaggi di Programmazione", 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 nel primo semestre dell'anno accademico 1999/2000.

Il prof. Maggiolo intende svolgere attività di ricerca a Pisa e visite di lavoro presso università e centri di ricerca esteri.

Il Consiglio delibera il nulla osta al congedo, in quanto si prevede di coprire in altro modo il corso tenuto dal prof. Maggiolo.

Approvato all'unanimità.

Rientra il prof. Maggiolo.

Letto, approvato e sottoscritto seduta stante.

                Il Segretario                                                                                         Il Presidente