Delibera n. 40

 

          L'anno duemila il giorno dodici del mese di maggio alle ore 15.00 presso il Dipartimento di Informatica, si è riunito in seduta ordinaria il Consiglio dei Corsi di Studio in Informatica della Facoltà di Scienze m.f.n. dell'Università di Pisa, nelle persone dei Professori:

 

Ordinari : Albano, Bonuccelli, Degano, Gallo, Levi G., Maggiolo, Montanari, Pagli, Romani, Turini, Vanneschi

 

Associati: Ambriola, Attardi, Barbuti, Bellia, Cornolti, Danelutto, Ghelli, Grossi, Manca, Bancarella, Menchi, pedreschi, Scutellà, Simi, Starita

 

Ricercatori ed assistenti: Corradini, Di Pierro, Ferragina, Ferrari, Fortuna, Frangioni, Gadducci, Levi F., Molè, Occhiuto, Ricci, Ruggirei, Scozzari

 

Rappr. studenti: Longobardi

 

Rappr. non docenti: Carpentras, Mongini

 

Sono assenti giustificati

 

Ordinari: Colombini, Germano, Luccio, Montangero, Murthy

 

Associati: Antonelli, Baiardi, Barcaro, Dario, Leoni, Morreale, Zanzotto

 

Ricercatori e assistenti: Bergamasco, Cignoni, Flagella, Gennaro, Giannotti, Laforenza, Latella, Lijtmaer, Lucchesi, Massai, Mogorovich, Paternò, Pelagatti, Perego, Piram, Semini, Trupiano

 

Rappr. studenti: Puppin, Tomesani

 

Rappr. non docenti:

                                                                             Presiede il Prof. D. Pedreschi

 

 

 

Esercita le funzioni di Segretario il Prof. M. Bonuccelli

 

 

 

 

 

 

 

 

 

Continuo Delibera n. 40/01

 

 

Il Presidente, constatato legale il numero dei convenuti, dichiara aperta la seduta.

          Il Consiglio dei Corsi di Studio in Informatica passa quindi, a discutere il seguente

 

ORDINE DEL GIORNO

 

        1)      Comunicazioni

        2)      Ratifica Provvedimenti d’Urgenza

        3)      Valutazione della didattica

- relazione della Commissione di Autovalutazione su peer review

campus e autovalutazione Corso di Laurea

4)      Organizzazione dei laboratori di Informatica del 1о biennio

5)      Programmazione Didattica a.a. 2000/2001

6)      Linee di sviluppo dell’offerta formativa

- discussione preliminare

7)      Nuovi Corsi di Studio in Informatica

8)      Pratiche studenti

9)      Varie ed eventuali

10)    Discussione preliminare sui punti asteriscati

(*)    11)    Questioni riguardanti i ricercatori

(**)  12)   Questioni riguardanti i professori associati

(***)13)   Questioni riguardanti i professori ordinari

 

 

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

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

(***)         Alla discussione partecipano solamente i professori ordinari

 

          Letto, approvato e sottoscritto seduta stante.

 

                   Il Segretario                                                 Il Presidente

 

 

 

 

 

 

 

 

 

 

 

 

 

Delibera n. 41

 

 

 

 

 

Ordine del giorno: 1

 

Argomento: Comunicazioni

 

 

O G G E T T O

 

          Il Presidente comunica quanto segue:

 

·         è pervenuta da parte della Segreteria della Direzione amministrativa, una circolare con la quale si informa che il Decano dell’Ateneo ha provveduto con proprio atto in data 12 aprile 2000 ad indire le elezioni del Rettore per il quadriennio accademico 2000-2004. Il primo turno di votazioni si terranno i 17 e 18 maggio pp.vv. presso l’amministrazione centrale;

 

·         avvicinandosi la fine del secondo semestre, nella prossima settimana verrà nuovamente aperta la finestra WEB per permettere la compilazione dei questionari studenti e docenti;

 

·         in data 12 aprile 2000 è stata conferita al dott Gianluigi Ferrari una procura speciale al fine di gestire il progetto IFTS denominato “Analista programmatore esperto di reti”, finanziato dalla regione Toscana e il coordinamento didattico dello stesso;

 

·         il 10 maggio u.s. si è svolta a Roma una conferenza sul tema “Strumenti per una autonomia di qualità” nella quale si è presentata l’occasione per illustrare i risultati del lavoro svolti col progetto CAMPUS;

 

·         il prof. Bonuccelli verrà sostituito all’interno della Commissione Syllabus, dal prof. Barbuti. Il Presidente ringrazia entrambi.

 

          Letto, approvato e sottoscritto seduta stante.

 

                   Il Segretario                                                 Il Presidente

 

 


 

Delibera n. 42

 

 

 

 

 

Ordine del giorno: 2

 

Argomento: Ratifica Provvedimenti d’Urgenza

 

 

O G G E T T O

 

Il Presidente da lettura del Provvedimento di Urgenza n. 4 del 2 maggio 2000, allegato al presente verbale, con il quale il contratto di supporto alla didattica proposto per il corso di “Architettura degli Elaboratori II- A” del prof. Vanneschi, è stato trasferito sul corso di “Sistemi Operativi I- B” del Corso di Laurea del prof. Eugenio Morreale.

Il Consiglio unanime ratifica.

 

          Letto, approvato e sottoscritto seduta stante.

 

                   Il Segretario                                                 Il Presidente

 

 


 

Delibera n. 43

 

 

Ordine del giorno: 3

 

Argomento:   Valutazione della didattica

- relazione della Commissione di Autovalutazione su peer review campus e autovalutazione Corso di laurea

 

O G G E T T O

 

Ferrari (Coordinatore Diploma Universitario in Informatica – Progetto CAMPUS, Presidente Commissione per la Valutazione della Didattica) illustra la struttura e le revisioni apportate al sistema della qualità del Diploma Universitario in Informatica (Manuale della Qualità, Piano della Qualità, Linee Guida per la Progettazione dei Corsi, Procedure Operative). Le revisioni sono state rese necessarie dall’introduzione del modello VISION 2000, nel contesto delle procedure di valutazioni dei Diplomi Universitari inseriti nel progetto CAMPUS – CRUI. Dopo una breve discussione, il Consiglio unanime approva le modifiche apportate alla documentazione sistema qualità.

 

Ferrari inoltre illustra i risultati della “peer review” annuale prevista dal progetto CAMPUS. La peer review ha avuto luogo i giorni 3 e 4 maggio. Ferrari ringrazia tutti i docenti del Diploma ed il personale tecnico amministrativo che hanno partecipato attivamente alla review e riferisce che la commissione di esperti nominata dalla CRUI al termine della visita ha espresso una valutazione molto positiva del nostro diploma.

 

