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