Infine, Ferrari presenta la documentazione preparata dalla Commissione di Valutazione della Didattica per il progetto pilota dell’ateneo relativo all’applicazione della metodologia CAMPUS per la valutazione dei Corsi di Studio. Ferrari illustra la documentazione del sistema qualità del Corso di Laurea in Informatica, e in particolare presenta la struttura del Manuale della Qualità e le relative procedure operative.

Dopo una breve discussione, il Consiglio unanime approva la struttura e la documentazione del sistema qualità del Corso di Laurea in Informatica.

 

Ferrari e Pedreschi propongono di convocare una riunione per discutere gli aspetti relativi alla definizione di una metodologia di valutazione dei nuovi corsi di studio in informatica. Il Consiglio unanime approva.

 

          Letto, approvato e sottoscritto seduta stante.

 

                   Il Segretario                                                 Il Presidente

 

 

 

 

 

 

Delibera n. 44

 

Ordine del giorno: 4

 

Argomento: Organizzazione dei laboratori di informatica del 1о biennio

 

O G G E T T O

 

Il Presidente propone al Consiglio di adottare, già dal prossimo a.a. 2000/01 il syllabus per i quattro laboratori del primo biennio, come specificato nel documento della commissione syllabus del 13 aprile scorso alla voce "Progetto dei nuovi Corsi di Studio in Informatica/Commissione syllabus" qui di seguito riportato:

 

Laboratorio I: Introduzione alla programmazione

 

Obiettivi:

 

-          Familiarizzazione con un ambiente di programmazione

-          Progetto, codifica, compilazione ed esecuzione di programmi elementari

 

Contenuti:

 

Strumenti: Linguaggio di programmazione, ambiente di sviluppo, debugger [Java, JDK, Emacs  JDE]

Tecniche: Iterazione, Ricorsione, Definizione di classi e tipi di dato, Creazione e manipolazione di  oggetti, Polimorfismo.

Organizzazione:

-          esercitazioni individuali in aula su strumenti e tecniche introdotte.

-          valutazione continua basata su interazioni durante le esercitazioni e sulla correzione del codice prodotto.

 

Laboratorio II: programmazione di strutture dati

 

Obiettivi:

 

-          Progetto, codifica, compilazione ed esecuzione di programmi che realizzano semplici algoritmi su strutture dati dinamiche .

 

Contenuti

Strumenti: Linguaggio di programmazione, ambiente di sviluppo, debugger [Java, JDK, Emacs JDE, Java Collections API]

Tecniche: Ereditarieta', Ricorsione, Gestione eccezioni, Polimorfismo con ereditarieta'.

Organizzazione:

-          esercitazioni individuali in aula su strumenti e tecniche introdotte.

-          valutazione continua basata su interazioni durante le esercitazioni e sulla correzione del codice prodotto.

 

 

Continuo Delibera n. 44/01

 

Laboratorio III: Programmazione Concorrente

Obiettivi:

-          Sviluppare le competenze per il progetto e lo sviluppo di sistemi multithread e sistemi a processi che operano su risorse condivise.

Contenuti

 Strumenti: Linguaggio di programmazione, ambiente di sviluppo, debugger    [Java, Emacs, JDE, Java Threads, Java API per primitive scambio messaggi]

Tecniche: Sincronizzazione su risorse condivise (metodi synchronized), scambio di messaggi tramite librerie per la comunicazione di processi.

Organizzazione:

-          esercitazioni individuali in aula su strumenti e tecniche introdotte.

-          progetto finale.

 

Laboratorio IV: Programmazione di Sistema

Obiettivi:

-          Sviluppare le compentenze necessarie per la progettazione e la realizzazione di applicazioni in cui diversi servizi (moduli software o risorse fisiche) sono coordinati ed integrati assieme.

Contenuti

Strumenti: Programmazione in C con chiamate alle utilities di sistema operativo

Tecniche: Programmazione con chiamate di sistema (fork, exec, wait, pipe, segnali).

Organizzazione:

-          esercitazioni individuali in aula su strumenti e tecniche introdotte.

-          ­ progetto finale .

 

Dopo breve discussione unanime approva.

 

Il Presidente propone poi la formalizzazione di una commissione permanente del consiglio, responsabile dell'organizzazione didattica dei laboratori del primo biennio, sulla base dell'esperienza del gruppo di lavoro che ha elaborato il syllabus dei laboratori di cui sopra.

Tale commissione denominata “Commissione Corsi di Laboratorio del primo biennio”, avrà come compiti l’organizzazione della didattica dei laboratori del primo biennio, in merito ai contenuti, alle modalità e alla valutazione della didattica, nonché dovrà essere il referente istituzionale per la “Commissione servizi di supporto ai laboratori” presente al Centro di Calcolo.

Della Commissione Corsi di Laboratorio del primo biennio, faranno parte:

Corradini (in qualità di responsabile), Brogi, Danelutto (che curerà le relazioni con la commissione Commissione servizi di supporto ai laboratori), Ferrari e Grossi.

Il Consiglio unanime approva.

 

          Letto, approvato e sottoscritto seduta stante.

 

                   Il Segretario                                                 Il Presidente


 

Delibera n. 45

 

Ordine del giorno: 5

 

Argomento: Programmazione Didattica a.a. 2000/2001

 

O G G E T T O

 

Il Presidente illustra la proposta di Programmazione Didattica con le coperture per titolarietà, affidamento didattico sostitutivo e affidamento didattico aggiuntivo, 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

 

SDOPPIAMENTO CORSI

 

          Algoritmi e Strutture dati I

          Architettura degli Elaboratori I

          Calcolo Numerico

          Programmazione I

          Ricerca Operativa

          Sistemi Operativi I

 

ATTIVAZIONE CORSI

 

          Laboratorio di Informatica I – F

Aspetti giuridici dell’informatica (II modulo di Informatica Generale: aspetti sociali, etici e professionali)

          Calcolo dell probabilità e Statistica matematica – E

 

DISATTIVAZIONE CORSI

 

Matematica Discreta – F

Responsabilità etica e sociale dell’informatici (II modulo di Informatica Generale: aspetti sociali, etici e professionali)

 

 

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)

Sistemi Operativi I

M. Bonuccelli (ordinario)

 

 

Continuo Delibera n. 45/01

 

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.

 

Programmazione I - E

Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostituivo di questo insegnamento, al prof. Franco Turini, professore ordinario di Metodi Formali dell’Informatica.

 

COMPITI ISTITUZIONALI

 

Algoritmi e Strutture Dati I - D

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

 

Algoritmi e Strutture Dati I - E

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

 

Sistemi di Elaborazione dell’Informazione: reti di calcolatori

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

 

Programmazione I - D

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

 

Linguaggi di programmazione: classificazione e macchine astratte

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

 

Ricerca Operativa - D

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.

 

 

 

Continuo Delibera n. 45/02

Laboratorio di Informatica II - E

Il Consiglio, conosciuta la disponibilità dell'interessata, approva l'affidamento didattico di questo insegnamento, alla dott.ssa Laura Semini, ricercatrice per il raggruppamento K05B.

 

Laboratorio di Informatica IV - D

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

 

Laboratorio di Informatica IV - E

Il Consiglio, conosciuta la disponibilità dell'interessata, approva l'affidamento didattico di questo insegnamento, al dott. Salvatore Ruggieri, ricercatore per il raggruppamento K05B.

 

Calcolo Numerico – E

          Il Consiglio propone di coprire questo insegnamento con uno dei vincitori di concorso a ricercatore nel settore, di cui è prevista la presa di servizio in tempo utile.

 

Laboratorio di Informatica I - E

          Il Consiglio propone di coprire questo insegnamento con uno dei vincitori di concorso a ricercatore nel settore, di cui è prevista la presa di servizio in tempo utile.

 

Laboratorio di Informatica I - F

          Il Consiglio propone di coprire questo insegnamento con uno dei vincitori di concorso a ricercatore nel settore, di cui è prevista la presa di servizio in tempo utile.

 

AFFIDAMENTI DIDATTICI AGGIUNTIVI

 

Laboratorio di Informatica I - D

Il Presidente, conosciuta la disponibilità dell'interessata che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di ricercatrice universitaria, propone l'affidamento didattico aggiuntivo di questo insegnamento alla dott.ssa Alessandra Di Pierro.

 

Laboratorio di Informatica II - D

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di professore ordinario, propone l'affidamento didattico aggiuntivo di questo insegnamento al prof. Francesco Romani.

 

 

 

 

 

Continuo Delibera n. 45/03

 

Laboratorio di Informatica II - F

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di professore ordinario, propone l'affidamento didattico aggiuntivo di questo insegnamento al prof. Carlo Montangero.

 

Ricerca Operativa - E

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di ricercatore confermato, propone l'affidamento didattico aggiuntivo di questo insegnamento al dott. Antonio Frangioni.

 

Ricerca Operativa: organizzazione e gestione aziendale

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di professore ordinario, propone l'affidamento didattico aggiuntivo di questo insegnamento al prof. Giorgio Gallo.

 

Sistemi Operativi I - E

Il Presidente, conosciuta la disponibilità dell'interessata che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di ricercatrice universitaria, propone l'affidamento didattico aggiuntivo di questo insegnamento alla dott.ssa Susanna Pelagatti.

 

Ingegneria del Software: progettazione di sistemi informativi territoriali

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di professore associato, propone l'affidamento didattico aggiuntivo di questo insegnamento al prof. Giorgio Ghelli.

 

Informatica Applicata: sistemi informativi territoriali

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di professore associato, propone l'affidamento didattico aggiuntivo di questo insegnamento al prof. Gualtiero Leoni.

 

 

 

 

 

Continuo Delibera n. 45/04

Architettura degli Elaboratori: sicurezza

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di professore associato, propone l'affidamento didattico aggiuntivo di questo insegnamento al prof. Fabrizio Baiardi.

 

Algoritmi e Strutture Dati: crittografia

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di professore associato, propone l'affidamento didattico aggiuntivo di questo insegnamento al prof. Paolo Ferragina.

 

Linguaggi di programmazione: programmazione sicura

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di professore associato, propone l'affidamento didattico aggiuntivo di questo insegnamento al prof. Giuseppe Attardi.

 

CORSI RIMASTI VACANTI

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

 

Analisi Matematica I - D

Analisi Matematica I - E

Matematica Discreta - D

Matematica Discreta – E

Architettura degli Elaboratori I – E

Laboratorio di Informatica III – D

Laboratorio di Informatica III - E

Calcolo delle Probabilità e Statistica Matematica - D

Calcolo dell probabilità e Statistica matematica – E

Informatica Generale: aspetti sociali, etici e professionali

Organizzazione e controllo dei processi nella formazione informatica (I modulo di Informatica Generale: aspetti sociali, etici e professionali)

Aspetti giuridi dell’informatica (II modulo di Informatica Generale: aspetti sociali, etici e professionali)

Ingegneria del Software: laboratorio di applicazioni internet

Basi di dati e sistemi informativi: rappresentazione di dati geografici

 

LAUREA IN INFORMATICA

 

ATTIVAZIONE CORSI

Fondamenti dell’Informatica: semantica della concorrenza

 

Continuo Delibera n. 45/05

 

Ingegneria del software: metodi di specifica

Ingegneria del software: modelli di processo software

Sistemi per l’elaborazione dell’Informazione: livello fisico delle reti di calcolatori

 

DISATTIVAZIONE CORSI

Laboratorio di Informatica II - E

Matematica Discreta – E

Elettronica: sistemi digitali

Linguaggi di programmazione: tecniche avanzate di compilazione

Fondamenti dell’informatica: modelli e specifiche per la concorrenza

Ingegneria del Software: Controllo di qualità

Matematica Computazionale: laboratorio

Programmazione: Laboratorio di tecniche di raffinamento

 

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 Numerica I – A

M. Capovani (ordinario)

Analisi Numerica I – B

R. Bevilacqua (associato)

Architettura degli Elaboratori I – A

S. Antonelli (associato)

Architettura degli Elaboratori I – B

M. Vanneschi (ordinario)

Basi di dati e sistemi Informativi I – A

A. Albano (ordinario)

Basi di dati e sistemi Informativi I – B

G. Ghelli (associato)

Basi di dati e sistemi Informativi II

A. Albano (ordinario)

Basi di dati e sistemi Informativi: basi di dati distribuite e parallele

G. Leoni (associato)

Basi di dati e sistemi Informativi: laboratorio

G. Ghelli (associato)

Calcolo delle Probabilità – A

P. A. Zanzotto (associato)

Economia dei sistemi Industriali

D. Cazzaniga (associato)

Ingegneria del Software I – A

V. Ambriola (associato)

Ingegneria del Software I – B

E. Boerger (ordinario)

Ingegneria del software: laboratorio di progettazione

V. Ambriola (associato)

Intelligenza Artificiale

M. Simi (associato)

Intelligenza Artificiale: laboratorio

M. Simi (associato)

Linguaggi di programmazione: linguaggi formali e compilatori – A

M. Bellia (associato)

Linguaggi di programmazione: linguaggi formali e compilatori – B

A. Maggiolo (ordinario)

Linguaggi di programmazione: linguaggi funzionali

M. Bellia (associato)

Linguaggi di programmazione: linguaggi logici

G. Levi (ordinario)

Linguaggi di programmazione: paradigmi e macchine astratte

G. Levi (ordinario)

Organizzazione della produzione e dei sistemi logistici

D. Cazzaniga (associato)

Programmazione Matematica – A

G. Gallo (ordinario)

Programmazione Matematica – B

S. Pallottino (ordinario)


 

Continuo Delibera n. 45/06

 

Programmazione I – A

P. Mancarella (associato)

Reti Neurali I

A. Starita (associato)

Reti Neurali II

A. Starita (associato)

Sistemi Operativi I – A

P. Maestrini (ordinario)

Sistemi Operativi I – B

E. Morreale (associato)

Analisi Matematica II – A

P. Acquistapace (ass.)

Fisica Generale II – A

F. Cornolti (associato)

Fisica Generale: modelli della Fisica

F. Cornolti (associato)

 

AFFIDAMENTI DIDATTICI SOSTITUTIVI

 

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

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: 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 A di questo insegnamento, al Prof. A. Maggiolo, professore ordinario di Linguaggi di Programmazione.

 

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.

 

 

 

 

Continuo Delibera n. 45/07

 

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.

 

Fondamenti dell’informatica: linguaggi formali e automi

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.

 

Ingegneria del software: metodi di specifica

Il Consiglio, conosciuta la disponibilitá dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al Prof. Egon Boerger, 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.

 

COMPITI ISTITUZIONALI

 

Laboratorio di Informatica I - B

Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico del corso A di questo insegnamento, al dott. Fabio Gadducci, ricercatore per il raggruppamento K05B.

 

 Laboratorio di Informatica IV - B

Il Consiglio, conosciuta la disponibilità dell'interessata, approva l'affidamento didattico del corso A di questo insegnamento, alla dott.ssa Francesca Scozzari, ricercatrice per il raggruppamento K05B.

 

 

 

 

Continuo Delibera n. 45/08

 

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.

 

Laboratorio di Informatica III - B

          Il Consiglio propone di coprire questo insegnamento con uno dei vincitori di concorso a ricercatore nel settore, di cui è prevista la presa di servizio in tempo utile.

 

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.

 

Programmazione: laboratorio di programmazione concorrente e orientato agli oggetti

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

 

Programmazione I - B

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

 

Interazione uomo-macchina: fondamentidi computer graphics

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

 

Interazione uomo-macchina: programmazione di interfacce grafiche

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

 

Ottimizzazione combinatoria

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.

 

 

Continuo Delibera n. 45/09

 

Ottimizzazione Combinatoria: laboratorio

          Il Consiglio propone di coprire questo insegnamento con uno dei vincitori di concorso a ricercatore nel settore, di cui è prevista la presa di servizio in tempo utile.

 

AFFIDAMENTI DIDATTICI AGGIUNTIVI

 

Laboratorio di Informatica I - A

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di ricercatore universitario, propone l'affidamento didattico aggiuntivo di questo insegnamento al dott. Andrea Corradini.

 

Logica Matematica - B

Il Presidente, conosciuta la disponibilità dell'interessata che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di ricercatrice universitaria, propone l'affidamento didattico aggiuntivo di questo insegnamento alla dott.ssa Francesca Levi.

 

Teoria dell'Informazione - B

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di assistente ordinario, propone l'affidamento didattico aggiuntivo di questo insegnamento al dott. Pietro Piram.

 

Architettura degli Elaboratori: sistemi a parallelismo massiccio

Il Presidente, conosciuta la disponibilità dell'interessata che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di ricercatrice universitaria, propone l'affidamento didattico aggiuntivo di questo insegnamento alla dott.ssa Laura Ricci.

 

Architettura degli Elaboratori: laboratorio di sistemi a parallelismo massiccio

Il Presidente, conosciuta la disponibilità dell'interessata che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di ricercatrice universitaria, propone l'affidamento didattico aggiuntivo di questo insegnamento alla dott.ssa Laura Ricci.

 

Informatica Generale: didattica dell'informatica

Il Presidente, conosciuta la disponibilità dell'interessata che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato

 

Continuo Delibera n. 45/10

 

giuridico di assistente ordinaria, propone l'affidamento didattico aggiuntivo di questo insegnamento alla dott.ssa Maria Rita Laganà.

 

Linguaggi di Programmazione: laboratorio di compilatori

Il Presidente, conosciuta la disponibilità dell'interessata che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di ricercatrice universitaria, propone l'affidamento didattico aggiuntivo di questo insegnamento alla dott.ssa Maria Eugenia Occhiuto.

 

Ingegneria della Conoscenza e sistemi esperti

Il Presidente, conosciuta la disponibilità dell'interessata che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di professore associato, propone l'affidamento didattico aggiuntivo di questo insegnamento alla prof. Antonina Starita.

 

Matematica Computazionale I

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di professore ordinario, propone l'affidamento didattico aggiuntivo di questo insegnamento al prof. Milvio Capovani.

 

Programmazione: laboratorio di programmazione logica

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di professore ordinario, propone l'affidamento didattico aggiuntivo di questo insegnamento al prof. Roberto Barbuti.

 

Sistemi di elaborazione dell'Informazione: reti di calcolatori II

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di ricercatore universitario, propone l'affidamento didattico aggiuntivo di questo insegnamento al dott. Augusto Ciuffoletti.

 

Programmazione: metodi formali

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di ricercatore universitario, propone l'affidamento didattico aggiuntivo di questo insegnamento al dott. Salvatore Ruggieri.

 

 

Continuo Delibera n. 45/11

 

Reti Neurali: laboratorio di sistemi ibridi

Il Presidente, conosciuta la disponibilità dell'interessato che ha accettato di svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica previsto dal proprio stato giuridico di professore associato, propone l'affidamento didattico aggiuntivo di questo insegnamento al prof. Alessandro Sperduti.

 

MUTUAZIONI

Il corso di "Informatica Generale: aspetti, sociali, etici e professionali", del corso di laurea in Informatica, viene mutuato dal corso di "Informatica Generale: aspetti, sociali, etici e professionali" del corso di Diploma Universitario in Informatica.

Approvato all’unanimità.

 

Il corso di "Ingegneria del Software: laboratorio di applicazioni internet", del corso di laurea in Informatica, viene mutuato dal corso "Ingegneria del Software: laboratorio di applicazioni internet", del corso di Diploma Universitario in Informatica.

Approvato all’unanimità.

 

Il corso di "Ricerca Operativa: organizzazione e gestione aziendale", del corso di laurea in Informatica, viene mutuato dal corso di "Ricerca Operativa: organizzazione e gestione aziendale", del corso di Diploma Universitario in Informatica.

Approvato all’unanimità.

 

Il corso di "Informatica teorica: calcolabilità", del corso di laurea in Informatica, viene mutuato dal corso di "Fondamenti dell’informatica: linguaggi formali e automi", del corso di Laurea in Informatica.

Approvato all’unanimità.

 

Il corso di "Matematica Computazionale: problemi differenziali", del corso di laurea in Informatica, viene mutuato dal corso di "Matematica Computazionale: problemi differenziali", del corso di Laurea in Matematica.

Approvato all’unanimità.

 

CORSI RIMASTI VACANTI

 

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

 

Analisi Matematica I – A

Analisi Matematica I – B

Laboratorio di Informatica II – A

Laboratorio di Informatica II - B

Matematica Discreta – A

Matematica Discreta – B

 

Continuo Delibera n. 45/12

 

Analisi Matematica II – B

Fisica Generale I - A

Fisica Generale I – B

Laboratorio di Informatica III – A

Laboratorio di Informatica IV – A

Architettura degli Elaboratori II: architetture parallele e distribuite – B

Fisica Generale II – B

Architettura degli Elaboratori III

Algoritmi e strutture dati: algoritmi paralleli e distribuiti

Sistemi di Elaborazione dell’Informazione: reti di calcolatori

Basi di dati e sistemi informativi: basi di dati deduttive

Basi di dati e sistemi informativi: recupero di documenti

Elettronica

Informatica Grafica: laboratorio di realtà virtuale

Ingegneria del software: modelli di processo software

Laboratorio di informatica: informatica musicale

Linguaggi di programmazione: programmazione concorrente

Matematica Computazionale: calcolo parallelo

Matematica Computazionale: geometria computazionale

Percezione Robotica

Sistemi di Elaborazione dell’Informazione: applicazioni parallele

Sistemi di Elaborazione dell’Informazione: sistemi affidabili

Teoria dei segnali

Teoria dei sistemi

Algebra computazionale

Istituzioni di algebra superiore: codici

Interazione Uomo-macchina: progettazione e valutazione dell’usabilità

Informatica generale: sviluppo e uso responsabile della tecnologia dell’informazione

Sistemi per l’elaborazione dell’Informazione: Livello fisico delle reti di calcolatori

 

La proposta viene messa in votazione ed approvata all'unanimità.

 

          Letto, approvato e sottoscritto seduta stante.

 

                   Il Segretario                                                 Il Presidente

 


 

Delibera n. 46

 

Ordine del giorno: 6

 

Argomento:   Linee di sviluppo dell’offerta formativa

                      - discussione preliminare

 

O G G E T T O

 

Il Preside esprime la consapevolezza di un sensibile aumento delle immatricolazioni, nel prossimo futuro, a fronte della maggiore sensibilità nell'opinione pubblica rispetto all'Informatica, e la crescente consapevolezza del fabbisogno di figure professionali legate all'information and communication technology.

Per questo motivo, così come per la legittima aspirazione del nostro dipartimento a crescere, il Presidente si dichiara convinto dell’importanza di dare ai Corsi di Studio, una strategia di ampliamento dell’offerta didattica.

Apre quindi una discussione su questi temi, a partire da proposte concretamente perseguibili, quali l'attivazione di una laurea di primo livello a La Spezia, e/o di iniziative nell'ambito della formazione a distanza, o da altre proposte che possono nascere dalla nostra realtà ed i nostri rapporti.

Attardi illustra la possibilità di collaborare con l’azienda internazionale CISCO nella formazione a distanza su tematiche relative alle reti di calcolatori.

Il Presidente propone che Attardi e Bonuccelli istruiscano una proposta in merito.

Il Consiglio unanime approva.

Il Presidente chiede quindi parere sull’eventualità di perseguire l’attivazione di un Corso di Laurea di primo livello a La Spezia.

Il Consiglio esprime unanimemente parere favorevole.

 

 

          Letto, approvato e sottoscritto seduta stante.

 

                   Il Segretario                                                 Il Presidente

 

 

 

 

 


 

Delibera n. 47

 

Ordine del giorno: 7

 

Argomento: Nuovi Corsi di Studio in Informatica

 

O G G E T T O

 

Il Presidente propone al Consiglio un ulteriore passo verso la definizione del regolamento didattico d’Ateneo per quanto riguarda la futura laurea di primo livello: la definizione delle modalità di conseguimento del titolo.

 

La base di partenza è l'attuale definizione per il diploma: citando dallo statuto dei corsi di studio in informatica (G.U. n. 286 del 6.12.93):

 

"L'esame di diploma consiste nella discussione di un progetto davanti ad una commissione nominata dalle strutture didattiche, svolto sotto la guida di un relatore; tale progetto può essere svolto in un periodo di addestramento presso un'azienda o un ente esterno secondo modalità stabilite annualmente dalle strutture didattiche".

 

          Dopo breve discussione, durante la quale emerge la necessità che lo stage non dovrà essere obbligatorio e che comunque dovrà essere stilata una relazione scritta circa lo stage effettuato, il Consiglio unanime approva.

 

          Degano riferisce quindi sulla riunione della Conferenze dei Preside della Facoltà di Scienze m.f.n. svoltasi a Roma il 10 maggio u.s.:

 

Il CUN approverà le lauree I livello i prossimi 1 e 2 Giugno e quelle di II livello i prossimi 7 e 8 Giugno. Se queste tempistiche saranno rispettate, i decreti potrebbero arrivare alla Corte dei Conti e essere approvati non prima dell'inizio settembre. Pertanto, potranno essere pubblicati sulla Gazzetta Ufficiale non prima della fine di settembre. I regolamenti didattici devono poi essere approvati dai singoli Atenei e dalle Facoltà. Solo al termine di questa procedura potranno partire i corsi di studio con i nuovi ordinamenti. Questo significa che molto probabilmente non sarà possibile attivare la laurea in informatica di primo livello per A.A. 2000-2001. Una proposta interessante emersa nella riunione, è quella di aprire il nuovo curriculum in corso d’anno, in modo da poter conferire il nuovo titolo già dal prossimo a.a. 2000/2001.

 

Un altro punto all’ordine del giorno della riunione romana, è stato l’esame dello schema di decreto ministeriale recante determinazione delle classi delle lauree specialistiche. Un problema emerso dalla discussione è stato quello della caratterizzazione dei crediti da assegnare alle discipline affini, la cui regolamentazione verrà affrontata in una prossima riunione del CUN.

 

          Letto, approvato e sottoscritto seduta stante.

 

                   Il Segretario                                                 Il Presidente


 

Delibera n. 48

 

Ordine del giorno: 8

 

Argomento: Pratiche studenti

 

O G G E T T O

 

PROGETTO SOCRATES

 

RETTIFICA DELIBERA DEL 11.02.2000 n. 29

Giuseppino BARLA è autorizzato a recarsi presso Universitade Nova de Lisboa (LISBOA03) per 6 mesi a partire da marzo 2000 (anziché da febbraio 2000) per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.

 

CONVALIDA ESAMI

 

Lapo BERNARDINI:in base alla documentazione (allegato n. ), e alla delibera n. 62 del CCL del 24.06.94, si riconoscono i seguenti voti, riportati presso la Vrije Universitet (AMSTERDAM 02-NL), per gli esami riconosciuti equipollenti con precedente delibera n. 80/2 del 04.07.97:

"Numerical Analysis I" per "Calcolo Numerico": 23/30 in data 16/11/98;

"Neural Networks (WD158 con modulo 2A e progetto - 9)" per "Teoria dei Sistemi": 30/30 in data 16/11/98.

 

Matteo GUADAGNI: in base alla documentazione (allegato n. ), e alla delibera n. 62 del CCL del 24.06.94, si riconoscono i seguenti voti, riportati presso l'Universidad de Duesto (BILBAO02 - E), per gli esami riconosciuti equipollenti con precedente delibera n. 80/1 del 09.10.98:

"Algebra" per "Algebra" (7501): 19/30 in data 06/10/99;

"Bases de Datos I"(11009) e "Estructuras Avanzadas de Informacion"(11030) per "Documentazione Automatica": 19/30 in data 06/10/99;

Si certifica inoltre la partecipazione ad un corso di lingua SPAGNOLA (livelli I e II).

 

Luca VENTURA: in base alla documentazione (allegato n. ), e alla delibera n. 62 del CCL del 24.06.94, si riconoscono i seguenti voti, riportati presso Queen Mary & Westfield College (LONDON031-UK), per gli esami riconosciuti equipollenti con precedente delibera n.119 del 29.10.99, n.89 del 07/02/99:

"Intelligent Systems 1" (DCS/217) per "Intelligenza Artificiale": 30/30 e lode in data 25/02/2000;

"Computer System 2"(DCS/213 per "Sistemi Operativi 2": 30/30 e lode in data 25/02/2000;

"System Analysis" (DCS/310) per "Ingegneria del Software: Laboratorio di progettazione": 26/30 in data 25/02/2000;

 

 

 

Continuo Delibera n. 48/01

 

"Software Engeneering"(ELE/364) per"Ingegneria del Software": 29/30 in data 25/02/2000;

"Object Oriented Programming" (DCS/220) per "Programmazione: Laboratorio di Programmazione Concorrente e Orientata agli Oggetti": 30/30 in data 25/02/2000;

"Computer Graphics" (DCS/314) per "Interazione Uomo-Macchina: Fondamenti di Computer Graphics": 29/30 in data 25/02/2000.

 

Andrea PATERNESI: in base alla documentazione (allegato n. ), e alla delibera n. 62 del CCL del 24.06.94, si riconoscono i seguenti voti, riportati presso Queen Mary & Westfield College (LONDON031-UK), per gli esami riconosciuti equipollenti con precedente delibera n. 65 del 29.10.99:

"Computer System 2"(DCS/213 per "Sistemi Operativi 2": 30/30 e lode in data 09/02/2000;

"Software Engeneering"(ELE/364) per"Ingegneria del Software": 29/30 in data 09/02/2000;

"Computer Graphics" (DCS/314) per "Interazione Uomo-Macchina: Fondamenti di Computer Graphics": 29/30 in data 09/02/2000.

"Probability 1"(MAS/108) per "Calcolo delle Probabilita'": 30/30 in data 09/02/2000.

 

AUTORIZZAZIONI ESAMI

 

Giuseppino BARLA è autorizzato a sostenere i seguenti esami presso l'Università Nuova di Lisbona (LISBOA03 - P):

"Probabilidades e Estatistica" per "Calcolo delle Probabilità e Statistica".

 

Andrea BARBIERI è autorizzato a sostenere i seguenti esami presso l'Università Nuova di Lisbona:

"Computacao Grafica I"(4571) per Interazione Uomo-Macchina: Fondamenti di Computer Graphics".

 

Christian ESPOSITO è autorizzato a sostenere i seguenti esami presso la University of Limerick (IRLLIMERIC 01, IRL):

"Discrete Mathematics 1" (MS4132) per "Algebra";

"Operations Research 2" (MS4304) piu' un colloquio integrativo per "Teoria e Metodi dell'Ottimizzazione".

 

Mario PAPESCHI è autorizzato a sostenere i seguenti esami presso l'Università di Leiden (LEIDEN01):

"Analysis 2"  per "Analisi 2";

"Grafentheorie" piu' "Operations research technieken" per "Programmazione Matematica".

 

 

 

 

 

Continuo Delibera n. 48/02

 

Arianna FARAONI è autorizzata a per sostenere i seguenti esami presso l'Università di Valencia (01):

"Algebra" (Val02) per "Geometria";

"Computacion Numerica" (Val02) per "Calcolo Numerico";

"Estadistica 1" (Val02) per "Calcolo delle Probilita' e Statistica";

"Arquitectura de Computadores" più "Arquitecturas Avanzadas" per "Progetto di Sistemi Numerici".

 

Cinzia BRAZZINI è autorizzata a sostenere presso la Universidad de Valencia (VALENCI01) i seguenti esami:

"Procesadores de lenguaje" piú "Laboratorio de procesadores de lenguaje" piú "Logica y programmacion" per Linguaggi Formali e Compilatori".

 

Laura DE GIORGI è autorizzata a sostenere presso la Universidad de Valencia (VALENCI01) i seguenti esami:

"Computacio Numerica" (Val 02) per "Calcolo numerico";

"Estadistica" 1 (Val 02) per "Calcolo delle Probabilita' e Statistica";

"Teoria d'automats i llenguatges formals 1" piú "Teoria d'automats i llenguatges formals 2" per "Metodi per il Trattamento dell'Informazione";

"Procesadores de lenguaje" piú "Laboratorio de procesadores de lenguaje" piú "Logica y programmacion" per "Linguaggi Formali e Compilatori".

 

Andrea PATERNESI è autorizzato a sostenere i seguenti esami presso il Queen Mary & Westfield College (LONDON031-UK):

"Matrices & geometry"(MAS/106) più colloquio integrativo per "Matematica Discreta".

 

TESI DI LAUREA - Tesi in lingua straniera

 

Secondo quanto stabilito dal Senato Accademico con delibera n. 32 del 3/11/98, si autorizzano gli studenti Valentino Nicola ZANNINO e Giacomo BUA CORONA a presentare la tesi di laurea in lingua straniera, in quanto gli stessi sono autorizzati a svolgere la tesi di laurea sul tema "Diseño de un servidor HTTP en Java (progettazione di un server HTTP in Java)" presso l'Università Politecnica de Valencia (02 - E), sotto la supervisione del Prof. Maurizio Bonuccelli e del Prof. Pietro Manzoni (Valencia).

 

Secondo quanto stabilito dal Senato Accademico con delibera n. 32 del 3/11/98, si autorizza lo studente Diego PUPPIN a presentare la tesi di laurea in lingua straniera, in quanto lo stesso è stato autorizzato a svolgere la tesi di laurea presso l’University of California a San Diego (USA) sotto la supervisione del Prof. Marco Vanneschi e del Prof. Dean Tullsen (San Diego-USA).

 

 

 

 

 

 

Continuo Delibera n. 48/03

IMMATRICOLAZIONE STUDENTI ERASMUS

 

Krzysztof BACZYNSKI, nato a Lodz (POLONIA) il 31/08/76 e proveniente dalla "Technical University of Lodz" di Lodz è ammesso a trascorrere un periodo di studio di 3 mesi presso l'Università di Pisa, per preparare il lavoro di tesi sotto la supervisione della Prof.ssa Maria Simi e del Prof. Daniel Arendt.

 

Slawomir DOMAGALA, nato a Lodz (POLONIA) il 10/12/76 e proveniente dalla "Technical University of Lodz" di Lodz è ammesso a trascorrere un periodo di studio di 3 mesi presso l'Università di Pisa, per preparare il lavoro di tesi sotto la supervisione del Prof. Maurizio Bonuccelli e del Prof. Daniel Arendt.

 

Wiktor WANDACHOWICZ, nato a Wielun (POLONIA) il 17/06/76 e proveniente dalla "Technical University of Lodz" di Lodz è ammesso a trascorrere un periodo di studio di

3 mesi presso l'Università di Pisa, per preparare il lavoro di tesi sotto la supervisione del Prof. Vincenzo Ambriola e del Prof. Daniel Arendt.

 

AUTORIZZAZIONI PROLUNGAMENTI

 

Visto il benestare dell'Università ospitante, si autorizza lo studente Andrea BARBIERI a prolungare la sua permanenza presso l'Università Nuova di Lisbona fino al 31 agosto 2000, per terminare gli esami che e` già stato autorizzato a sostenere all'estero.

 

Visto il benestare dell'Università ospitante, si autorizza lo studente Mario PAPESCHI a prolungare la sua permanenza presso l'Università di Leiden fino al settembre 2000,per terminare gli esami che è già stato autorizzato a sostenere all'estero.

 

VARIAZIONE DELIBERE

 

Del Chiaro Angela, con Diploma di Informatica, Univ. Pisa.

Già ammessa al 4° anno del Corso di Laurea in Informatica con delibera del Consiglio del 26/11/99.

Preso atto che l'esame di "Basi di dati e sistemi Informativi" da lei sostenuto nel suddetto Diploma consta di due unità didattiche, anziché una e copre entrambi gli insegnamenti di "Basi di dati sistemi Informativi I" e "Basi di dati sistemi Informativi II", si varia la delibera su indicata, sostituendo la frase:

“Basi di Dati e Sistemi Informativi I” per idem

nella frase

“Basi di Dati e Sistemi Informativi” per “Basi di Dati e Sistemi Informativi I”+“Basi di Dati e Sistemi Informativi II”.

 

 

 

 

 

Continuo Delibera n. 48/04

 

PROGETTO SOCRATES - Criteri per la formazione della graduatoria di merito

 

Sono pervenute 42 domande: 5 da parte di studenti del Diploma di Informatica, 31 da parte di studenti del Corso di Laurea in Informatica, 6 da parte di studenti del Corso di Laurea in Scienze dell'Informazione.

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

 

Tale graduatoria è stata usata per l'allocazione delle sedi disponibili, cercando di soddisfare le richieste in ordine di graduatoria.

 

GRADUATORIA ERASMUS 2000/2001

 

Giovanni Conforti è autorizzato a recarsi presso Linkoping University ( LINKOPI01 ) per 6 mesi a partire da agosto 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.

 

Maurizio Atzori è autorizzato a recarsi presso Queen Mary and Westfield College (LONDON031 ) per 3 mesi a partire da ottobre 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.

 

Francesca Cubeddu è autorizzato a recarsi presso Queen Mary and Westfield College (LONDON031) per 3 mesi a partire da ottobre 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.

 

Francesco Bernardini è autorizzato a recarsi presso Universidad Politécnica de Valencia (VALENCI02) per 9 mesi a partire da gennaio 2001 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 Longobardi è autorizzato a recarsi presso University of Bristol (BRISTOL01) per 9 mesi a partire da settembre 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.

 

Continuo Delibera n. 48/05

 

Mariaelena Fiore è autorizzata a recarsi presso Vrije Universitet (AMSTERD02) per 9 mesi a partire da gennaio 2001 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.

 

Massimo Rotundo è autorizzato a recarsi presso University of Manchester (MANCHES01) per 5 mesi a partire da settembre 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.

 

Giacomo Terreni è autorizzato a recarsi presso Universidad Politécnica de Valencia (VALENCI02) per 9 mesi a partire da gennaio 2001 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.

 

Felice Dell'Orletta è autorizzato a recarsi presso Universidad Politécnica de Valencia (VALENCI02) per 9 mesi a partire da gennaio 2001 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.

 

Luisa Colucci è autorizzata a recarsi presso Vrije Universitet (AMSTERD02) per 9 mesi a partire da gennaio 2001 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.

 

Giordano Fusco è autorizzato a recarsi presso University of Birmingham (BIRMINGHAM 02) per 9 mesi a partire da ottobre 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.

 

Chris Sonetti è autorizzato a recarsi presso Universidad de Valencia (VALENCI01) per 9 mesi a partire da ottobre 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.

 

Vincenzo Ciancia è autorizzato a recarsi presso Queen Mary and Westfield College (LONDON031) per 3 mesi a partire da ottobre 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.

 

Sonia Campa è autorizzata a recarsi presso Technische Universität München (MUNCHEN02) per 6 mesi a partire da settembre 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.

 

Continuo Delibera n. 48/06

 

Roberto De Pascalis è autorizzato a recarsi presso Vrije Universitet (AMSTERD02) per 9 mesi a partire da settembre 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.

 

Simone Nannelli è autorizzato a recarsi presso Vrije Universitet (AMSTERD02) per 9 mesi a partire da settembre 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.

 

Toma Roncevic è autorizzato a recarsi presso Universiteit van Amsterdam (AMSTERD01) per 6 mesi a partire da settembre 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.

 

Daniela De Col è autorizzata a recarsi presso Linkoping University (LINKOPI01) per 6 mesi a partire da agosto 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.

 

Simone Piva è autorizzato a recarsi presso Queen Mary and Westfield College (LONDON031) per 3 mesi a partire da ottobre 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 Bonanini è autorizzato a recarsi presso Linkoping University (LINKOPI01) per 6 mesi a partire da settembre 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.

 

Luigi Ida' è autorizzato a recarsi presso University of Helsinki (HELSINKI01) per 9 mesi a partire da settembre 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.

 

Valentino Assenza è autorizzato a recarsi presso Universidad de Valencia (VALENCI01) per 9 mesi a partire da settembre 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.

 

 

Mauro Morici è autorizzato a recarsi presso Leiden University (LEIDEN01) per 9 mesi a partire da ottobre 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.

 

Continuo Delibera n. 48/07

 

Andrea Zani è autorizzato a recarsi presso Universidad de Valencia (VALENCI01) per 9 mesi a partire da ottobre 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.

 

Massimiliano Iacono è autorizzato a recarsi presso Leiden University (LEIDEN01) per 9 mesi a partire da settembre 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.

 

Carlo Spagoni è autorizzato a recarsi presso Universitè de Paris Sud (PARISSUDXI) per 6 mesi a partire da ottobre 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.

 

Giovanni Tardino è autorizzato a recarsi presso Universidad de Alcalá de Henares (ALCALA'01) per 9 mesi a partire da settembre 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.

 

Barbara Casali è autorizzata a recarsi presso Leiden University (LEIDEN01) per 9 mesi a partire da settembre 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.

 

Francesca Podestà è autorizzato/a a recarsi presso Universidad de Valladolid (VALLADOLID01) per 10 mesi a partire da settembre 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.

 

Paolo Spagli è autorizzato a recarsi presso Universidad de Alcalá de Henares (ALCALA'01) per 9 mesi a partire da ottobre 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.

 

Giuseppe Cavaleri è autorizzato a recarsi presso Universidad Politécnica de Valencia (VALENCI02) per 9 mesi a partire da gennaio 2001 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.

 

Rosanna Di Giandomenico è autorizzata a recarsi presso Universidad de Valladolid (VALLADOLID01) per 10 mesi a partire da settembre 2000 per sostenere gli esami indicati nel piano di studio allegato alla domanda di partecipazione al programma Socrates.

 

Continuo Delibera n. 48/08

 

Si approva il piano di studi presentato con la domanda.

 

Stefano Gabbrielli è autorizzato a recarsi presso Leiden University (LEIDEN01) per 9 mesi a partire da settembre 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.

 

Fabrizio Sanna è autorizzato a recarsi presso Linkoping University (LINKOPI01) per 6 mesi a partire da settembre 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.

 

Sandro Di Iacovo è autorizzato a recarsi presso Universitè de Nice (NICE01) per 6 mesi a partire da settembre 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.

 

Rodney Tommasi è autorizzato a recarsi presso Universitè de Paris Sud (PARISSUDXI) per 6 mesi a partire da ottobre 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.

 

Cristina Galdi è autorizzata a recarsi presso Uppsala University (UPPSALA01) per 6 mesi a partire da settembre 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.

 

Andrea Nucci è autorizzato a recarsi presso Universidad de Deusto (BILBAO02) per 10 mesi a partire da settembre 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.

 

Isabella Fadda è autorizzata a recarsi presso Universidad de Deusto (BILBAO02) per 10 mesi a partire da settembre 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.

 

Elvira Palamara è autorizzata a recarsi presso Universitade Nova de Lisboa (LISBOA03) per 6 mesi a partire da settembre 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.

 

 

 

 

 

Continuo Delibera n. 48/09

 

 

Annamaria Siciliano è autorizzata a recarsi presso Universidad de Deusto (BILBAO02) per 10 mesi a partire da settembre 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.

 

Concetta Gallone è autorizzata a recarsi presso Universidad de Deusto (BILBAO02) per 10 mesi a partire da settembre 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.

 

Letto, approvato e sottoscritto seduta stante.

 

                   Il Segretario                                                 Il Presidente


 

Delibera n. 49

 

Ordine del giorno: 9

 

Argomento: Varie ed eventuali

 

 

O G G E T T O

 

          Nessun argomento all’ordine del giorno.

 

          Letto, approvato e sottoscritto seduta stante.

 

                   Il Segretario                                                 Il Presidente

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Delibera n. 50

 

Ordine del giorno: 10

 

Argomento: Discussione preliminare sui punti asteriscati

 

 

O G G E T T O

 

Il Presidente informa che ci sono due richieste di nulla-osta a svolgere dei corsi presso un'altra Facoltá, presentate rispettivamente dal prof. Antonelli, dalla prof. ssa Simi e dalla dott. ssa Laganà.

 

          Letto, approvato e sottoscritto seduta stante.

 

                    Il Segretario                                                 Il Presidente

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Delibera n. 51

 

Ordine del giorno: 11

 

Argomento: Questioni riguardanti i ricercatori

 

 

O G G E T T O

 

 

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

 

NULLA-OSTA INSEGNAMENTO ALTRA FACOLTA'

 

Maria Rita Laganà assistente di ruolo presso questa Facoltà, ha richiesto il nulla-osta a tenere l'insegnamento di "Organizzazione informatica delle biblioteche" presso il Corso di Laurea in Conservazione dei Beni Culturali della Facoltà di Lettere e Filosofia dell'Università di Pisa, per l'a.a. 2000/2001.

La dott. ssa Laganà dichiara che la suddetta attività didattica non interferirà con i suoi obblighi didattici istituzionali del nostro Corso di Laurea.

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

Approvato all'unanimità.

 

          Letto, approvato e sottoscritto seduta stante.

 

                   Il Segretario                                                 Il Presidente

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Delibera n. 52

 

Ordine del giorno: 12

 

Argomento: Questioni riguardanti i professori associati

 

 

O G G E T T O

 

Alla discussione partecipano solamenti i professori associati e ordinari.

 

NULLA-OSTA INSEGNAMENTO ALTRA FACOLTA'

 

Silvano Antonelli professore associato di "Architettura degli Elaboratori", ha richiesto il nulla-osta per poter tenere l’insegnamento di "Elementi di Informatica" presso il Corso di Laurea in Conservazione dei Beni Culturali della Facoltà di Lettere e Filosofia dell'Università di Pisa, per l'a.a. 2000/2001.

Il prof. Antonelli dichiara che la suddetta attività didattica non interferirà con i suoi obblighi didattici istituzionali del nostro Corso di Laurea.

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

Approvato all'unanimità.

 

Maria Simi professoressa associata di "Intelligenza Artificiale", ha richiesto il nulla-osta per poter tenere l'insegnamento di "Informatica Documentale" presso il Corso di Laurea in Conservazione dei Beni Culturali della Facoltà di Lettere e Filosofia dell'Università di Pisa, per l'a.a. 2000/2001.

La prof.ssa Simi dichiara che la suddetta attività didattica non interferirà con i suoi obblighi didattici istituzionali del nostro Corso di Laurea.

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

Approvato all'unanimità.

 

          Letto, approvato e sottoscritto seduta stante.

 

                   Il Segretario                                                 Il Presidente

 

 

 

 

 

 

 

 

 

 

 

 

Delibera n. 53

 

Ordine del giorno: 13

 

Argomento: Questioni riguardanti i professori ordinari

 

 

O G G E T T O

 

Alla discussione partecipano solamente i professori ordinari.

 

          Nessun argomento da discutere.

 

          Letto, approvato e sottoscritto seduta stante.

 

                   Il Segretario                                                 Il Presidente