UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 40
Anno Accademico 1992-1993 Seduta del 16.04.93
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL CONSIGLIO DI CORSO DI LAUREA IN
SCIENZE DELL'INFORMAZIONE
Ordine del giorno: 1 Argomento: Comunicazioni
O G G E T T O
Il Presidente comunica che ci sono notizie ufficiose che
il progetto "Programma di scambio Erasmus" e` stato approvato
e che quindi saranno disponibili tre borse di studio per
soggiorni di sei mesi nelle Universita` di Linkoeping
(Svezia), Manchester e Edimburgo (UK) per studenti del quarto
anno o laureandi.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 81
Anno Accademico 1992-1993 Seduta del 21.09.93
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL CONSIGLIO DI CORSO DI LAUREA IN
SCIENZE DELL'INFORMAZIONE
Ordine del giorno: 7 Argomento: Pratiche studenti
O G G E T T O
PROGETTO ERASMUS
Gli studenti Rinaudo Marco e Surace Domenico Glauco
(vedi allegato) chiedono al Consiglio l'autorizzazione a
seguire e sostenere gli esami dei corsi:
- "Outils Mathematiques" al posto di "Analisi I" corso C
- "Languages Formels" al posto di "Linguaggi Formali e
Compilatori" corso B
- "Intelligence Artificielle" al posto di "Elaborazione
dell'Informazione Non Numerica" corso B
- "Base de Données" al posto di "Documentazione Automatica"
corso B
nell'ambito del progetto di scambio Erasmus presso
l'Università Paris Sud.
Sentito il parere dei docenti dei corsi interessati, il
Consiglio approva all'unanimità.
Montangero fa presente che altri studenti già partiti
per università estere con il progetto Eramus non hanno
chiesto l'autorizzazione preventiva del Consiglio ma hanno
soltanto preso accordi personali con i docenti interessati e
quindi propone di non istituzionalizzare la procedura di
autorizzazione preventiva in quanto è spesso difficile sia
reperire i programmi che avere il tempo materiale di farla.
Il Consiglio rileva che una autorizzazione preventiva è
una garanzia per lo studente, ma non ritiene che sia una
condizione necessaria.
Montangero comunica che il primo studente straniero con
Borsa Erasmus è in procinto di arrivare e che varie borse
sono state assegnate ai nostri studenti.
Il PIC è in lenta espansione che prevede
un'allargamento di sedi coinvolte.
Bragadini a nome degli studenti ringrazia il prof.
Montangero per il notevole lavoro svolto, ma chiede per il
futuro una maggiore pubblicizzazione delle possibilità in
ambito Erasmus.
Approvato all'unanimità.
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 94
Anno Accademico 1992-1993 Seduta del 22.10.93
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL CONSIGLIO DI CORSO DI LAUREA IN
SCIENZE DELL'INFORMAZIONE
Ordine del giorno: 3 Argomento: Progetto Erasmus
O G G E T T O
Il Presidente comunica che sono arrivate tre nuove
borse utilizzabili nell'ambito del Progetto ERASMUS.
Con l'occasione il Consiglio ribadisce la richiesta al
responsabile del progetto che venga data la più ampia
diffusione delle notizie riguardanti le borse disponibili,
per gli studenti del corso di laurea, sia per il PIC interno
che per altri, e che sia studiato un meccanismo per
aggiornare periodicamente una graduatoria degli aspiranti,
unica per tutti i PIC.
Nel Consiglio di Corso di Laurea del 21.09.93 c'era
stata una discussione per stabilire la procedura che gli
studenti dovevano seguire per frequentare corsi e dare esami
col Progetto ERASMUS in università straniere. Per non
appesantire la procedura e per motivi di urgenza, il
Consiglio aveva deliberato che non era indispensabile
l'approvazione preventiva.
Il Preside propone però di stabilire una normativa
comune a tutti i corsi di laurea che preveda
l'autorizzazione preventiva del Consiglio per le motivazioni
specificate nell'allegato 1.
Il Consiglio decide pertanto di richiedere, quando
possibile, i programmi dei corsi che i borsisti intendono
svolgere, assieme alla richiesta di autorizzazione
preventiva. Tale procedura deve essere considerata come
un'approvazione di piani di studio. Qualora ciò non sia
obbiettivamente possibile sarà comunque concesso ai borsisti
di partire con l'impegno di trasmettere al Consiglio i
sopraindicati documenti il prima possibile.
Il responsabile del Progetto ERASMUS ha comunicato i
dati relativi a tutti i borsisti attualmente all'estero:
ICP-93-S-3017/11 Responsabile C. Montangero
-Marco Romanisio a Edimburgo;
-Liborio Calcara a Edimburgo;
-Gianfranco Modoni a Manchester;
ICP-93-I-1150/11 Responsabile F. Terreni
-Marco Rinaudo a Parigi Orsay
-Domenico Surace a Parigi Orsay
ICP-93-G-1011/11 Responsabile Broglia
-Davide Sapienza a Parigi (P. e M. Curie);
-Giselda Montanari a Parigi (P. e M. Curie);
-Manuela Montangero a Chambery.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
PROGETTO ERASMUS
SOSTITUZIONE DI CORSI
MONTANGERO Manuela è autorizzata a sostenere presso
l'Università de Savoie a Chambery (F):
"Genie Logiciel" e "Projet de Genie Logiciel" per "Tecniche
Speciali di Elaborazione", "Compilation" e "Programmation
Fonctionelle" per "Linguaggi Formali e Compilatori" (ICP-93-
G-1010/11).
MODONI Gianfranco è autorizzato a sostenere presso
l'Università di Manchester:
"CS201-Computer Systems Architecture I" e "CS305-Operating
Systems" per "Sistemi per l'Elaborazione dell'Informazione
II" (ICP-93-S-3017/11).
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 05
Anno Accademico 1993-1994 Seduta del 26.11.93
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 4
Argomento: Pratiche studenti
O G G E T T O
PROGETTO ERASMUS
SOSTITUZIONI DI CORSI
SAPIENZA Davide Salvatore è autorizzato a sostenere presso
l'Università P. e M. Curie di Parigi:
"Reseaux Informatiques" per "Comunicazioni Elettriche",
"Systemes de Gestion de Base de Données" per "Documentazione
Automatica", "Modelization du Raisonnement et Systemes
Experts" per "Elaborazione dell'Informazione Non-Numerica"
(ICP-93-G-1010/11).
MONTANARI Giselda è autorizzata a sostenere presso
l'Università P. e M. Curie di Parigi:
"Systemes de Gestion de Base de Données" per "Documentazione
Automatica", "Modelization du Raisonnement et Systemes
Experts" per "Elaborazione dell'Informazione Non-Numerica"
(ICP-93-G-1010/11).
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 14
Anno Accademico 1993-1994 Seduta del 07.12.93
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 4
Argomento: Varie ed eventuali
O G G E T T O
PROGETTO ERASMUS
SOSTITUZIONE DI CORSI
PALLOTTA Vincenzo è autorizzato a sostenere presso
l'Università di Linkoping in Svezia:
"Artificial Intelligence" (TDDA58) per "Elaborazione
dell'Informazione Non Numerica", "System Software" (TDDB01)
per "Sistemi per l'Elaborazione dell'Informazione II" e
"Numerical Algoritms" (TANA42) per "Calcolo Numerico".
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 18
Anno Accademico 1993-1994 Seduta del 28.01.94
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 3
Argomento: Progetto Erasmus
O G G E T T O
Montangero illustra le procedure proposte per
l'attribuzione delle borse
Erasmus per il prossimo a.a.
"Nel mese di Marzo si terra' una riunione degli
interessati, cui verranno fornite le informazioni
disponibili sulle sedi estere, e illustrate le regole
seguenti.
Le domande dovranno essere presentate entro trenta
giorni dal bando, che verra' emesso subito dopo la riunione
informativa. Potranno partecipare gli studenti del Corso di
Laurea in Scienze dell'Informazione iscritti al terzo o
quarto anno o primo o secondo fuori corso, che abbiano
superato i due terzi degli esami previsti dal piano di studi
per l'anno cui sono iscritti.
In base alle domande verra' stabilita una graduatoria
di chiamata, tenendo conto della media e del numero di esami
superati, e della conoscenza della lingua del paese
preferito. Questa graduatoria sara' utilizzata per
verificare la possibilita' di trovare una sede
soddisfacente, rispetto al riconoscimento dei corsi da
seguire, fino ad esaurimento dei posti a disposizione. La
graduatoria riguardera' sia le borse del PIC di Informatica
che quelle dei PIC di Matematica, qualora vi siano posti
disponibili, che eventuali borse non utilizzate in altri
PIC."
Approvato all'unanimita'.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
PROGETTO ERASMUS
SOSTITUZIONE DI CORSI
CERRAI Giacomo è autorizzato a sostenere presso l'Università
di Manchester:
"Artificial Intelligence" (CS233) per "Elaborazione
dell'Informazione Non Numerica", "Compiler Design" (CS314) +
"System Building Tools and Language Trasformations" (CS214)
per "Linguaggi Formali e Compilatori".
RINAUDO Marco è autorizzato a sostenere presso l'Università
"Paris-Sud" (Parigi IX Orsay):
"Génie Logiciel" per "Tecniche Speciali di Elaborazione".
SURACE Domenico è autorizzato a sostenere presso
l'Università "Paris-Sud" (Parigi IX Orsay):
"Génie Logiciel" per "Tecniche Speciali di Elaborazione".
PERRONE Lara è autorizzata a sostenere presso l'Università
"Paris-Sud" (Parigi IX Orsay):
"Génie Logiciel" per "Tecniche Speciali di Elaborazione" e
"Probabilites et Statistique" per "Calcolo delle Probabilità
e Statistica".
Approvati all'unanimità.
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 62
Anno Accademico 1993-1994 Seduta del 24.06.94
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 6
Argomento: Progetto Erasmus
O G G E T T O
Il progetto European Credit Transfer System (ECTS), sotto
l'egida della Comissione Europea, ha individuato dei criteri per
determinare l'equivalenza dei corsi nei diversi istituti europei e
permettere la conversione dei voti. Tali criteri verranno usati
nel prossimo programma di scambi, Socrates, e il nostro Senato
Accademico ha già accettato in linea di principio tali criteri.
Per la conversione dei voti, il criterio è quello di far
riferimento ad una scala comune (un 'grading bus') così definita:
A per gli studenti approvati, con il miglior 10% dei voti
B per gli studenti approvati, con il successivo miglior 25% dei
voti
C per gli studenti approvati, con il successivo miglior 30% dei
voti
D per gli studenti approvati, con il successivo miglior 25% dei
voti
E per gli studenti approvati, con il peggior 10% dei voti.
Le imprecisioni implicite in questo modo di procedere sono
considerate sopportabili, e comunque confrontabili con le
fluttuazioni locali da un corso all'altro. Statistiche locali
hanno dato, su un campione di 1000 esami, del raggruppamento di
informatica, per l'a.a. scorso, i seguenti risultati:
% voto %cum
4.74 18 4.737
3.91 19 8.651
5.77 20 14.42
4.84 21 19.26
4.53 22 23.79
6.39 23 30.18
12.9 24 43.05
10.2 25 53.24
10.3 26 63.54
10.2 27 73.74
10.1 28 83.83
1.85 29 85.68
11.4 30 97.12
2.88 30+ 100
Il Consiglio, all'unanimità, delibera di adottare la seguente
scala di conversione:
A = sopra 29
B = sopra 26
C = sopra 23
D = sopra 19
E = sopra 17
Nel caso di conversione da voto estero al nostro, si
applicherà un'interpolazione lineare, sulla base dei dati forniti
dal partner europeo.
COMMISSIONE CONVERSIONE VOTI ERASMUS
Il Consiglio unanime delibera di affidare l'istruzione delle
pratiche di conversione dei voti per gli studenti Erasmus, al
responsabile Erasmus, al vice responsabile e a un membro della
commissione pratiche studenti.
Attuale composizione della commissione: Montangero, Simi e
Ghelli.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 63
Anno Accademico 1993-1994 Seduta del 24.06.94
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 7
Argomento: Pratiche studenti
O G G E T T O
PROGETTO ERASMUS - RICONOSCIMENTO ESAMI
Davide SAPIENZA: in base alla documentazione pervenuta (allegato
1), e alla delibera n. 62 del presente verbale si riconoscono i
seguenti voti, riportati presso l'Università P. et M. Curie di
Parigi, per gli esami già riconosciuti equipollenti con precedente
delibera n. 5/7 del 26.11.93: "Systemes de Gestion de Bases de
Donnees" per "Documentazione Automatica": 29/30; "Modelization du
raisonnement et Systemes Experts" per "Elaborazione
dell'Informazione Non Numerica": 28/30; "Reseaux Informatiques"
per "Comunicazioni Elettriche": 29/30.
Approvato all'unanimità.
Giselda MONTANARI: in base alla documentazione pervenuta
(allegato 2), e alla delibera n. 62 del presente verbale, si
riconoscono i seguenti voti, riportati presso l'Università P. et
M. Curie di Parigi, per gli esami già riconosciuti equipollenti
con precedente delibera n. 5/7 del 26.11.93: "Systemes de Gestion
de Bases de Donnees" per "Documentazione Automatica": 25/30;
"Modelization du raisonnement et Systemes Experts" per
"Elaborazione dell'Informazione Non Numerica": 30 e lode/30.
Approvato all'unanimità.
Gianfranco MODONI: in base alla documentazione pervenuta (allegato
3), e alla delibera n. 62 del presente verbale, si riconoscono i
seguenti voti, riportati presso la University of Manchester, per
gli esami già riconosciuti equipollenti con precedente delibera
98/4 del 22.10.93: "CS201-Computer Systems Architecture I" e
"CS305-Operating Systems" per "Sistemi dell'Elaborazione
dell'Informazione II" : 30/30.
Approvato all'unanimità.
PROGETTO ERASMUS
SOSTITUZIONE DI CORSI - IPC-94-S-3017/11 Resp. prof. C. Montangero
Gemma FELICIANI: è autorizzata a sostenere presso l'Università di
Manchester (UK):
"CS314-Compiler Design" e "CS317-Foundations of program
abstraction and modularity" per "Linguaggi Formali e Compilatori".
Approvato all'unanimità.
Luca MEARELLI: è autorizzato a sostenere presso l'Università di
Limerick (Irlanda):
"CS4213 Operating Systems" e "CS4515 Concurrent Systems 1" per
"Sistemi per l'Elaborazione II".
Approvato all'unanimità.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 88
Anno Accademico 1993-1994 Seduta del 20.10.94
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 4
Argomento: Pratiche studenti
O G G E T T O
SOSTITUZIONE DI CORSI - PROGETTO ERASMUS
Silvia CORADESCHI - è autorizzata a sostenere presso
l'Università di Linkoping (Svezia):
"System Software (TDDB21)" per "Sistemi per l'Elaborazione
dell'Informazione II", e "Mathematical Statistics 1st course
(TAMS15)" per "Calcolo delle Probabilità e Statistica".
Approvato all'unanimità.
Michele ROTINI - è autorizzato a sostenere presso
l'Università P.e M. Curie di Parigi VI (Francia):
"Module Unix, mech. internes" e "Module Sisteme Reparties"
per "Sistemi per l'Elaborazione dell'Informazione II", e
"Programmationd'Interfaces avec X-Window" per "Elaborazione
di Immagini".
Approvato all'unanimità.
Luca BOVE - è autorizzato a sostenere presso l'Università
P.e M. Curie di Parigi VI (Francia):
"Module de Donnees" per "Documentazione Automatica", e
"Programmationd'Interfaces avec X-Window" per "Elaborazione
di Immagini".
Approvato all'unanimità.
Daniela DE SIMONI - è autorizzata a sostenere presso
l'Università di Edimburgo (Scozia):
"Modelling and Simulation" per "Simulazione".
Approvato all'unanimità.
RICONOSCIMENTO ESAMI - PROGETTO ERASMUS
Marco RINAUDO - in base alla documentazione pervenuta
(allegato 2), e alla delibera n. 62 del CCL del 24.06.94 si
riconoscono i seguenti voti, riportati presso l'Università
di Paris-Sud (Orsay), per gli esami già riconosciuti
equipollenti con precedenti delibere n. 81 del CCL del
21.09.93 e n. 21/10 del CCL del 28.01.94:
"Intelligence Artificielle" per "Elaborazione
dell'Informazione Non Numerica": 27/30;
"Base de Donées" per "Documentazione Automatica": 27/30;
"Génie Logiciel" per "Tecniche Speciali di elaborazione":
26/30.
Approvato all'unanimità.
Domenico SURACE - in base alla documentazione pervenuta
(allegato 3), e alla delibera n. 62 del CCL del 24.06.94 si
riconoscono i seguenti voti, riportati presso l'Università
di Paris-Sud (Orsay), per gli esami già riconosciuti
equipollenti con precedenti delibere n. 81 del CCL del
21.09.93 e n. 21/10 del CCL del 28.01.94:
"Intelligence Artificielle" per "Elaborazione
dell'Informazione Non Numerica": 26/30;
"Base de Donées" per "Documentazione Automatica": 26/30;
"Génie Logiciel" per "Tecniche Speciali di elaborazione":
27/30.
Approvato all'unanimità.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 08
Anno Accademico 1994-1995 Seduta del 21.11.94
FACOLTA' DI SCIENZE MAT. FIS. E NAT. Aggiorn. del
22.11.94
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 7
Argomento: Pratiche studenti
O G G E T T O
SOSTITUZIONE DI CORSI - PROGETTO ERASMUS
Silvia CORADESCHI - è autorizzata a sostenere presso
l'Università di Linkoping (Svezia):
"Advanced Computer Architecture (TDTS 51)" e "Advanced
Computer Architecture, Project (TDTS 83) per "Progetto di
sistemi numerici".
Rettifica: a correzione della delibera di CCL n. 88/3 del
24.10.94 si precisa che la sigla esatta del corso di "System
Software", che era stata autorizzata a sostenere, è "TDDB
01"
Approvato all'unanimità.
Sara COLOMBINI - è autorizzata a sostenere presso
l'Università di Linkoping (Svezia):
"Advanced Computer Architecture (TDTS 51)" e "Advanced
Computer Architecture, Project (TDTS 83)" per "Progetto di
sistemi numerici"; inoltre "Numerical Algorithms (TANA 42)"
per "Calcolo Numerico".
Approvato all'unanimità.
PROLUNGAMENTI ERASMUS
Montangero espone un problema collegato con Erasmus: se
è possibile che uno studente che ha già fruito di una borsa
Erasmus, ottenga, senza il parere del Consiglio, un
prolungamento del proprio stato di studente Erasmus, il che
gli consente di sostenere altri esami nella sede straniera,
e chiederne il riconoscimento, a posteriori.
Il Consiglio, unanime, delibera che la commissione
Erasmus istruisca questi riconoscimenti secondo gli stessi
criteri utilizzati dalla commissione Trasferimenti per il
riconoscimento di studi svolti all'estero.
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 16
Anno Accademico 1994-1995 Seduta del 19.12.94
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 6
Argomento: Pratiche studenti
O G G E T T O
PROGETTO ERASMUS
RICONOSCIMENTO CORSI SENZA CORRISPETTIVO LOCALE
Considerato che lo scopo del programma Erasmus è anche
quello di offrire agli studenti opportunità di allargamento
delle proprie conoscenze, il Consiglio ritiene che sia da
incoraggiare la frequenza di corsi in sedi straniere che non
trovino un corrispettivo locale, purchè i corsi scelti
riflettano una riconosciuta inclinazione scientifica della
sede straniera e i contenuti si integrino naturalmente nel
piano di studi o nell'attività di tesi dello studente
(sentito il parere della Commissione Piani di Studio).
Per il riconoscimento si ritengono utilizzabili, come
da prassi riconosciuta dall'Ateneo, tutti i titoli a statuto
in Università italiane, per il corso di Laurea in Scienze
dell'Informazione o in Informatica, salvo adeguamento del
piano di studi personale dello studente.
Approvato all'unanimità.
SOSTITUZIONE DI CORSI
LAROCCHIA Pierpaolo è autorizzato a sostenere presso
l'Università di Linkoping in Svezia:
"System Software" (TDDB01) per "Sistemi per l'Elaborazione
dell'Informazione II", "Numerical Algorithms" (TANA 42) per
"Calcolo Numerico", "Introduction to AI" (TDDA 58) per
"Elaborazione dell'Informazione Non Numerica" e "Logic
Programming" (TDDA 42) per "Linguaggi Speciali di
programmazione".
GHEZZI Silvia è autorizzata a sostenere presso l'Università
di Linkoping in Svezia:
"Compilers and Interpreters" (TDDA 28) e "Programming
Languages (Drabent)" per "Linguaggi Formali e Compilatori" e
"Computer Networks" (TDTS 41) per Comunicazioni Elettriche".
BRANDANO Sergio è autorizzato a sostenere presso
l'Università di Linkoping in Svezia:
"System Software" (TDDB01) per "Sistemi per l'Elaborazione
dell'Informazione II", "Numerical Algorithms" (TANA 42) per
"Calcolo Numerico", "Mathematical Statistics" (TAMS 15) per
"Calcolo delle Probabilità e Statistica", e "Advanc. Comp.
Archit." (TDTS 51) e "Advanc. Comp. Archit. Project" (TDTS
83) per "Progetto di Sistemi Numerici".
IALONGO Michele è autorizzato a sostenere presso
l'Università di Linkoping in Svezia:
"Mathematical Statistics" (TAMS 15) per "Calcolo delle
Probabilità e Statistica","Advanc. Comp. Archit." (TDTS 51)
e "Advanc. Comp. Archit. Project" (TDTS 83) per "Progetto di
Sistemi Numerici" e "System Software" (TDDB01) per "Sistemi
per l'Elaborazione dell'Informazione II"
PACE Pietro è autorizzato a sostenere presso l'University of
Sussex a Brighton:
"Human Computer Interaction" e "Intelligent Teaching
Systems" per "Linguaggi Speciali di Programmazione".
ISOLA Giuditta è autorizzata a sostenere presso l'Università
di Linkoping in Svezia:
"Compilers and Interpreters" (TDDA 28) e "Programming
Languages (Drabent)" per "Linguaggi Formali e Compilatori",
"Numerical Algorithms" (TANA 42) per "Calcolo Numerico" e
"Mathematical Statistics" (TAMS 15) per "Calcolo delle
Probabilità e Statistica".
SAPIENZA Davide Salvatore è autorizzato a sostenere presso
l'Università P. e M. Curie di Parigi:
"Conception de Systemes" e "Unix: Mecanismes internes" per
"Sistemi per l'Elaborazione dell'Informazione II".
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il
Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 23
Anno Accademico 1994-1995 Seduta del 26.01.95
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 5
Argomento: Pratiche studenti
PROGETTO ERASMUS - SOSTITUZIONE DI CORSI
Si rettifica la delibera del 19/12/94 n. 16/05 come segue: PACE Pietro
Pace è autorizzato a sostenere presso l'University of Sussex a Brighton:
"Human Computer Interaction" e "Intelligent Tutoring Systems" per
"Linguaggi Speciali di Programmazione".
PROGETTO ERASMUS - RICONOSCIMENTO ESAMI
RINAUDO Marco - in riferimento alla delibera n. 88/4 del Consiglio del
24/10/94, si precisa che il riconoscimento degli esami si intende
condizionato al soddisfacimento delle condizioni statutarie per
l'accesso al secondo biennio, cui appartengono gli esami in questione.
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 32
Anno Accademico 1994-1995 Seduta del 24.02.95
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 7
Argomento: Pratiche studenti
PROGETTO ERASMUS
SOSTITUZIONE DI CORSI
MASTROIANNI Giovanni, è autorizzato a sostenere presso
l'Universitat des Saarlandes (Saarbru"cken-D): "Spezifikationsmethoden
I" per "Metodi per il Trattamento dell'Informazione".
MINUTELLA Gianluca, è autorizzato a sostenere presso il Technische
Universitat di Braunschweig (D): "Verteilte Systeme (Sistemi
distribuiti)" per "Sistemi per l'Elaborazione dell'Informazione II".
IALONGO Michele, è autorizzato a sostenere presso l'Università
di Linkoping in Svezia: "Numerical Methods II (TANA 50)" per "Analisi
Numerica".
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 57
Anno Accademico 1994-1995 Seduta del 21.04.95
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 5
Argomento: Pratiche studenti
O G G E T T O
PROGETTO ERASMUS
Riconoscimento esami:
Gemma FELICIANI in base alla documentazione pervenuta (allegato 1), e
alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso l'Università di Manchester (UK), per gli
esami già riconosciuti equipollenti con precedente delibera n. 63/1
del 24.06.94: "CS314-Compiler Design" e "CS317-Foundations of program
abstraction and modularity" per "Linguaggi Formali e Compilatori":
30/30 in data 01.03.95.
Sostituzione di corsi:
Silvia GHEZZI, è autorizzata a sostenere presso
l'Università di Linkoping (Svezia): "Advanced Computer
Architecture - TDTS 51" e "Advanced Computer Architecture Project -
TDTS 83" per "Progetto di Sistemi Numerici".
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 69
Anno Accademico 1994-1995 Seduta del 26.05.95
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 6
Argomento: Pratiche studenti
Iscrizioni:
Aaron LAMBERT - nato a Mortonhampstead (UK) il 02.04.1970, proveniente
dall'Università di Edimburgo (UK), viene iscritto al Corso di
Laurea in Scienze dell'Informazione nell'ambito del PIC Erasmus
94-S-3017/11, per lavoro di tesi sotto la supervisione della
professoressa A. Starita.
Approvato all'unanimità.
Rettifica Delibera n. 63 del 24.06.94
A seguito di modifiche organizzative all'Università di
Limerick, la delibera di riconoscimento di esami per lo studente Luca
MEARELLI di cui sopra è modificata come segue: Luca MEARELLI:
è autorizzato a sostenere presso l'Università di Limerick
(Irlanda): "CS4213 Operating Systems" e "CS0418 Concurrent Systems T"
per "Sistemi per l'Elaborazione dell' Informazione II".
Riconoscimento esami:
Sara COLOMBINI: in base alla documentazione pervenuta (allegato 5), e
alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso l'Universit&agarve; di Linkoping (Svezia), per gli
esami gi&agarve; riconosciuti equipollenti con precedente delibera n. 8
del CCL 21.11.94: "Advanced Computer Architecture - TDTS 51" e
"Advanced Computer Architecture Project - TDTS 83" per "Progetto di
Sistemi Numerici": 26/30 in data 16.03.95; "Numerical Algorithms -
TANA 42" per "Calcolo Numerico": 30/30 in data 24.04.95.
Approvato all'unanimità.
cont. Del. n. 69/1 del 26.05.95
Luca MEARELLI: in base alla documentazione pervenuta (allegato 6), e
alla delibera n. 62 del CCL del 24.06.94, si riconoscono i seguenti
voti, riportati presso l'Università di Manchester (UK), per gli
esami già riconosciuti equipollenti con precedente delibera
n. 63 del 24.06.94, modificata in data odierna: "CS4213 Operating
Systems" e "CS0418 Concurrent Systems T" per "Sistemi per
l'Elaborazione dell'Informazione II": 30/30, in data 08.02.95.
Approvato all'unanimità.
Silvia CORADESCHI - in base alla documentazione pervenuta (allegato
7), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i
seguenti voti, riportati presso l'Università di Linkoping (Svezia),
per gli esami già riconosciuti equipollenti con precedenti delibere
n. 88 del CCL del 20.10.94 e n. 08 del 21.11.94: "Systems Software -
TDDB01" per Sistemi per l'Elaborazione dell'Informazione II: 30/30 in
data 22.04.95; "Mathematical Statistics 1st course (TAMS15)" per
Calcolo delle Probabilità e Statistica: 30/30 in data 23.02.95;
"Advanced Computer Architecture - TDTS 51" e "Advanced Computer
Architecture Project - TDTS 83" per "Progetto di Sistemi Numerici":
30/30 in data 30.03.95.
Approvato all'unanimità.
Sostituzione di esami:
SAPIENZA Davide Salvatore è autorizzato a sostenere presso
l'Università P. e M. Curie di Parigi: "Compilation II" per
"Linguaggi Formali e Compilatori" (ICP-94-G-1010/11).
Approvato all'unanimità.
Attribuzione di crediti ECTS ai nostri corsi.
Il Prof. Montangero propone di attribuire per il vecchio e
nuovo ordinamento e per il Diploma, 6 crediti per unità didattica e
36 crediti per la tesi di laurea.
Approvato all'unanimità.
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 95
Anno Accademico 1994-1995 Seduta del 07.07.95
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 7
Argomento: Varie ed eventuali
O G G E T T O
PROGETTO ERASMUS
Sostituzione di corsi:
Alessio BRAGADINI, è autorizzato a sostenere presso
l'Università di Linkoping (Svezia): "Advanced Computer
Architecture (TDTS 51)" e "Advanced Computer Architecture Project
v(TDTS 83)" per Progetto di Sistemi Numerici.
Approvato all'unanimità.
Monica BALATRESI è autorizzata a sostenere presso
l'Università di Linkoping (S): "Advanced Computer Architecture
(TDTS 51)" e "Advanced Computer Architecture Project (TDTS 83)" per
Progetto di Sistemi Numerici.
Approvato all'unanimità.
Andrea VACCARO è autorizzato a sostenere presso
l'Università di Linkoping (Svezia): "Advanced Computer
Architecture (TDTS 51)" e "Advanced Computer Architecture Project
(TDTS 83)" per Progetto di Sistemi Numerici; "Compiler Construction
(TDDA 37)" e "Applied Rewriting (corso di dottorato Prof Maluszynski)"
per Linguaggi Formali e Compilatori; "Programming Development Project
(TDDB60)" per Tecniche Speciali di Elaborazione; "Probability and
Statistics, First Course (TAMS 10)" per Calcolo delle
Probabilità e Statistica.
Approvato all'unanimità.
Leonardo GENNA è autorizzato a sostenere presso
l'Università di Linkoping (Svezia): "Advanced Computer
Architecture (TDTS 51)" e "Advanced Computer Architecture Project
(TDTS 83)" per Progetto di Sistemi Numerici; "Programming Theory (TDDA
43)" e "Programming Theory II (TDDA 30)" per Metodi per il Trattamento
dell'Informazione; "Probability and Statistics, First Course (TAMS
10)" per Calcolo delle Probabilità e Statistica.
Approvato all'unanimità
Cont. del. n. 95/1 del 07.07.95
Dario CARDILE è autorizzato a sostenere presso l'University of
Limerick (IRL): "Software Engineering 4 (CS4317)" e
"Programming language technology 1 (CS4515)" per Metodi per il
Trattamento dell'Informazione; "Math Analysis 4 (MS4004)" per
Calcolo Numerico; "Computer Networks (CS4225)" per Comunicazioni
Elettriche; "Advanced DataBase Systems (CS4418)" per BASI DI
DATI E SISTEMI INFORMATIVI (titolo del nuovo corso di Laurea in
Informatica, adottato ai sensi della delibera n. 16 del 19.12.94)
Approvato all'unanimita`.
Riconoscimento esami:
Davide SAPIENZA: in base alla documentazione pervenuta (allegato 2), e
alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso l'Università P. et M. Curie di Parigi, per
gli esami già riconosciuti equipollenti con precedente delibera
n. 16 del 19.12.94: "Conception des Systemes" e "UNIX: mecanismes
internes" per "Sistemi di Elaborazione dell'Informazione II": 26/30 in
data 15/6/95; "Compilation II" per "Linguaggi Formali e Compilatori":
28/30 in data 6/6/95.
Approvato all'unanimità.
Michele ROTINI: in base alla documentazione pervenuta (allegato 3), e
alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso l'Università P. et M. Curie di Parigi, per
gli esami già riconosciuti equipollenti con precedente delibera
n. 88 del 20.10.94: "Programmation d'Interfaces avec X-Window" per
"Elaborazione di Immagini": 26/30 in data 13/6/95.
Approvato all'unanimità.
Luca BOVE: in base alla documentazione pervenuta (allegato 4), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti,
riportati presso l'Università P. et M. Curie di Parigi, per gli
esami già riconosciuti equipollenti con precedente delibera n. 88
del 20.10.94: "Programmation d'Interfaces avec X-Window" per
"Elaborazione di Immagini": 29/30 in data 13/6/95.
Approvato all'unanimità.
Letto, approvato e sottoscritto seduta stante.
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 101
Anno Accademico 1994-1995 Seduta del 20.09.95
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
PROGETTO ERASMUS
Sostituzione di corsi:
Giovanni MASTROIANNI è autorizzato a sostenere presso Universitat
des Saarlandes (Saarbru"cken-D): "Implementierung von Betriebssytemen"
per "Sistemi per l'Elaborazione dell'Informazione II".
Approvato all'unanimità.
Andrea VACCARO è autorizzato a sostenere presso
l'Università di Linkoping (Svezia): Numerical Methods II (TANA
50) per Calcolo Numerico.
Approvato all'unanimità.
Riconoscimento esami:
Giovanni MASTROIANNI - in base alla documentazione pervenuta (allegato
2), alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso l'Università di Saarlandes (Saarbruchen,
D) per gli esami già riconosciuti equipollenti con questa
delibera e con precedente delibera n. 32 del CCL del 24/02/95:
"Spezifikationsmethoden I" per "Metodi per il Trattamento
dell'Informazione": 28/30 in data 11/8/1995; "Implementierung von
Betriebssytemen" per "Sistemi per l'Elaborazione dell'Informazione
II": 24/30 in data 14/8/1995.
Approvato all'unanimità.
Silvia GHEZZI - in base alla documentazione pervenuta (allegato 3), e
alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso l'Università di Linkoping (Svezia), per
gli esami già riconosciuti equipollenti con precedenti delibere
n. 16 del CCL del 19.12.94 e n. 57 del 21.04.95: "Compilers and
Interpreters" (TDDA 28) e "Programming Languages (Drabent)" per
"Linguaggi Formali e Compilatori": 30/30 in data 20/6/95. "Advanced
Computer Architecture - TDTS 51" e "Advanced Computer Architecture
Project - TDTS 83" per "Progetto di Sistemi Numerici": 28/30 in data
10/6/95.
Approvato all'unanimità.
Pierpaolo LAROCCHIA - in base alla documentazione pervenuta (allegato
4), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i
seguenti voti, riportati presso l'Università di Linkoping
(Svezia), per gli esami già riconosciuti equipollenti con
precedenti delibere n. 16 del CCL del 19.12.94. "System Software"
(TDDB01) per "Sistemi per l'Elaborazione dell'Informazione II": 26/30
in data 22/4/95. "Numerical Algorithms" (TANA 42) per "Calcolo
Numerico": 30/30 in data 14/6/95. "Introduction to AI" (TDDA 58) per
"Elaborazione dell'Informazione Non Numerica": 26/30 in data 29/6/95.
"Logic Programming" (TDDA 42) per "Linguaggi Speciali di
programmazione": 30/30 in data 29/6/95.
Approvato all'unanimità.
Gianluca MINUTELLA - in base alla documentazione pervenuta (allegato
5), e alla delibera n. 62 del CCL del 24.06.94, si riconoscono i
seguenti voti, riportati presso la Technische Universitat di
Braunschweig (D), per gli esami già riconosciuti equipollenti
con precedente delibera n. 32 del 24.02.95: "Verteile Systeme" per
"Sistemi per l'Elaborazione dell'Informazione II": 30/30, in data
3/7/95.
Approvato all'unanimità.
Michele IALONGO - in base alla documentazione pervenuta (allegato 6),
e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso l'Università di Linkoping (Svezia), per
gli esami già riconosciuti equipollenti con precedenti delibere
n. 16 del CCL del 19/12/94 e n. 32 del CCL del 24/02/95.
"Mathematical Statistics" (TAMS 15) per "Calcolo delle
Probabilità e Statistica": 30/30 in data 23/2/95; "Advanced
Computer Architecture" (TDTS 51) e "Advanced Computer Architecture
Project" (TDTS 83) per "Progetto di Sistemi Numerici": 28/30 in data
10/6/95; "System Software" (TDDB01) per "Sistemi per l'Elaborazione
dell'Informazione II": 22/30 in data 6/6/95; "Numerical Methods II
(TANA 50)" per "Analisi Numerica": 22/30 in data22/4/95.
Approvato all'unanimità.
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 112
Anno Accademico 1994-1995 Seduta del 25.10.95
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
PROGETTO ERASMUS
Sostituzione di corsi:
Dino DI STEFANO e` autorizzato a sostenere presso la Vrije
Universiteit (Amsterdam, Olanda): Neural Networks (WD158 con modulo
2A) per Teoria dei Sistemi; Knowledge Systems (W28) e Knowledge Bases
(WD093) per Elaborazione dell'Informazione non Numerica.
Approvato all'unanimita`.
Santo ORLANDO e` autorizzato a sostenere presso la Vrije Universiteit
(Amsterdam, Olanda): Neural Networks (WD158 con modulo 2A) per Teoria
dei Sistemi; Computer Graphics (WD152) e Object Oriented Programming -
Practical work (WD151) per Elaborazione di Immagini.
Approvato all'unanimita`.
Antonella FARINACCIO e` autorizzata a sostenere presso la University
of Manchester (UK): Computer Organization (CS2222) e Parallel
Computing (CS3012) per Progetto di Sistemi Numerici; Operating Systems
(CS3052) per Sistemi per l'Elaborazione dell'Informazione II.
Approvato all'unanimita`.
Alberto MONDANELLI e` autorizzato a sostenere presso la University of
Manchester (UK): Computer Organization (CS2222) e Parallel Computing
(CS3012) per Progetto di Sistemi Numerici; Operating Systems (CS3052)
per Sistemi per l'Elaborazione dell'Informazione II.
Approvato all'unanimita`.
Paolo CIAMARONE e` autorizzato a sostenere presso la University of
Leiden (NL): High Performance Computing e Application of
Multiprocessors per Progetto di Sistemi Numerici.
Approvato all'unanimita`.
Alessio BRAGADINI e` autorizzato a sostenere presso l'Universita` di
Linkoping (S): Probability and Statistics, First Course (TAMS 10) per
Calcolo delle Probabilita` e Statistica.
Approvato all'unanimita`.
Guido DOMENICI e` autorizzato a sostenere presso l'Universita` di Oulu
(Finlandia): Principles of Applied Mathematics (80128P) per Calcolo
Numerico.
Approvato all'unanimita`.
Riconoscimento esami:
Pietro PACE - in base alla documentazione pervenuta (allegato ...), e
alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso la University of Sussex at Brighton (UK).
"Languages and Compilers" per "Linguaggi Formali e Compilatori":
30/30 in data 1/6/95.
Approvato all'unanimita`.
Iscrizioni:
Mattias PETERSSON - nato a Skeppestad (S) il 10.08.1972, proveniente
dall'Universita` di Linkoping (S), viene iscritto al Corso di Laurea
in Scienze dell'Informazione nell'ambito del PIC Erasmus S-3017/11,
per lavoro di tesi sotto la supervisione del prof. G. Gallo.
Approvato all'unanimita`.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 4
Anno Accademico 1995-1996 Seduta del 18.12.95
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 3
Argomento: Pratiche studenti
PROGETTO ERASMUS: Sostituzione di corsi
Paola NATALE è autorizzata a sostenere presso l'Università
di Umea (S): "Operating Systems" per "Sistemi per l'Elaborazione
dell'Informazione II"; "Numerical Linear Algebra" per "Calcolo Numerico".
E` autorizzata inoltre a sostenere "Programming Language
Concepts" come requisito parziale per "Linguaggi Formali e
Compilatori", che le sarà riconosciuto previo colloquio
integrativo sui seguenti argomenti:
Struttura delle realizzazioni classiche (compilatori e interpreti);
ambienti di programmazione.
Automi a stati finiti, espressioni e linguaggi regolari (richiami);
Analisi lessicale e generatori di analizzatori lessicali;
Grammatiche libere e aspetti sintattici dei linguaggi di
programmazione (richiami); Tecniche di analisi sintattica LL e LR e
generatori di analizzatori sintattici; Forme intermedie e traduzione
diretta dalle sintassi; Ottimizzazione del codice; Tabelle dei
simboli; Gestione degli errori.
Testo di riferimento: Aho A.V., Sethi
R., Ullman J.D., Compilers. Principles, Techniques and Tools, Addison
Wesley, Reading, Mass., 1986, cap 1, 3 (3.1, 3.3- 3.9*),4**,5
(5.1-5.6),6 (6.1-6.5), 7 (7.1-7.5),8,9 (9.4-9.8), 10 (10.1-10.9 +
eserc. 10.8, 10.9)***.
* tranne "Minimizing the number of states" e "Table compression"
** tranne "Precedence Functions"
*** in 10.3 non "Use of algebraic identities",
in 10.5 non "General Control Flow", in 10.9 solo "Finding dominators".
Roberta GIANNONI è autorizzata a sostenere presso
l'Università di Umea (S): "Computational Intelligence" per
"Elaborazione dell'Informazione Non Numerica"; "Numerical Linear
Algebra" per "Calcolo Numerico".
Chiara BIANCHERI è autorizzata a sostenere presso
l'Università di Nizza (F): "Algorithmique Parallele et
distribueè" per "Tecniche Numeriche e Analogiche"
Dario CARDILE è autorizzato a sostenere presso
l'Università di Limerick (Irlanda): "Artificial Intelligence
(CS4816)" per "Elaborazione dell'informazione non numerica".
Paolo CIAMARONE è autorizzato a sostenere presso la
Università di Leiden: Numerical Mathematics per Calcolo
Numerico.
PROGETTO ERASMUS: Riconoscimento esami
Sergio BRANDANO - in base alla documentazione pervenuta (allegato
n. 1), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i
seguenti voti, riportati presso l'Università di Linkoping
(Svezia), per gli esami già riconosciuti equipollenti con
precedente delibera n. 16 del CCL del 19/12/94.
"Advanc. Comp. Archit." (TDTS 51) e "Advanc. Comp. Archit. Project"
(TDTS 83) per "Progetto di Sistemi Numerici": 30/30 in data 1/11 /95;
"System Software" (TDDB01) per "Sistemi per l'Elaborazione
dell'Informazione II": 26/30 in data 22/4/95; "Numerical Algorithms
(TANA 42)" per "Calcolo Numerico": 30/30 in data 14/6/95.
Si riconosce inoltre il seguente esame, che viene contestualmente
riconosciuto equipollente: "Probability and Statistics: First Course
(TAMS 10) per "Calcolo delle Probabilità e Statistica": 30/30
in data 23/2/95;
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 19
Anno Accademico 1995-1996 Seduta del 26.01.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 7
Argomento: Pratiche studenti
PROGETTO ERASMUS: Autorizzazioni
Maria Paola SCAPARRA è autorizzata a sostenere presso
l'Università di Edinburgo (UK): "Database Systems e Programming
Methodology" per "Documentazione Automatica"; "Probability" per
"Calcolo delle Probabilità e Statistica"; "Compiling Techniques"
per "Linguaggi Formali e Compilatori".
PROGETTO ERASMUS: Convalide
Guido DOMENICI - in base alla documentazione pervenuta (allegato 2), e
alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso l'Università di Oulu (Finlandia), per gli
esami contestualmente riconosciuti equipollenti. "Human Computer
Interaction" e "Reviewing and Testing" per "Elaborazione di Immagini":
30/30 in data 2/1/96.
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 32
Anno Accademico 1995-1996 Seduta del 26.02.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 10
Argomento: Programma Erasmus-Socrates
O G G E T T O
Simi riferisce in merito a SOCRATES/ERASMUS, il nuovo
programma d'azione della Comunità Europea per la cooperazione nel
settore dell'istruzione superiore, presentato nella riunione dei
coordinatori dell'Area Didattica Europea il 7/2/96.
Il nuovo programma sostituirà il vecchio Programma Erasmus
a partire dall'a.a. 1997/98.
Simi chiede la collaborazione del CCL per la elaborazione di
una proposta di attività da svolgere in collaborazione con
università straniere e finalizzate ad obiettivi didattici a
carattere europeo.
Dopo una breve discussione, viene dato mandato a Simi di
stilare una lista di università interessate ad una collaborazione
nel settore dell'informatica, raccogliendo le proposte dei docenti
interessati e di presentare il risultato di questa attività al
prorettore per gli affari internazionali in occasione della prossima
riunione di ADE, convocata per il 6/3/96.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 33
Anno Accademico 1995-1996 Seduta del 26.02.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 11
Argomento: Pratiche studenti
PROGETTO ERASMUS: Sostituzione di corsi
Maria Paola SCAPARRA è autorizzata a sostenere presso
l'Università di Edinburgo (UK): "Database Systems e Programming
Methodology" per "Documentazione Automatica"; "Probability" per
"Calcolo delle Probabilità e Statistica"; "Compiling Techniques"
per "Linguaggi Formali e Compilatori".
Antonella FARINACCIO è autorizzata a sostenere presso
l'Università di Manchester (UK): "Numerical Methods (MT1242)" per
"Calcolo Numerico".
Alberto MONDANELLI è autorizzato a sostenere presso l'Università
di Manchester (UK): "Numerical Methods (MT1242)" per "Calcolo
Numerico".
PROGETTO ERASMUS: Riconoscimento esami
Leonardo GENNA - in base alla documentazione pervenuta (allegato
Genna), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i
seguenti voti, riportati presso l'Università di Linkoping (Svezia),
per gli esami già riconosciuti equipollenti con precedente delibera
n. 95 del CCL del 7/7/95. "Advanc. Comp. Archit." (TDTS 51) e
"Advanc. Comp. Archit. Project" (TDTS 83) per "Progetto di Sistemi
Numerici": 30/30 in data 13/1/96; "Probability and Statistics: First
Course (TAMS 10) per "Calcolo delle Probabilità e Statistica":
30/30 in data 20/10/95.
PROGETTO ERASMUS: Accettazioni
Bernd KOBLINGER, nato il 28/6/1972, e proveniente dalla Graz
University of Technology (Austria), è ammesso a frequentare il
corso di Laurea in Scienze dell'Informazione come free-mover
nell'ambito del programma Erasmus, nel secondo semestre dell'anno
accademico 1996/97.
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 43
Anno Accademico 1995-1996 Seduta del 25.03.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 5
Argomento: Pratiche studenti
O G G E T T O
PROGETTO ERASMUS: sostituzione di corsi
Luciano LALLI è autorizzato a sostenere presso la Chalmers
University di Goterborg (Svezia): "Numerical Analysis" per "Calcolo
Numerico".
Approvato all'unanimità.
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 62
Anno Accademico 1995-1996 Seduta del 03.05.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 5
Argomento: Pratiche studenti
O G G E T T O
PROGETTO ERASMUS: riconoscimento esami
Paolo CIAMARONE - in base alla documentazione pervenuta (allegato 2),
e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso l'Università di Leiden (Olanda), per gli
esami già riconosciuti equipollenti con precedenti delibere n. 112
CCL del 25/10/95 e n. 4 del 18/12/95. "High Performance Computing" e
"Application of Multiprocessors" per "Progetto di Sistemi Numerici":
23/30 in data 25/1/96; "Numerical Mathematics" per Calcolo Numerico:
19/30 in data 15/1/96.
Alessio BRAGADINI - in base alla documentazione pervenuta (allegato
3), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i
seguenti voti, riportati presso l'Università di Linkoping (Svezia),
per gli esami già riconosciuti equipollenti con precedenti delibere
n. 95 del CCL del 07.07.95 e n. 112 del 25.10.95.
"Advanc. Comp. Archit." (TDTS 51) e "Advanc. Comp. Archit. Project"
(TDTS 83) per "Progetto di Sistemi Numerici": 30/30 in data 13/1/96;
"Probability and Statistics: First Course (TAMS 10) per "Calcolo delle
Probabilita` e Statistica": 30/30 in data 20/10/95.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 78
Anno Accademico 1995-1996 Seduta del 14.06.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 11
Argomento: Pratiche studenti
O G G E T T O
PROGETTO ERASMUS: riconoscimento esami
Luciano LALLI - in base alla documentazione pervenuta (allegato 1), e
alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso la Chalmers University, Goterborg (Svezia), per
gli esami già riconosciuti equipollenti con precedente delibera
n. 43 del CCL del 25.03.96: "Numerical Analysis" per Calcolo Numerico:
28/30 in data 5/3/96.
Monica BALATRESI - in base alla documentazione pervenuta (allegato 2),
e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso la Università di Linkoping (Svezia) per gli
esami già riconosciuti equipollenti con precedente delibera n. 95
del CCL del 7.7.95: "Advanc. Comp. Archit." (TDTS 51) e
"Advanc. Comp. Archit. Project" (TDTS 83) per "Progetto di Sistemi
Numerici": 26/30 in data 5/3/96.
Andrea VACCARO - in base alla documentazione pervenuta (allegato 3), e
alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso la Università di Linkoping (Svezia) per gli
esami già riconosciuti equipollenti con precedenti delibere n. 95
del CCL del 7.7.95 e n. 101 del 20.09.95: "Advanc. Comp. Archit."
(TDTS 51) e "Advanc. Comp. Archit. Project" (TDTS 83) per "Progetto di
Sistemi Numerici": 30/30 in data 5/3/96; "Probability and Statistics,
first course (TAMS 10)": 22/30 in data 20/10/95; "Compiler
Construction (TDDA37)" e "Introduction to Rewriting Systems" per
"Linguaggi Formali e Compilatori": 30/30 in data 9/3/96; "Numerical
Methods II (TANA 50)" per "Calcolo Numerico": 22/30 in data 16/4/96.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 92
Anno Accademico 1995-1996 Seduta del 22.07.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 12
Argomento: Varie ed eventuali
O G G E T T O
PRATICHE STUDENTI
PROGETTO ERASMUS: Riconoscimento esami
Chiara BIANCHERI - in base alla documentazione pervenuta (allegato 2)
e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso la Università di Nizza (F), per gli esami
già riconosciuti equipollenti con precedente delibera n. 4 del CCL
del 18.12.95: "Algorithmique Parallele et distribue'" per "Tecniche
Numeriche e Analogiche": 26/30 in data 15/12/95.
Roberta GIANNONI - in base alla documentazione pervenuta (allegato 3),
e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso la Università di Umea (S), per gli esami
già riconosciuti equipollenti con precedente delibera n. 4 del CCL
del 18.12.95: "Computational Intelligence" per "Elaborazione
dell'Informazione Non Numerica": 30/30 in data 29/3/96; "Numerical
Linear Algebra" per "Calcolo Numerico": 30/30 in data 17/6/96.
Dario CARDILE - in base alla documentazione pervenuta (allegato 4), e
alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso la University of Limerick (IRL), per gli esami
già riconosciuti equipollenti con precedenti delibere n. 95 del
CCL del 07.07.95 e n. 4 del 18.12.95. "Software Engineering 4
(CS4317)" e "Programming language technology 1 (CS4515)" per Metodi
per il Trattamento dell'Informazione: 30/30 con lode in data 21/6/96;
"Math Analysis 4 (MS4004)" per Calcolo Numerico: 30/30 in data
21/6/96; "Computer Networks (CS4225)" per Comunicazioni Elettriche:
29/30 in data 21/6/96; "Artificial Intelligence (CS4816)" per
"Elaborazione dell'Informazione Non Numerica": 30/30 in data 21/6/96.
Approvato all'unanimità.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 97
Anno Accademico 1995-1996 Seduta del 30.09.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 4
Argomento: Pratiche studenti
O G G E T T O
PROGETTO ERASMUS: sostituzione di corsi
Antonio GUADAGNO è autorizzato a sostenere presso l'Università
di Leiden (NL): "Numerical Mathematics" per "Calcolo Numerico".
Giuseppe MILICIA è autorizzato a sostenere presso l'Università
Vrije di Amsterdam (NL): "Compiler Construction (WD074)" per
"Linguaggi di Programmazione: linguaggi formali e compilatori (LFC)";
"Computer Networks (WD098)" per "Sistemi di Elaborazione
dell'Informazione: reti di calcolatori (SER)"; "Software Engineering
(WD106)" per "Ingegneria del Software I (IS1)"; "Software Engineering
- Practical Work" per "Ingegneria del Software: laboratorio di
progettazione (ISL)"; "Human Computer Interaction (WD095)" per
"Interfacce uomo-macchina: aspetti ergonomici e psicologici"; (titolo
di corso non attivo) "Object Oriented Programming (WD150)" per
"Programmazione: modelli orientatiagli oggetti"; (titolo di corso da
attivare l'anno prossimo)
Terry Lanfranco MURGIA è autorizzato a sostenere presso
l'Universitàdi Manchester (UK): "Architectural Support for
Languages and Operating Systems (CS2042)" e "Parallel Computing
(CS3012)" per "Progetto di Sistemi Numerici"; "Operating Systems
(CS2051)" e "Operating Systems (CS3052)" per "Sistemi per
l'Elaborazione dell'Informazione II"; "Numerical Methods (MT1242)" per
"Calcolo Numerico".
Marco TARINI è autorizzato a sostenere presso l'Università di
Edinburgh (UK): "Database Systems" per "Basi di Dati e Sistemi
Informativi I (BD1)"; "Distributed Systems" per "Architettura degli
Elaboratori II (AE2)"; "Compiling Techniques" per "Linguaggi di
Programmazione: linguaggi formalie compilatori (LFC)"; "Knowledge
Representation and Inference" (o "Knowledge Based Systems") per
"Intelligenza Artificiale I (AI1); "System Design Project" per
"Ingegneria del Software: laboratorio diprogettazione".
Salvatore Massimiliano VIZZINI è autorizzato a sostenere presso
l'Università di Limerick (IRL): "Discrete Mathematics 1 (MS4111)" e
"Computer Mathematics 2 (MA4402)" per "Matematica Discreta (MD)";
"Computer Mathematics 3 (MA4403)" per "Calcolo delle Probabilità
(CP)"; "Software Engineering 1 (CS4311)" per "Ingegneria del Software
I IS1)"; "Computer Networks (CS4225)" per "Sistemi di Elaborazione
dell'Informazione: reti di calcolatori (SER)"; "Database Systems
(CS4416)" per "Basi di dati I (BD1)"; "Simulation and Operations
Research (CS4827)" per "Simulazione I (ROS); "Programming Language
Technology 2 (CS4516)" per "Linguaggi di programmazione: linguaggi
formali e compilatori (LFC)".
Fioravante SANTANIELLO è autorizzato a sostenere presso
l'Università di Linkoping (S): "Numerical Methods I (TANA 41)" per
"Calcolo Numerico"; "Mathematical Statistics (1st) (TAMS 15)" per
"Calcolo delle Probabilità e Statistica"; "System Software (TDDB
01)" e "Real Time and Concurrent Programming (TDDA 47)" per "Sistemi
per l'Elaborazione dell'Informazione I".
Barbara GIANNATTASIO è autorizzata a sostenere presso
l'Università di Linkoping (S):"Numerical Methods I (TANA 41)" per
"Calcolo Numerico";
Anna Margherita LADIK è autorizzata a sostenere presso
l'Università di Linkoping (S): "Numerical Methods I (TANA 41)" per
"Calcolo Numerico"; "Mathematical Statistics (1st) (TAMS 15)" per
"Calcolo delle Probabilità e Statistica".
Anna FIORUCCI è autorizzata a sostenere presso l'Università di
Linkoping (S): "Numerical Methods I (TANA 41)" per "Calcolo Numerico",
"Mathematical Statistics (1st) (TAMS 15)" per "Calcolo delle
Probabilità e Statistica".
Floriana MARCELLO è autorizzata a sostenere presso l'Università
di Linkoping (S): "Numerical Methods I (TANA 41) per "Calcolo
Numerico"; "Mathematical Statistics (1st) (TAMS 15)" per "Calcolo
delle Probabilità e Statistica"; "System Software (TDDB 01)" e
"Real Time and Concurrent Programming (TDDA 47)" per "Sistemi per
l'Elaborazione dell'Informazione I".
PROGETTO ERASMUS: Accettazioni
Andreas LACEROF, nato a Lund (Svezia) il 4/12/72 e proveniente dalla
Università di Linkoping (Svezia), viene iscritto al Corso di
Laureain Scienze dell'Informazione nell'ambito del PIC Erasmus
S-3017/11, per lavoro di tesi sotto la supervisione del Dott. Fabio
Patern˜ del CNUCE, nel primo semestre dell'a.a 1996/97.
Cyril MACHETTI, nato a Parigi il 30.05.72, e proveniente dalla
Universitè de Nice (Francia), viene iscritto al Corso di Laureain
Informatica nell'ambito del PIC Erasmus S-3017/11, per frequentare
corsi nel primo semestre dell'a.a. 1996/97.
PROGETTO ERASMUS: Riconoscimento esami
Maria Paola SCAPARRA in base alla documentazione pervenuta (allegato
1), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i
seguenti voti, riportati presso la University of Edinburgh (UK), per
gli esami già riconosciuti equipollenti con precedente delibera
n. 19 del CCL del 26.01.96. "Probability" per "Calcolo delle
Probabilita` e Statistica": 30/30 in data 30/6/96. "Compiling
Techniques" per "Linguaggi Formali e Compilatori": 30/30 in data
30/6/96. Si riconosce inoltre il seguente voto, per gli esami
contestualmente riconosciuti equipollenti: "Software System Design" e
"Database Systems" per "Documentazione Automatica": 30/30 in data
30/6/96.
Antonella FARINACCIO in base alla documentazione pervenuta (allegato
2), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i
seguenti voti, riportati presso la University of Manchester (UK), per
gli esami già riconosciuti equipollenti con precedente delibera
n. 33 del CCL del 26.02.96. "Numerical Methods (MT1242)" per "Calcolo
Numerico": 30/30 in data 17/7/96.
Alberto MONDANELLI in base alla documentazione pervenuta (allegato 3),
e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti
voti, riportati presso la University of Manchester (UK), per gli esami
già riconosciuti equipollenti con precedenti delibere n. 33 del CCL
del 26.02.96 e n. 112 del 25.10.95. "Numerical Methods (MT1242)" per
"Calcolo Numerico": 30/30 in data 17/7/96. "Computer Organization"
(CS2222) e "Parallel Computing" (CS3012) per "Progetto di Sistemi
Numerici": 20/30 in data 17/7/96; "Operating Systems" (CS3052) per
"Sistemi per l'Elaborazione dell'Informazione II": 24/30 in data
17/7/96.
Gianluca SERGI in base alla documentazione (allegato 4), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti,
riportati presso la Vrije Universiteit Amsterdam (NL), per l'esame
contestualmente riconosciuto equipollente (da riconoscere come esame
in piu`): "User Interface Design" per "Interazione uomo-macchina:
interfacce grafiche": 30/30 in data 30/7/96.
Dino DI STEFANO in base alla documentazione (allegato 5), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti,
riportati presso la Vrije Universiteit Amsterdam (NL), per gli esami
riconosciuti equipollenti con precedente delibera n. 112 del
25.10.95: "Neural Networks (WD158 con modulo 2A)" per "Teoria dei
Sistemi": 29/30 in data 10/6/96. "Knowledge Systems (W28)" e
"Knowledge Bases (WD093)" per "Elaborazione dell'Informazione non
Numerica": 28/30 in data 19/7/96.
Santo ORLANDO in base alla documentazione (allegato 6), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti,
riportati presso la Vrije Universiteit Amsterdam (NL), per gli esami
riconosciuti equipollenti con precedente delibera n. 112 del
25.10.95: "Neural Networks (WD158 con modulo 2A)" per "Teoria dei
Sistemi": 29/30 in data 10/6/96.
Gianluca MINUTELLA in base alla documentazione (allegato 7), si
riconosce il seguente voto, riportato presso la Technische Universitat
Braunschweig (D) per l'esame contestualmente riconosciuto
equipollente: "Analysis II" per "Analisi Matematica II": 28/30 in data
10/7/95.
Paola NATALE in base alla documentazione pervenuta (allegato8), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti,
riportati presso la Università di Umea (S), per gli esami già
riconosciuti equipollenti con precedente delibera n. 4 del CCL del
18.12.95: "Numerical Linear Algebra" per "Calcolo Numerico": 30/30 in
data 17/6/96.
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 111
Anno Accademico 1995-1996 Seduta del 31.10.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 7
Argomento: Pratiche studenti
O G G E T T O
PROGETTO ERASMUS: sostituzione di corsi
Paola DALLE PIAGGE e` autorizzata a sostenere presso la Università
di Amsterdam (NL): "Computer Networks (WD098)" e "Computer
Instrumentation (WD108)" per "Progetto di Sistemi Numerici";
"Semantics (WD203)" e "Programming Languages Principles (WD039)" per
"Metodi per il Trattamento dell'Informazione".
Marco TARINI è autorizzato a sostenere presso l'Università di
Edinburgo (UK): "Programming Methodology" per "Ingegneria del Software
I (IS1)".
Anna FIORUCCI è autorizzata a sostenere presso l'Università di
Linkoping (S): "Compiler Construction" e "Compiling Functional
Languages" per "Linguaggi Formali e Compilatori"; "Logic for
Artificial Intelligence" (TTDA 16) e "Expert Systems: Methods and
Tools" (TDDA 66) per "Ingegneria della Conoscenza e Sistemi Esperti".
Antonio GUADAGNO è autorizzato a sostenere presso l'Università
di Leiden (NL): "Numerical Analysis A" per "Calcolo Numerico".
Robert ALFONSI è autorizzato a sostenere presso l'Università di
Leiden (NL): "Numerical Analysis A" per "Calcolo Numerico".
Terry Lanfranco MURGIA è autorizzato a sostenere presso
l'Università di Manchester (UK): "Probability" per "Calcolo delle
Probabilità e Statistica".
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 22
Anno Accademico 1996-1997 Seduta del 22.01.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 10
PROGETTO ERASMUS: sostituzione di corsi
Salvatore Massimiliano VIZZINI è autorizzato a sostenere presso
l'Università di Limerick (IRL):
"Language Processors (CE4717)" per "Linguaggi di programmazione:
linguaggi formali e compilatori (LFC)"; "Operations Research 1" per
"Programmazione Matematica"; "Software Engineering 1 (CE4706)" per
"Ingegneria del Software I IS1)"; "Artificial Intelligence (CS4816)"
per "Intelligenza Artificiale 1 (IA1)".
Giuseppe MILICIA è autorizzato a sostenere presso l'Università
Vrije di Amsterdam (NL):
"Programming in Prolog (WD54)" e "Searching Techniques PW" per
"Intelligenza Artificiale"; "Databases (WD020)" per "Basi di Dati e
Sistemi Informativi I"; "Introduction to Parallel Programming" per
"Architetture 2"; "Neural Networks" per "Reti Neurali I"; "Computer
networks (Practical Work, WD099)" per "Sistemi Operativi II".
Robert ALFONSI è autorizzato a sostenere presso l'università di
Leiden (NL):
"Kansrekening en Statistiek A" per "Calcolo delle Probabilità e
Statistica"; "Semantiek van Progammeertalen" e "Formele Talen en
Automaten 1" per "Metodi per il Trattamento dell'Informazione";
"Operating Systemen" per "Sistemi per l'Elaborazione dell'Informazione
II"
Santo AMENDOLA è autorizzato a sostenere presso l'Università di
Linkoping (S):
"Numerical Methods II (TANA 50)" per "Calcolo Numerico"; "System
Software" come requisito parziale per l'esame di "Sistemi per
l'Elaborazione dell'Informazione", da integrare con "Laboratorio di
Informatica IV".
Cristiano MASI è autorizzato a sostenere presso l'Università di
Linkoping (S):
"Numerical Methods II (TANA 50)" per "Calcolo Numerico"; "System
Software" come requisito parziale per l'esame di "Sistemi per
l'Elaborazione dell'Informazione", da integrare con "Laboratorio di
Informatica IV".
PROGETTO ERASMUS: riconoscimento esami
Pierpaolo LAROCCHIA - in base alla documentazione (allegato 1), alla
delibera n. 62 del CCL del 24.06.94 e alla delibera del Senato
Accademico n. 73 del 10.12.1996, si riconosce il seguente esame,
sostenuto presso la Università di Linkoping (S), per l'esame
contestualmente riconosciuto equipollente (da riconoscere come esame
in piu`):
"Introduction to Description Logics" per "Intelligenza Artificiale:
logica e rappresentazione della conoscenza", sostenuto in data 9/5/96.
PROGETTO ERASMUS: Rettifica verbale del 30/9/96
Fioravante SANTANIELLO è autorizzato a sostenere presso
l'Università di Linkoping (S):
"System Software (TDDB 01)" e "Real Time and Concurrent Programming
(TDDA 47)" per "Sistemi per l'Elaborazione dell'Informazione II".
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 29
Anno Accademico 1996-1997 Seduta del 07.03.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 4
Argomento: Progetto Erasmus
- estensione della Commissione
- criteri di ammissione
- ratifica provvedimento d'urgenza
O G G E T T O
Vista la notevole mole di lavoro occorrente, alla Commissione
Progetto Erasmus attualmente formata dalla prof. Maria Simi e dal
Dott. Alessandro Sperduti, viene aggiunto un altro membro nella
persona della dott.ssa Francesca Rossi.
Il Consiglio unanime approva.
Il Presidente cede la parola alla prof. Simi responsabile del
progetto Erasmus, la quale passa ad illustrare il nuovo Programma
Socrates che avrà inizio nell'a.a. 1997/98 e che prevede importanti
novità rispetto al vecchio Erasmus.
La più importante è che quest'anno per la partecipazione
al programma di mobilità Erasmus in Socrates, ci sarà un bando
di Ateneo comune con scadenze comuni. Ad ogni settore
scientifico-didattico di ADE è stato richiesto di stabilire i
requisiti minimi per la partecipazione al bando. Sostanzialmente gli
studenti devono essere iscritti almeno al x anno di corso e devono
aver superato almeno y esami (magari indicando quali obbligatoriamente
devono essere stati dati) ... al momento della presentazione della
domanda.
Il consiglio passa quindi ad esaminare la seguente proposta
di criteri minimi di merito:
"Sono ammessi gli studenti che al momento della presentazione della
domanda siano:
1. Iscritti almeno al terzo anno del Corso di Laurea in Scienze
dell'Informazione e che abbiano sostenuto almeno 7 annualità di
esami;
2. Iscritti almeno al terzo anno del Corso di Laurea in Informatica e
che abbiano sostenuto almeno 14 Unità Didattiche;
3. Iscritti almeno al secondo anno del Diploma di Informatica e che
abbiano sostenuto almeno 8 Unità Didattiche.
Segue una breve discussione al termine della quale la proposta
viene approvata all'unanimità.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 70
Anno Accademico 1996-1997 Seduta del 20.06.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 7
Argomento: Pratiche studenti
O G G E T T O
PROGETTO ERASMUS: riconoscimento di esami
Barbara GIANNATTASIO: in base alla documentazione (allegato 1), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati
presso la Università di Linkoping (S), per gli esami riconosciuti
equipollenti con precedente delibera n. 97 del 30.09.96:
"Numerical Methods I (TANA 41)" per "Calcolo Numerico": 23/30 in data
6/2/97.
Margherita LADIK: in base alla documentazione (allegato 2), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati
presso la Università di Linkoping (S), per gli esami riconosciuti
equipollenti con precedente delibera n. 97 del 30.09.96:
"Numerical Methods I (TANA 41) " per "Calcolo Numerico": 23/30 in data
6/2/97;
"Mathematical Statistics (1st) (TAMS 15)" per "Calcolo delle Probabilità
e Statistica": 23/30 in data 7/1/97.
Fioravante SANTANIELLO: in base alla documentazione (allegato 3), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati
presso la Università di Linkoping (S), per gli esami riconosciuti
equipollenti con precedente delibera n. 97 del 30.09.96:
"Numerical Methods I (TANA 41)" per "Calcolo Numerico": 24/30 in data
6/2/97;
"Mathematical Statistics (1st) (TAMS 15)" per "Calcolo delle Probabilità
e Statistica": 29/30 in data 7/1/97;
System Software (TDDB 01)" e "Real Time and Concurrent Programming (TDDA 47)"
per "Sistemi per l'Elaborazione dell'Informazione II": 23/30 in data
15/4/97.
Floriana MARCELLO: in base alla documentazione (allegato 4), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati
presso la Università di Linkoping (S), per gli esami riconosciuti
equipollenti con precedente delibera n. 97 del 30.09.96:
"Numerical Methods I (TANA 41) per "Calcolo Numerico": 23/30 in data 6/2/97;
"Mathematical Statistics (1st) (TAMS 15)" per "Calcolo delle Probabilità
e Statistica": 26/30 in data 7/1/97;
cont. Del. n. 70/1 del 20.06.97
"System Software (TDDB 01)" e "Real Time and Concurrent Programming (TDDA 47)"
per "Sistemi per l'Elaborazione dell'Informazione II": 23/30 in data
15/4/97.
Santo AMENDOLA: in base alla documentazione (allegato 5), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati
presso la Università di Linkoping (S), per gli esami riconosciuti
equipollenti con precedente delibera n. 22
del 22.01.97:
"Numerical Methods II (TANA 50)" per "Calcolo Numerico": 23/30 in data
7/4/97
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 80
Anno Accademico 1996-1997 Seduta del 04.07.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 7
Argomento: Pratiche studenti
O G G E T T O
CORREZIONE DI DELIBERE
Papini Massimo - proveniente da Scienze dell'Informazione.
A completamento della delibera n. 09/01 del CCL del 29.11.96, si approva
l'esame di "Trattamento dell'Informazione dell'Impresa" per idem, come esame a
scelta del terzo anno.
Approvato all'unanimità.
Zappa Nardelli Francesco - proveniente dal Diploma di Informatica
(Perugia).
A correzione della delibera n. 09/09 del CCL del 29.11.96, si convalida l'esame
di "Architettura degli Elaboratori" per "Architettura degli Elaboratori e
Laboratorio di Informatica III" (3UD) previa prova di laboratorio.
Approvato all'unanimità.
PROGETTO SOCRATES
Criteri per la formazione della graduatoria di merito
La prof. Simi riferisce sui criteri usati per la formazione della graduatoria
di merito.
Sono perventute 32 domande: 3 da parte di studenti di Informatica, 29 da parte
di studenti di Scienze dell'Informazione. Quattro studenti avevano già
usufruito della borsa di studio Erasmus nell'a.a 1996/97 ( e quindi potranno
essere studenti Socrates/Erasmus senza borsa nell'a.a. 1997/98).
In base a queste domande è stata stilata un'unica graduatoria di merito
tenendo conto di:
- Media
- Un coefficiente di rendimento (n. esami sostenuti rispetto a quelli da
sostenere)
- Un coefficiente di permanenza (n. anni legali rispetto all'anno di corso)
- Il grado di conoscenza della lingua (coefficiente da 0.95 a 1)
- La validità del programma (coefficiente da 0.95 a 1).
Il risultato è la graduatoria (allegato 1) che è stata usata per
l'allocazione delle sedi disponibili, cercando di soddisfare le richieste in
ordine di graduatoria.
cont. Del. n. 80/1 del 04.07.97
Programmi di studio dei candidati e corrispondenze esami.
Giuseppe Milicia è autorizzato a recarsi presso il Queen Mary
College di Londra (UK), per 8 mesi a partire da gennaio 1998, come studente
Erasmus senza borsa, per svolgere una tesi con relatore interno la Prof.ssa
Francesca Rossi.
Marco Risati è autorizzato a recarsi presso il Queen Mary &
Westfield College (UK), per 10 mesi a partire da Settembre 1997, per sostenere
i seguenti esami:
"Linear Methods (MAS/110)" più "Experimental Mathematics (MAS/208)" per
"Analisi Numerica"; "Probability 1 (MAS/108)" per "Calcolo delle
probabilità"; "Data Base Systems (DCS/225)" per "Basi di Dati I";
"Object oriented Programming (DCS/220)" per "Linguaggi: Programmazione
Object-oriented"; "Compilers and Interpreters (DCS/312)" per "Linguaggi Formali
e Compilatori"; "Artificial Intelligence I (DCS/215)" per "Intelligenza
Artificiale I"; "Parallel Computing (DCS/226)" per "Architettura degli
Elaboratori II".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Giancarlo Volpe è autorizzato a recarsi presso
l'Università di Limerick (IRL), per 9 mesi a partire da Settembre 1997 e
a sostenere i seguenti esami:
"Math Analysis 4 (MS4004)" per "Calcolo Numerico", "Programming Language
Technology 2 (CS4126)" e "Language Processing (CE4717)" per "Linguaggi Formali
e Compilatori".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Fioravante Santaniello è autorizzato a recarsi presso
l'Università Politecnica de Valencia (E), per 6 mesi a partire da
Ottobre 1997, come studente Socrates senza borsa, per svolgere una tesi con
relatore interno il Prof. Franco Turini.
Rosaria Tiralongo è autorizzata a recarsi presso
l'Università di Linkoping (S), per 6 mesi a partire da Ottobre 1997 e a
sostenere i seguenti esami:
"Numerical Methods II" (TANA 50 - 3.75) per "Calcolo Numerico", System
Software" (TDDB 01 - 5.25) e "Real Time and Concurrent Programming "(TDDA 47 -
4.5) per "Sistemi per l'Elaborazione dell'Informazione II"; "Artificial
Intelligence (7.5) e AI: Knowledge representation" (TDDA 16) per "Elaborazione
dell'Informazione non Numerica".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Marco Visentini è autorizzato a recarsi presso
l'Università di Linkoping (S), per 5 mesi a partire da Settembre 1997 e
a sostenere i seguenti esami:
"Programming Theory (TDDA 43 - 6)" e "Logic Programming (TDDA 41 - 6.75)" per
"Metodi per l'Elaborazione dell'Informazione"; "Automatic Control (TSRT 15 -
6)" e "Computer Security (TSIT 83 - 3)" per "Elettronica".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
cont. Del. n. 80/2 del 04.07.97
Giuseppina D'Andrea è autorizzata a recarsi presso
l'Università Politecnica di Valencia (E), per 9 mesi a partire da
Settembre 1997, per sostenere i seguenti esami:
"Computacion Numerica" per "Calcolo Numerico"; "Sistemas Operativos 1",
più "Estructura de Computadores 2", più "Introduccion a la
transmision de datos", per "Sistemi per l'elaborazione dell'informazione 2".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Marco Cavanna è autorizzato a recarsi presso l'Ecole Normale
Superieure (F) per 10 mesi a partire da Settembre 1997 per sostenere i seguenti
esami:
"Programmation d'interfaces avec X-Window" per "Elaborazione delle Immagini";
"Semantique et Preuves" per "Metodi per il Trattamento dell'Informazione";
"Integration et Probabilites 1" per "Calcolo delle Probabilità e
Statistica".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Silvio Brandani è autorizzato a recarsi presso
l'Università di Linkoping (S), per 6 mesi a partire da Settembre 1997 e
a sostenere i seguenti esami:
"Programming Theory" (TDDA 43 - 6) e "Logic Programming" (TDDA 41 - 6.75) per
"Metodi per l'Elaborazione dell'Informazione"; "Database Technology" (TDDB 38 -
7.5) per "Documentazione Automatica".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Cinzia Foglietta è autorizzata a recarsi presso
l'Università di Linkoping (S), per 8 mesi a partire da Ottobre 1997 e a
sostenere i seguenti esami:
"Numerical Methods II" (TANA 50 - 3.75) per "Calcolo Numerico"; "Compiler
Construction" (TDDA 37 - 5.25) e "Formal Languages and Automata Theory" (TDDA
89 - 5.25) per "Linguaggi Formali e Compilatori"; "Advanced Programming and
Interactivity on the WWW" (TDDB 06 - 7.5) per "Elaborazione di Immagini".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Anna Fiorucci è autorizzata a recarsi presso l'Università
di Linkoping (S), per 8 mesi a partire da Ottobre 1997, come studente Erasmus
senza borsa per svolgere una tesi con relatore interno la Prof.ssa Maria
Simi.
Marco Biondi è autorizzato a recarsi presso l'Università
di Uppsala (S), per 6 mesi a partire da Settembre 1997, per sostenere i
seguenti esami:
"Numerical Analysis MN1" per "Calcolo Numerico"; "Computer Systems" per
"Sistemi 2"; "Computer Graphics MN1" più un progetto integrativo con il
prof. Attardi sulla parte di progettazione di Interfacce Grafiche per
"Elaborazione dell'Immagine".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Fabio Paita è autorizzato a recarsi presso l'Università di
Birmingham (UK), per 10 mesi a partire da Settembre 1997, per sostenere i
seguenti esami:
"Computer Architecture 2" (SEM303) più un colloquio integrativo di
"Architetture 3", per "Progetto di Sistemi Numerici"; "Probability and Decision
Making" (MSM1S2) per
cont. Del. n. 80/3 del 04.07.97
"Calcolo delle Probabilità e Statistica; "Numerical methods" (MSMXG6),
più una valutazione (scritto+orale) sulla parte di algebra lineare per
"Calcolo Numerico"; "Operating Systems" (SEM330) più "Real time system
programming" (SEM227) per "Sistemi per l'elaborazione dell'informazione 2".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Vinicio Nocciolini è autorizzato a recarsi presso
l'Università Politecnica de Valencia (E), per 6 mesi a partire da
Ottobre 1997, per svolgere una tesi con relatore interno il Prof. Franco
Turini, e per sostenere i seguenti esami:
"Introduccion a la computacion paralela e Teleinformatica" per "Progetto di
Sistemi Numerici".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Lapo Bernardini è autorizzato a recarsi presso la Vrije
Universitet (NL), per 10 mesi a partire da settembre 1997 e a sostenere i
seguenti esami:
"Numerical Analysis I" per "Calcolo Numerico"; "Probability and Statistics" per
"Calcolo delle Probabilità e Statistica"; "Operating Systems (WD069 -
4.5)" e "Operating Systems PW (WD070 - 9)" per "Sistemi per l'Elaborazione
dell'Informazione II"; "Computer Networks (WD098 - 4.5)" e "Introduction to
Parallel Computing" per "Progetto di Sistemi Numerici"; "Neural Networks (WD158
con modulo 2A e progetto - 9)" per "Teoria dei Sistemi".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Maria Iaquinta è autorizzata a recarsi presso l'Università
Politecnica di Valencia (E), per 9 mesi a partire da Settembre 1997,per
sostenere i seguenti esami:
"Computacion Numerica" per "Calcolo Numerico"; "Sistemas Operativos 1", piu'
"Estructura de Computadores 2", per "Sistemi per l'elaborazione
dell'informazione 2"; "Bases de Datos" più "Diseno de Bases de Datos"
più "ProcessamentCientific de TEXtos (Tex)" per "Documentazione
Automatica"; "Laboratorio de Lenguajes de Programacion" più "Linguaggi
Formali e Compilatori" per "Linguaggi Formali e Compilatori" (di Scienze
dell'Informazione).
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Tiziana Caruso è autorizzata a recarsi presso l'Università
di Limerick (IRL), per 9 mesi a partire da Settembre 1997 e a sostenere i
seguenti esami:
"Math Analysis 4"(MS4004) per "Calcolo Numerico"; "Programming Language
Technology 2"(CS4126) e "Language Processing"(CE4717) per "Linguaggi Formali e
Compilatori".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Simone Carlesi è autorizzato a recarsi presso la Vrije
Universitet(NL), per 10 mesi a partire da settembre 1997 e a sostenere i
seguenti esami:
"Numerical Analysis I" per "Calcolo Numerico"; "Operating Systems (WD069 -
4.5)" e "Operating Systems PW (WD070 - 9)" per "Sistemi per l'Elaborazione
dell'Informazione
cont. Del. n. 80/4 del 04.07.97
II"; "Semantics (WD203 - 6)" e "Programming Languages Principles (WD039 - 4.5)"
per "Metodi per l'Elaborazione dell'Informazione"; "Compiler Construction
(WD074 - 4.5)" e "Parsing Techniques (WD170 - 4.5)" per "Linguaggi Formali e
Compilatori".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Fabrizio Baldazzi è autorizzato a recarsi presso
l'Università di Leiden (NL), per 6 mesi a partire da Ottobre 1997 e a
sostenere i seguenti esami:
"Kansrekening en Statistiek A" per "Calcolo delle Probabilità e
Statistica", "Semantiek van Progammeertalen" e "Formele Talen en Automaten 1"
per "Metodi per il Trattamento dell'Informazione".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Paola Dalle Piagge è autorizzata a recarsi presso
l'Università di Linkoping (S), per 6 mesi a partire da Ottobre 1997,
come studente Erasmus senza borsa per svolgere una tesi con relatore interno la
Prof.ssa Antonina Starita.
Andrea Urso è autorizzato a recarsi presso l'Università di
Aarhus (DK), per 10 mesi a partire da Settembre 1997 e a sostenere i seguenti
esami:
"Fundamental Models" e "Semantics" per Metodi per il Trattamento
dell'Informazione, "Numerical Analysis" per Calcolo Numerico, "Probability 1"
per Calcolo delle Probabilità e Statistica, "Databases" per
Documentazione Automatica; "Mathematics programming" per "Ricerca Operativa"
previo colloquio integrativo.
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Eugenia Cutrona è autorizzata a recarsi presso
l'Università di Aarhus (DK), per 10 mesi a partire da Settembre 1997 e a
sostenere i seguenti esami:
"Compilation" e "Semantics" per "Linguaggi Formali e Compilatori", "Numerical
Analysis" per "Calcolo Numerico","Probability 1" per "Calcolo delle
Probabilità e Statistica","Databases" per "Documentazione Automatica".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Andrea Ficini è autorizzato a recarsi presso la Vrije Universitet
(NL), per 10 mesi a partire da settembre 1997 e a sostenere i seguenti
esami:
"Operating Systems (WD069 - 4.5)" e "Operating Systems PW (WD070 - 9)" per
Sistemi per l'Elaborazione dell'Informazione II; "Computer Networks (WD098 -
4.5)" e "Introduction to Parallel Computing" per Progetto di Sistemi Numerici;
"Object Oriented Programming PW" (WD151) e "Computer Graphics (WD152)" per
"Elaborazione di Immagini".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Letto, approvato e sottoscritto seduta stante.
b>UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 93
Anno Accademico 1996-1997 Seduta del 03.10.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 8
Argomento: Pratiche studenti
O G G E T T O
TESI DI LAUREA - Tesi in lingua straniera
Secondo quanto stabilito dal Consiglio con delibera n. 24 del 26.01.95, si
autorizza la studentessa GIANNONI Roberta a presentare la tesi di laurea
in lingua inglese in quanto la tesi è stata iniziata presso il
Dipartimento di Computer science dell'università di Umea e il
correlatore è il professore Patrik Eklund.
Il Consiglio unanime approva.
Secondo quanto stabilito dal Consiglio con delibera n. 24 del 26.01.95, si
autorizza lo studente GUADAGNO Antonio a presentare la tesi di laurea in
lingua inglese in quanto la tesi è stata iniziata in Olanda durante il
periodo in cui ha usufruito di una borsa ERASMUS.
Il Consiglio unanime approva.
IMMATRICOLAZIONE STUDENTI STRANIERI
Kuri Ariel - cittadino albanese, con licenza di locale scuola secondaria
superiore e valida per l'iscrizione all'università.
Si ammette al 1º anno del Corso di Laurea in Informatica.
Sironi Kacem - cittadino marocchino, con licenza di locale scuola
secondaria superiore e valida per l'iscrizione all'università.
Si ammette al 1º anno del Corso di Laurea in Informatica.
Drita Balla - cittadina albanese, con licenza di locale scuola
secondaria superiore e valida per l'iscrizione all'università.
Si ammette al 1º anno del Corso di Laurea in Informatica.
cont. Del. n. 93/1 del 03.10.97
ABBREVIAZIONI
Mascaros Duran Zenia - proveniente da Informatica - Università
dell'Avana, chiede l'immatricolazione al corso di laurea con abbreviazione in
Scienze dell'Informazione.
Si ammette al 4º anno del Corso di Laurea in Scienze dell'Informazione.
Si convalidano gli esami di:
"Analisi Matematica I + Analisi Matematica II" per "Analisi Matematica I", con
voto 24/30; "Algebra I + AlgebraII" per "Geometria (sem)" con voto 24/30;
"Logica + Matematica discreta" per "Algebra(sem)" con voto 24/30
"Programmazione" per "TAMC" con voto 18/30; "Struttura di dati + disegno e
Analisi di algoritmi" per "TAC"
con voto 27/30; "Analisi Matematica III +Equazioni differenziali" per "Analisi
Matematica" II con voto 21/30; "Matematica Numerica I + Matematica Numerica II"
per "Calcolo Numerico (sem)" con voto 27/30; "Probabilità + Statistica"
per "Calcolo delle Probabilità e statistica" con voto 27/30;
"Programmazione di Machina" per "Sistemi Elab. Inf I" con voto 30/30; "Modelli
di Ottimizzazione continua + Modelli di Ottimizzazione continui" per "Ricerca
Operativa" con voto 30/30; "Programmazione di Sistema + Sistema di Operazioni"
per "Sistemi Elab. Inf II" con voto 30/30; "Sistema di Basi di Dati" per
"Documentazione Automatica" con voto 30/30 previo colloquio integrativo; "Reti
di Calcolatrici" per "Comunicazioni Elettriche" con voto 30/30 previo
colloquio integrativo; "Linguaggio di Programmazione + Linguaggio e Raccolta"
per "Linguaggi Formali e Compilatori" con voto 30/30; "Architettura di
Calcolatrice" per "Progetto di Sistemi Numerci" con voto 30/30 con colloquio
integrativo; "Programmazione Logica" per "Elaborazione dell'Informazione Non
Numerica" con voto 30/30.
Giani Annarita - laureata in Matematica (Pisa).
Si ammette al 3° anno del corso di Diploma in Informatica sotto
condizione.
Si convalidano "Analisi matematica I" per idem (2 UD), "Teoria e Applicazioni
delle Macchine Calcolatrici" per "Algoritmi e Strutture Dati I + lab. I" (3 UD)
con voto 27/30 previo prova di laboratorio; "Analisi numerica" per "Calcolo
numerico"; "Statistica Matematica" per "Calcolo delle Probabilità e
Statistica Matematica", "Algebra" per "Matematica Discreta".
Si prega lo studente di procurare il programmi di "Teoria e metodi di
Ottimizzazione" per un'eventuale ulteriore convalida.
PASSAGGI
Tamburini Cristina - proveniente da Ingegneria Civile (Pisa).
Si ammette al 1º anno del Diploma in Informatica.
Si convalida l'esame di "Analisi Matematica I" per "idem".
Impera Alfredo - proveniente dal Corso di Laurea in Informatica
(Pisa).
Si ammette al 3º anno del Diploma in Informatica, convalidando gli esami
di comune
denominazione.
cont. Del. n. 93/2 del 03.10.97
PROGRAMMA SOCRATES
Rettifiche e integrazioni alla delibera n. 80 del CdL 4.07.97:
Giancarlo Volpe è autorizzato a sostenere, presso
l'Università di Limerick (IRL), e in aggiunta a quanto già
deliberato nel Consiglio del 04.07.97 con delibera n. 80/1, i seguenti
esami:
"Statistics 1" (MS4202) per "Calcolo delle Probabilità e Statistica",
"Computer Architecture" (CE4518) e "Concurrent Systems" (CS4215) per "Progetto
di Sistemi Numerici".
Inoltre, si approva la sostituzione dell'esame "Language Processing" (CE4717)
con l'esame "Programming Language Technology 1" (CS4515).
Tiziana Caruso è autorizzata a sostenere, presso
l'Università di Limerick (IRL), e in aggiunta a quanto già
deliberato nel Consiglio del 04.07.97 con delibera n. 80/3, i seguenti
esami:
"Statistics 1" (MS4202) per "Calcolo delle Probabilità e Statistica",
"Computer Architecture" (CE4518) e "Concurrent Systems" (CS4215) per "Progetto
di Sistemi Numerici".
Inoltre, si approva la sostituzione dell'esame "Language Processing" (CE4717)
con l'esame "Programming Language Technology 1" (CS4515).
Andrea Urso è autorizzato a recarsi presso l'Università di
Aarhus (DK), per 10 mesi a partire da Settembre 1997 e a sostenere i seguenti
esami:
"Mathematics programming" per "Ricerca Operativa" senza colloquio
integrativo.
Fabio Paita è autorizzato a recarsi presso l'Università di
Birmingham (UK), per 10 mesi a partire da Settembre 1997, e a sostenere i
seguenti esami:
"Numerical methods (MSMXG6) più Numerical Methods in Linear Algebra
(MSMYG5)" per "Calcolo Numerico" invece di "Numerical Methods (MSMXG6)"
piu´ un colloquio integrativo; "Software Workshop C++ (SEM240) e Graphics
I (SEM226)" per "Elaborazione di Immagini".
Su richiesta dell'interessato (vedi lettera allegata), Fabrizio Baldazzi
è autorizzato a recarsi presso l'Università di Leiden (NL), per 6
mesi a partire da Gennaio 1998, anzichè Settembre 1997, con i
Simone Carlesi è autorizzato a recarsi presso la Vrije
Universitet di Amsterdam (NL), per 12 mesi, anzichè 10, a partire da
settembre 1997 e per svolgere il programma di studio già autorizzato.
Marco Risati è autorizzato a recarsi presso il Queen Mary College
di Londra (UK) e ad aggiungere i seguenti esami:
"Optimization Techniques in OR (MAS/215)" per "Ottimizzazione Combinatoria".
Maria Iaquinta è autorizzata a recarsi presso l'Università
di Valencia (S) e ad aggiungere i seguenti esami:
"Teleinformatica" e "Introduccion a la Computation Parallela" per "Progetto di
Sistemi Numerici".
cont. Del. n. 93/3 del 03.10.97
Giuseppina D'Andrea è autorizzata a recarsi presso
l'Università di Valencia (S) e a sostenere i seguenti esami:
"Sistemas Operativos 1", più "Estructura de Computadores 2", più
"La informatica en el sistema productivo" (ISP) per "Sistemi per l'elaborazione
dell'informazione 2" invece che "Sistemas Operativos 1", più "Estructura
de Computadores 2", più "Introduccion a la transmision de datos", per
"Sistemi per l'elaborazione dell'informazione 2".
Inoltre è autorizzata ad aggiungere i seguenti esami:
"Algoritmica" e "Algoritmos y estructuras de datos 3 (AD3)" per "T eoria e
metodi dell'ottimizzazione".
Vinicio Nocciolini è autorizzato a recarsi presso
l'Università Politecnica de Valencia (E), per 9 mesi a partire da
Ottobre 1997, anzichè 6 mesi, per svolgere il programma di studio
già deliberato.
PROGRAMMA SOCRATES
Ratifica provvedimenti di urgenza
Francesca BRUCCIANI è autorizzata a recarsi presso
l'Università Politecnica de Valencia (E), per 9 mesi a partire da
Ottobre 1997 per sostenere i seguenti esami:
"Introduccion a la computacion paralela" e "Teleinformatica" per "Progetto di
Sistemi Numerici"; "Computacion Numerica" per "Calcolo Numerico"; "Analisis
Matematico 1" per "Analisi I"; "Analisis Matematico 2" per "Analisi II".
vl programma
di studio già concordato.
Simone Carlesi è autorizzato a recarsi presso la Vrije
Universitet di Amsterdam (NL), per 12 mesi, anzichè 10, a partire da
settembre 1997 e per svolgere il programma di studio già autorizzato.
Marco Risati è autorizzato a recarsi presso il Queen Mary College
di Londra (UK) e ad aggiungere i seguenti esami:
"Optimization Techniques in OR (MAS/215)" per "Ottimizzazione Combinatoria".
Maria Iaquinta è autorizzata a recarsi presso l'Università
di Valencia (S) e ad aggiungere i seguenti esami:
"Teleinformatica" e "Introduccion a la Computation Parallela" per "Progetto di
Sistemi Numerici".
cont. Del. n. 93/3 del 03.10.97
Giuseppina D'Andrea è autorizzata a recarsi presso
l'Università di Valencia (S) e a sostenere i seguenti esami:
"Sistemas Operativos 1", più "Estructura de Computadores 2", più
"La informatica en el sistema productivo" (ISP) per "Sistemi per l'elaborazione
dell'informazione 2" invece che "Sistemas Operativos 1", più "Estructura
de Computadores 2", più "Introduccion a la transmision de datos", per
"Sistemi per l'elaborazione dell'informazione 2".
Inoltre è autorizzata ad aggiungere i seguenti esami:
"Algoritmica" e "Algoritmos y estructuras de datos 3 (AD3)" per "T eoria e
metodi dell'ottimizzazione".
Vinicio Nocciolini è autorizzato a recarsi presso
l'Università Politecnica de Valencia (E), per 9 mesi a partire da
Ottobre 1997, anzichè 6 mesi, per svolgere il programma di studio
già deliberato.
PROGRAMMA SOCRATES
Ratifica provvedimenti di urgenza
Francesca BRUCCIANI è autorizzata a recarsi presso
l'Università Politecnica de Valencia (E), per 9 mesi a partire da
Ottobre 1997 per sostenere i seguenti esami:
"Introduccion a la computacion paralela" e "Teleinformatica" per "Progetto di
Sistemi Numerici"; "Computacion Numerica" per "Calcolo Numerico"; "Analisis
Matematico 1" per "Analisi I"; "Analisis Matematico 2" per "Analisi II".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Giovanni ZORZETTI è autorizzato a recarsi presso il Queen Mary
College di Londra (UK), per 9 mesi a partire da ottobre 1997 per sostenere i
seguenti esami:
"Optimization Techniques in OR (MAS/215)" più un colloquio integrativo
per "Ricerca Operativa"; "Computer Systems 2 (DCS/213)" e "Computer Systems 3
(DCS/221)" per "Sistemi per l'Elaborazione dell'Informazione II" e
"Comunicazioni Elettriche"; "Artificial Intelligence (DCS/215)" per
"Elaborazione dell'Informazione Non Numerica"; "Parallel Computing (DCS/226)"
più un colloquio integrativo per "Progetto di Sistemi Numerici".
Rettifica della ratifica
Giovanni ZORZETTI è autorizzato a recarsi presso il Queen Mary
College di Londra (UK), per 9 mesi a partire da ottobre 1997 per sostenere i
seguenti esami:
"Artificial Intelligence (DCS/215)" più "Artificial Intelligence II" per
"Elaborazione dell'Informazione Non Numerica" (anzichè Artificial
Intelligence (DCS/215) per "Elaborazione dell'Informazione Non Numerica").
Francesca BRUCCIANI è autorizzata ad aggiungere "Investigacion
Operativa'" più un colloquio integrativo sulla parte non lineare per
"Ricerca Operativa'', e "Informatica Grafica in 3 dimensioni'' e ''Sintesi di
immagini e animazione'' per ''Elaborazione dell'Immagine''.
cont. Del. n. 93/4 del 03.10.97
PROGRAMMA SOCRATES: sostituzione di corsi
Alessandro SCHIANO è autorizzato a recarsi presso la University
of NewCastle upon Tyne (UK), nel periodo gennaio1998 - giugno 1998, e a
sostenere i seguenti esami:
"CSC808 Concurrent Programming" e "CSC809 Operating Systems" per "Sistemi per
l'Elaborazione dell'Informazione II"; "MAS234 Applied Probability" per "Calcolo
delle Probabilità e Statistica"; "CSC328 Numerical Algorithms" e "MAS329
Numerical Recipes" per "Calcolo Numerico".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
Matteo Alessandro Bottalico è autorizzato a recarsi presso
l'Università di Manchester (UK), per 5 mesi a partire da Febbraio 1998 e
a sostenere i seguenti esami:
"Linear Algebra" (MT1212) e "Discrete Mathmatics" (MT2292) per "Matematica
Discreta", "Architectural Support of Languages and Operating Systems" (CS2042)
per "Architettura dei Sistemi di Elaborazione II", "Computer Vision" (CS3432)
per "Percezione Robotica".
Si approva il piano di studi presentato con la domanda di candidatura al
programma Socrates.
PROGRAMMA SOCRATES: Convalida esami
Marco TARINI - in base alla documentazione (allegato 2), e alla delibera
n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la
Università di Edinburgo (UK), per gli esami riconosciuti equipollenti
con precedenti delibere n. 97 del 30.09.96 e n. 111 del 31.10.96:
"Database Systems" per "Basi di Dati e Sistemi Informativi I (BD1)": 30/30 in
data 4/7/97;
"Distributed Systems" per "Architettura degli Elaboratori II (AE2)": 27/30 in
data 30/6/97;
"Compiling Techniques" per "Linguaggi di Programmazione: linguaggi formali e
compilatori (LFC)": 30/30 con lode in data 4/7/97;
"Knowledge Based Systems" per "Intelligenza Artificiale I (AI1): 30/30 con lode
in data 4/7/97;
"Programming Methodology" per "Ingegneria del Software I (IS1)": 30/30 in data
4/7/97.
Si riconoscono inoltre i seguenti esami, contestualmente riconosciuti
equipollenti:
"Computer Communications" per "Sistemi per l'Elaborazione dell'Informazione:
Reti di Calcolatori (SER)": 29/30 in data 4/7/97;
"Parallel Architectures" per "Architettura degli Elaboratori III (AE3)": 29/30
in data 30/6/97;
"Computer Graphics" per "Interazione Uomo-Macchina: Fondamenti di Computer
Graphics (IUF)": 30/30 in data 30/6/97;
"Human Computer Interaction" per "Interazione Uomo-Macchina: programmazione di
interfacce grafiche": 27/30 in data 30/6/97.
cont. Del. n. 93/5 del 03.10.97
Antonella FARINACCIO - in base alla documentazione (allegato 3), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati
presso la Università di Manchester (UK), per gli esami riconosciuti
equipollenti con precedente delibera n. 112 del 25.10.95:
"Computer Organization (CS2222) e Parallel Computing (CS3012)" per "Progetto di
Sistemi Numerici": 20/30 in data 29/7/97;
"Operating Systems (CS3052)" per "Sistemi per l'Elaborazione dell'Informazione
II": 24/30 in data 29/7/97.
Antonio GUADAGNO in base alla documentazione (allegato .4), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati
presso la Leiden University (NL), per gli esami riconosciuti equipollenti con
precedente delibera n. 97 del 30/09/96.
"Numerical Mathematics" per "Calcolo Numerico": 19/30 in data 20/6/97.
Inoltre si certifica la partecipazione ad un corso di lingua olandese di
livello elementare e il superamento del relativo esame.
Roberta GIANNONI in base alla documentazione (allegato 5), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati
presso la Umea University (S), per gli esami contestualmente riconosciuti
equipollenti.
"Applied Probability and Inference Theory" per "Calcolo delle
probabilità e statistica": 22/30 in data 3/6/97.
Davide BRUNO in base alla documentazione (allegato 6), e alla delibera
n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la
Umea University (S), per gli esami contestualmente riconosciuti
equipollenti.
"Applied Probability and Inference Theory" per "Calcolo delle
probabilità e statistica": 29/30 in data 3/6/97;
"Numerical Linear Algebra" per "Calcolo Numerico": 29/30 in data 25/3/97.
Terry Lanfranco MURGIA in base alla documentazione (allegato 7), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati
presso la University of Manchester (S), per gli esami riconosciuti equipollenti
con precedente delibera n. 97 del 30/09/96:
"Operating Systems (CS2051)" e "Operating Systems (CS3052)" per "Sistemi per
l'Elaborazione dell'Informazione II": 20/30 in data 29/7/97;
"Maths (MT1242)" per "Calcolo Numerico": 30/30 in data 29/7/97.
Si riconosce inoltre il seguente voto per l'esame constestualmente
riconosciuto come equipollente: 1st year Math Option (MT1141) per "Calcolo
delle Probabilità e Statistica": 30/30 in data 29/7/97.
cont. Del. n. 93/6 del 03.10.97
Salvatore Massimiliano VIZZINI in base alla documentazione (allegato 8),
e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti,
riportati presso la University of Limerick (IRL) per gli esami riconosciuti
equipollenti con precedenti delibere n. 97 del 30/9/96, n. 22 del 22/01/97 e n.
37/03 del 7.03.97.
"Language Processors (CE4717)" per "Linguaggi di programmazione: linguaggi
formali e compilatori (LFC)": 30/30 in data 24/1/97;
"Computer Networks (CS4225)" per "Sistemi di Elaborazione dell'Informazione:
reti di calcolatori (SER)": 27/30 in data 24/1/97;
"Discrete Mathematics 1 (MS4111)" e "Linear Algebra 1 (MS4102)" per "Matematica
Discreta (MD)": 28/30 in data 30/5/97;
"Operations Research 1" per "Programmazione Matematica": 26/30 in data
24/1/97;
"Software Engineering 2 (CS4312)" per "Ingegneria del Software I (IS1)": 30 e
lode in data 30/5/97;
"Database Systems (CS4416)" per "Basi di dati I (BD1)": 30/30 in data
30/5/97;
"Artificial Intelligence (CS4816)" per "Intelligenza Artificiale 1 (IA1)": 30 e
lode in data 30/5/97;
"Digital Elettronics 2" per "Elettronica: sistemi Digitali": 30 e lode in data
30/5/97.
Inoltre si certifica la partecipazione al corso di lingua inglese "English as
a foreing language 2" e il superamento del relativo esame.
Giuseppe MILICIA in base alla documentazione (allegato 9), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati
presso la l'Università Vrije di Amsterdam (NL) per gli esami
riconosciuti equipollenti con precedenti delibere n. 97 del 30/9/96 e n. 22
del 22/01/97.
"Compiler Construction (WD074)" per "Linguaggi di Programmazione: linguaggi
formali e compilatori (LFC)": 30/30 e lode in data 22/8/97;
"Computer Networks (WD098)" per "Sistemi di Elaborazione dell'Informazione:
reti di calcolatori (SER)": 30/30 in data 22/8/97;
"Software Engineering (WD106)" per "Ingegneria del Software I (IS1)": 30/30 in
data 2/8/97;
"Object Oriented Programming (WD150)" per "Programmazione: modelli orientati
agli oggetti": 30/30 in data 22/8/97;
"Neural Networks" per "Reti Neurali I": 30/30 e lode in data 22/8/97.
PROGRAMMA SOCRATES: Studenti stranieri ospiti
Rafiq ISMAIL - nato a Londra, Gran Bretagna, il 13/06/75, proveniente da
The University of Birmingham (UK), viene iscritto al corso di Laurea in
Informatica nell'ambito del programma Socrates, per l'a.a. 1997/98, per seguire
corsi secondo il programma concordato.
Rutger DAHLSTROM - nato a Hortlax (Svezia) il 18/04/72, proveniente
dalla Uppsala University (S), viene iscritto al corso di Laurea in Informatica
nell'ambito del programma Socrates, per l'a.a. 1997/98, per seguire corsi
secondo il programma concordato.
cont. Del. n. 93/7 del 03.10.97
Luis Miguel ARMENDARIAZ ARAUZO - nato a Valencia (Spagna) il 10/10/76,
proveniente dalla Universidad Politecnica de Valencia, viene iscritto al corso
di Laurea in Informatica nell'ambito del programma Socrates, per l'a.a.
1997/98, per seguire corsi secondo il programma concordato.
Manuel JUAN ESCRIVA - nato a Sueca (Valencia - Spagna) il 3/09/74,
proveniente dalla Universidad Politecnica de Valencia, viene iscritto al corso
di Laurea in Informatica nell'ambito del programma Socrates, per l'a.a.
1997/98, per svolgere un progetto finalizzato alla presentazione di una tesi di
laurea.
Cesar FERRI RAMIREZ - nato a Quartell (Valencia - Spagna) il 19/02/74,
proveniente dalla Universidad Politecnica de Valencia, viene iscritto al corso
di Laurea in Informatica nell'ambito del programma Socrates, per l'a.a.
1997/98, per svolgere un progetto finalizzato alla presentazione di una tesi di
laurea.
Amparo BAVIERA VIVO' - nata a Picanya (Valencia - Spagna) il 14/06/74,
proveniente dalla Universidad Politecnica de Valencia, viene iscritto al corso
di Laurea in Informatica nell'ambito del programma Socrates, per l'a.a.
1997/98, per seguire corsi secondo il programma concordato.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 105
Anno Accademico 1996-1997 Seduta del 27.10.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 8
Argomento: Pratiche studenti
O G G E T T O
EQUIPOLLENZE
Si delibera l'equipollenza di "Metodi per il Trattamento dell'informazione"
del corso di laurea in Scienze dell'Informazione per "Fondamenti
dell'Informatica: Calcolabilità e Complessità" e "Fondamenti
dell'Informatica: Semantica" del corso di laurea in Informatica, mantenendo per
entrambi la votazione riportata nell'esame di "Metodi per il Trattamento
dell'informazione" .
Approvato all'unanimità.
PASSAGGI e ABBREVIAZIONI
Cisternino Antonio - Diplomato in Informatica (Pisa).
Si ammette al 4° anno del corso di Laurea in Informatica convalidando
"Programmazione I" per "Programmazione I + Lab. Inf. I", "ASD I + Lab. Inf. I"
per "ASD I + Lab. Inf. II", "Analisi matematica I" per idem, "Analisi
matematica II" per idem, "Matematica Discreta" per idem, "Arch. elab. I" per
"Arch. elab. I + Lab. Inf. III", "Calcolo delle Probabilità e Statistica
Matematica" per "Calcolo delle Probabilità", "Sis. op. I + Lab. Inf. II"
per "Sis. op. I + Lab. Inf. IV", "Calcolo Numerico (1 unità)" per
"Analisi Numerica (2 unità)" previo colloquio integrativo, "Basi di dati
e sist. inf." per "Basi di dati e sist. inf. I", "Sistemi elab. inf.: reti di
calc." per idem, "Ricerca Operativa (1 unità)" per "Programmazione
Matematica I (1 unità)", "Ingegneria del software I" per idem,
"Linguaggi di programmazione: class. macchine astratte" per "Linguaggi di
programmazione: paradigmi e macchine astratte" previo colloquio integrativo.
Si convalida inoltre "Matematica Computazionale: laboratorio"(1 unità)
per idem, "algoritmi e strutture dati: Crittografia"(1 unita') per idem,
"Linguaggi di Programmazione: Programmazione Sicura "(1 unita') per idem
purchè inserite in un coerente piano di studi.
Garzella Paolo - laureato in Scienze Biologiche (Pisa).
Si ammette al 2º anno del corso di diploma in Informatica convalidando
"Istituzioni di matematiche " per "Analisi matematica I" previo colloquio
integrativo, "Statistica" per "Calcolo delle probabilità e Statistica
Matematica".
cont. Del. n. 105/1 del 27.10.97
Caria Bruno - laureato in Ingegneria Nucleare (Pisa).
Si ammette al 2º anno del corso di diploma in Informatica convalidando
"Analisi algebrica " per "Analisi Matematica I", "Analisi Analitica" per
"Matematica Discreta".
Nonnis Marco - proveniente da corso di Laurea in Informatica (Pisa).
Si ammette al 2º anno del corso di diploma in Informatica convalidando
"Istituzioni di matematiche " per "Analisi matematica I" previo colloquio
integrativo, "Statistica" per "Calcolo delle probabilità e Statistica
Matematica".
Russo Alessandro - proveniente da Scienze dell'Informazione
(Firenze).
Si ammette al 3º anno del Diploma in Informatica sotto condizione.
Si convalidano gli esami di "Analisi Matematica I" per "idem", "Algebra (sem)"
e "Geometria (sem)" per "Matematica Discreta" con la votazione di 26/30,
"Teoria ed applicazione delle macchine calcolatrici" per "Programmazione I e
Lab. di Inf. I (3UD)" previa prova di laboratorio, "Calcolo Probab. e Stat.
(sem)" per "Calcolo Probab. e Stat. Mat. (1 UD)". "Calcolo Numerico (sem)" per
"Calcolo Numerico (1 UD)", "Sistemi per l'Elaborazione dell'Informazio ne I"
per "Architettura degli Elaboratori I e Lab. di Inf. III (3UD)" previa prova di
laboratorio.
Ciuni Giuseppe - proveniente da Ingegneria Informatica (Palermo).
Si ammette al 2º anno del Corso di Laurea in Informatica.
Si convalidano gli esami di "Analisi Matematica I" per "idem, "Fondamenti di
Informatica I" per la prova di laboratorio del corso di "Programmazione I e
Laboratorio di Informatica I (3UD)".
Marra Francesco - proveniente da Diploma in Informatica (Pisa).
Si ammette al 2º anno del Corso di Laurea in Informatica, convalidando gli
esami di comune denominazione.
Colomba Salvatore - proveniente da Scienze dell'Informazione (Pisa).
Si ammette al 3º anno del Corso di Laurea in Informatica.
Si convalidano gli esami di "Analisi Matematica I" per "idem", "Teoria ed
applicazione delle macchine calcolatrici" per "Programmazione I e Lab. di Inf.
I (3UD)" previa prova di laboratorio, "Calcolo Probab. e Stat. (sem)" per
"Calcolo Probab." (1 UD), "Ricerca Operativa e Gestione Aziendale" per "Ricerca
Operativa (1 U.D.), "Teoria degli Algoritmi e della Calcolabilità" per
"Algoritmi e strutture Dati I e Laboratorio di Informatica II (3UD)" previa
prova di laboratorio, "Fisica I" per "Fisica Generale I (2 UD)"; "Sistemi per
l'Elaborazione dei Dati I" per "Architettura degli Elaboratori I e Lab. di Inf.
III (3UD)" previa prova di laboratorio, "Sistemi per l'Elaborazione dei Dati
II" per "Sistemi Operativi I e Laboratorio di Informatica IV" previa prova di
laboratorio, "Metodi per l'Elaborazione dell'Informazione" per "Fondamenti
dell'Informatica: Calcolabilita' e Complessita'" + "Fondamenti
dell'Informatica: Semantica".
Pastore Andrea - proveniente da Informatica (Pisa).
Si ammette al 1º anno del diploma in Informatica.
cont. Del. n. 105/2 del 27.10.97
Volandri Annalisa - proveniente da Matematica (Pisa).
Si ammette al 2º anno del Corso di laurea in Informatica.
Si convalidano gli esami di "Geometria I" e "Algebra" per "Matematica Discreta"
con la votazione di venti (20) e "Analisi Matematica I" per idem.
Carrara Francesco - proveniente da Ingegneria Informatica (Pisa).
Si ammette al 1º anno del Corso di Laurea in Informatica.
Si convalida "Analisi Matematica I" per idem.
Lupo Valerio - proveniente da Scienze Biologiche (Pisa).
Si ammette al 1° anno del corso di diploma in Informatica.
Si convalida "Fisica " per "Fisica generale I".
Nencioni Leonardo - proveniente da Scienze geologiche, già
proveniente da Ingegneria Informatica (Pisa).
Si ammette (a richiesta dell'interessato) al 1º anno del Corso di Laurea
in Informatica.
Si convalidano gli esami di "Analisi Matematica I" per "idem, "Analisi
Matematica II" per "idem, "Fisica I" per idem", "Geometria" per "Matematica
Discreta" previo colloquio integrativo, "Fondamenti di Informatica I" per la
prova di laboratorio del corso di "Programmazione I e Laboratorio di
Informatica I (3UD)",
Stefanini Andrea - proveniente da Fisica (Pisa).
Si ammette al 1º anno del diploma in Informatica.
Si convalidano gli esami di "Analisi Matematica I" per "idem.
RETTIFICA DI DELIBERA
Mammini Michele - proveniente da Ingegneria Informatica (Pisa) è
stato ammesso al 3º anno del Corso di Laurea in Informatica sotto
condizione con delibera del 29/11/96. Dietro richiesta dell'interessato si
modifica tale delibera limitatamente alla convalida di "Ricerca Operativa" per
idem invece di "Ricerca Operativa" per "Ricerca Operativa e Gestione
Aziendale".
PROGETTO SOCRATES - RETTIFICHE DELIBERA
A rettifica della delibera n. 80/3 del 04.07.97, Maria Iaquinta
è autorizzata a sostenere i seguenti esami presso l'Università di
Valencia (S):
"Bases de Datos" più "Diseno de Bases de Datos" più uno tra
"Processament Cientific de TEXtos (Tex)" e "Entorno de trabajo para ordenadores
personales" per Documentazione Automatica (anzichè Bases de Datos
più Diseno de Bases de Datos più Processamente Cientific de
TEXtos (Tex) per Documentazione Automatica).
Inoltre "Sistemas Operativos 1" più "Sistemas Operativos 2" per
"Sistemi per l'elaborazione dell'informazione 2" (anzichè Sistemas
Operativos 1 più Estructura de Computadores 2, per Sistemi per
l'elaborazione dell'informazione 2).
cont. Del. n. 105/3 del 27.10.97
A rettifica della delibera n. 93/3 del 03.10.97, Giuseppina D'Andrea
è autorizzata a sostenere i seguenti esami presso l'Università di
Valencia (S):
"Sistemas Operativos 1" più "Sistemas Operativos 2" più uno tra
"La informatica en el sistema productivo" e "Entorno de trabajo para
ordenadores personales" per "Sistemi per l'elaborazione dell'informazione 2"
(anzichè Sistemas Operativos 1, più Estructura de Computadores 2,
più "La informatica en el sistema productivo" (ISP) per Sistemi per
l'elaborazione dell'informazione 2).
PROGETTO SOCRATES - sostituzione di corsi
Giuseppina D'Andrea è autorizzata a sostenere i seguenti esami
presso l'Università di Valencia (S):
"Estadistica 1" per "Calcolo delle Probabilità e Statistica".
Maria Iaquinta è autorizzata a sostenere i seguenti esami presso
l'Università di Valencia (S):
"Estadistica 1" per "Calcolo delle Probabilità e Statistica".
Marco Cavanna è autorizzato a sostenere i seguenti esami presso
la Ecole Normale Superieure (Parigi - F):
"Integration et Probabilites" per "Calcolo delle Probabilità e
Statistica","Systemes" per "Sistemi per l'Elaborazione dell'Informazione
II".
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 03
Anno Accademico 1997-1998 Seduta del 12.12.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 2
Argomento: Pratiche studenti
O G G E T T O
TESI DI LAUREA - Tesi in lingua straniera
Secondo quanto stabilito dal Consiglio con delibera n. 24 del 26.01.95, si
autorizza lo studente di STEFANO Dino a presentare la tesi di laurea in
lingua inglese in quanto la tesi è stata iniziata presso
l'Universita´ Vrije di Amsterdam (NL) durante il periodo in cui ha
usufruito di una borsa di studio ERASMUS.
Il Consiglio unanime approva.
PROGETTO SOCRATES
Rettifica delibera CCL n. 80 del 04.07.97:
Paola dalle Piagge e´ autorizzata a recarsi presso la Vrije
Universitet di Amsterdam (NL), anziche' Linkoping (S), per 10 mesi (anziche' 6)
a partire da Ottobre 1997, come studente Erasmus senza borsa, per svolgere una
tesi con relatore interno la Prof.ssa Antonina Starita.
Lapo Bernardini e´ autorizzato a recarsi presso la Vrije
Universitet (NL), per 10 mesi a partire da settembre 1997 e a sostenere i
seguenti esami:
"Computer Networks (WD098 - 4.5)" e "Parallel Computing" per Progetto di
Sistemi Numerici (anziche' "Computer Networks (WD098 - 4.5)" e "Introduction to
Parallel Computing");
Andrea Ficini e´ autorizzato a recarsi presso la Vrije Universitet
(NL), per 9 mesi a partire da settembre 1997 e a sostenere i seguenti esami:
"Computer Networks (WD098 - 4.5)" e "Parallel Computing" per Progetto di
Sistemi Numerici (anziche' "Computer Networks (WD098 - 4.5)" e "Introduction to
Parallel Computing").
Nuove autorizzazioni:
Francesca Brucciani a completamento della delibera n.93/3 del 03.10 97,
e' autorizzata ad aggiungere i seguenti esami: "Estadistica 1" per CPS.
cont. Del. 03/01 del 12.12.97
Riconoscimento esami:
Giuseppe MILICIA in base alla documentazione (allegato 1), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati
presso la l'Universita´ Vrije di Amsterdam (NL) per gli esami riconosciuti
equipollenti con precedenti delibere n. 97 del 30/9/96, n. 22 del 22/01/97 e n.
del 93/6 del 03.10.97:
"Computer networks (Practical Work, WD099)" per "Sistemi Operativi II": 26/30
in data 8/1/97;
"Software Engineering - Practical Work" per "Ingegneria del Software:
laboratorio di progettazione (ISL)": 27/30 in data 3/3/97;
"Human Computer Interaction (WD095)" e "User Interface Design" per "Interazione
uomo-macchina: aspetti ergonomici e psicologici" (titolo di corso non attivato
per l'anno accademico 1997/98, ma facente parte del nostro corso di studi):
30/30 in data 22/08/97;
"Principles of Programming Languages (WD039)" per "Linguaggi di Programmazione:
Paradigmi e Macchine Astratte": 30/30 con lode in data 1/10/97;
"Probability and statistics" per "Calcolo delle Probabilita´": 30/30 in
data 1/10/97;
"Architecture and Parallel Computing" per "Architetture 2": 30/30 in data
9/9/97.
Si riconosce inoltre il seguente esame contestualmente riconosciuto
equipollente: "Representation and Searching" per "Intelligenza Artificiale 1":
30/30 in data 1/10/97;
e si ribadisce la convalida del seguente esame, giá deliberato con
delibera n. 93/6 del 03.10.97: "Object Oriented Programming (WD150)" per
"Programmazione: modelli orientati agli oggetti" (titolo di corso non attivato
per l'anno accademico 1997/98, ma facente parte del nostro corso di studi):
30/30 in data 22/8/97.
Dino DI STEFANO in base alla documentazione (allegato 2), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati
presso la l'Universita´ Vrije di Amsterdam (NL) per gli esami riconosciuti
equipollenti con precedente delibera n. 37/03 del 07.03.97:
"Numerical Analysis I" per "Calcolo Numerico": 29/30 in data 16/6/97.
Si riconosce inoltre il seguente esame contestualmente riconosciuto
equipollente e che e´ stato inserito nell'ultimo piano di studi
approvato:
"Semantics" (WD145) per "Fondamenti dell'Informatica: Semantica": 30/30 e lode
in data 16/6/97.
Emanuele LUPIDI in base alla documentazione (allegato 3), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati
presso la l'Universita´ Vrije di Amsterdam (NL) per gli esami riconosciuti
equipollenti con precedente delibera n.37/03 del 07.03.97
"Numerical Analysis I" per "Calcolo Numerico": 29/30 in data 16/6/97.
Oscar CESARONE in base alla documentazione (allegato 4), e alla delibera
n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la
l'Universita´ Vrije di Amsterdam (NL) per gli esami riconosciuti
equipollenti con precedente delibera n.37/03 del 07.03.97
"Probability and Statistics" per "Calcolo delle probabilita´ e
statistica": 30/30 in data 12/9/97.
cont. Del. 03/02 del 12.12.97
Paola DALLE PIAGGE in base alla documentazione (allegato 5), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati
presso la l'Universita´ Vrije di Amsterdam (NL) per gli esami riconosciuti
equipollenti con precedenti delibere n. 111 del 31/10/96 e n. 37/03 del
7/3/97:
"WD039-Programming Language Principles" e "WD203-Semantics" per "Metodi per il
Trattamento dell'Informazione": 28/30 in data 10/10/97;
"WD181-Probability Theory and Statistics" per "Calcolo delle probabilita´
e statistica": 25/30 in data 10/10/97;
"WD098-Computer Networks" e "Architecture and Parallel Computing" per "Progetto
di Sistemi Numerici": 26/30 in data 10/10/97.
Santo ORLANDO in base alla documentazione (allegato 6), e alla delibera
n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso la
Vrije Universiteit Amsterdam (NL), per gli esami contestualmente riconosciuti
equipollenti:
"Object Oriented Programming Project" per "Elaborazione di Immagini": 29/30 in
data 24/7/96.
IMMATRICOLAZIONI STUDENTI STRANIERI
Antoaneta DIMITROVA DIMITROVA - cittadina italiana, con licenza di
scuola secondaria superiore conseguita in Bulgaria e valida per l'iscrizione
all'università.
Si ammette al 1º anno del Corso di Laurea in Informatica.
Approvato all' unanimitá.
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 06
Anno Accademico 1997-1998 Seduta del 16.01.98
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE
DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO
DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 2
Argomento: Proposte relative a Socrates
O G G E T T O
Il Presidente cede la parola alla prof.ssa Simi che illustra al Consiglio le
proposte relative a Socrates emerse dall'ultima riunione della Commissione
Didattica e riguardanti in particolar modo:
1) la possibilitá di discutere presso la sede ospitante tesi svolte
all'estero
2) il riconoscimento di esami senza corrispettivo locale
3) il nuovo bando Socrates per l'a.a. 1997/98
Dopo una ampia discussione, viene messa in votazione la seguente delibera:
1 - Gli accordi di scambio nell'ambito di Socrates sono basati su un rapporto
di fiducia reciproca tra universitá europee.
Allo studente che svolga un progetto di tesi presso una universitá
partner deve essere consentito di discutere la tesi secondo le regole e i
meccanismi previsti presso l'universitá ospitante.
Un relatore interno, di concerto con il relatore estero, suggerirá il
punteggio da dare alla tesi, che dovrá essere approvato dalla
Commissione di Laurea.
Lo studente dovrá comunque presentare la domanda di laurea e la tesi in
segreteria nei tempi previsti e presentarsi davanti alla Commissione di Laurea
per la proclamazione.
Approvato con 6 voti astenuti e un voto contrario.
2 - Per consentire il riconoscimento di esami svolti all'estero e che non
hanno un corrispettivo locale, in quanto
trattano argomenti non coperti da corsi attivati in sede, si propone che siano
usati nomi di corsi a statuto qualificati in modo da rispecchiare al meglio i
contenuti dei corsi fatti nella sede estera.
Approvato con 5 voti astenuti e un voto contrario.
3 - la scadenza del nuovo bando socrates per il 1997/98 sará il 15
maggio 1998. I candidati, al momento della presentazione dell'istanza, devono
essere in possesso dei requisiti di merito di seguito indicati per ciascun
corso di studio:
Laurea in Informatica:
a) essere iscritti almeno al III anno
b) aver superato almeno 14 unitá didattiche
Diploma in Informatica:
a) essere iscritti almeno al II anno
b) aver superato almeno 6 unitá didattiche
Scienze dell'Informazione
a) essere iscritti almeno al III anno
b) aver superato almeno 7 annualitá di esame
Approvato all'unanimitá.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 13
Anno Accademico 1997-1998 Seduta del 16.01.98
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 9
Argomento: Pratiche studenti
O G G E T T O
PROGETTO SOCRATES
Marco Biondi - dietro richiesta dell'interessato, si autorizza il cambiamento del piano di studi presentato per la
partecipazione al progetto Socrates e in particolare la sostituzione di "Elaborazione di Immagini" con
"Documentazione Automatica".
Riconoscimento esami
Cristiano MASI - in base alla documentazione (allegato 2), e alla delibera n. 62 del CCL del 24.06.94 si
riconoscono i seguenti voti, riportati presso la l'Universita` di Linkoping (S) per gli esami riconosciuti
equipollenti con precedente delibera n. 22 del 22.01.97:
"Numerical Methods II" per "Calcolo Numerico": 23/30 in data 21/8/97.
Robert Massimo Alfonsi - in base alla documentazione (allegato 3), e alla delibera n. 62 del CCL del 24.06.94
si riconoscono i seguenti voti, riportati presso la l'Universita` di Leiden (NL) per gli esami riconosciuti
equipollenti con precedenti delibere n. 111 del 31/10/96, n. 22 del 22/01/97.
"Numerical Mathematics A" per "Calcolo Numerico": 26/30 in data 6/1/1998;
"Kansrekening en Statistiek A" per "Calcolo delle Probabilità e Statistica": 26/30 in data 6/1/98.
Inoltre si certifica la partecipazione ad un corso intensivo di lingua olandese e il superamento del relativo
esame.
UNIVERSITA' DEGLI STUDI DI
PISA Delibera n. 19
Anno Accademico
1997-1998
Seduta del 27.03.98
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 3
Argomento: Ratifica Provvedimento di Urgenza n. 1 e n. 2
O G G E T T O
Il Presidente da lettura del Provvedimento di Urgenza n. 1 del 13 febbraio 1998, (allegato al
presente verbale) con il quale é stato deliberato sul nulla-osta alla prof.ssa Dionisia Francesetti
Cazzaniga, di recarsi in missione per otto giorni a Muscat e Aden e del Provvedimento di Urgenza
n. 2 del 25 marzo 1998, (allegato al presente verbale) con il quale é stato deliberato la
partecipazione dello studente Vittorio ROMANO al bando Socrates Erasmus Free Mover.
Il Consiglio unanime ratifica.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI
PISA Delibera n. 25
Anno Accademico
1997-1998
Seduta del 27.03.98
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 9
Argomento: Pratiche studenti
O G G E T T O
PROGRAMMA SOCRATES: Studenti stranieri ospiti
Umberto Jorge MARQUES DAS NEVES - nato a Coimbra Se Nova, Portogallo, il 19/06/75,
proveniente da Universidade de Coimbra (P), viene iscritto al corso di Laurea in Informatica
nell'ambito del programma Socrates, per l'a.a. 1997/98, per seguire corsi secondo il programma
concordato.
Raul Joel CARDOSO DOMINGOS - nato a Coimbra Se Nova, Portogallo, il 08/06/74,
proveniente da Universidade de Coimbra (P), viene iscritto al corso di Laurea in Informatica
nell'ambito del programma Socrates, per l'a.a. 1997/98, per seguire corsi secondo il programma
concordato.
PROGRAMMA SOCRATES: Ratifica provvedimento d'urgenza
Vittorio ROMANO è autorizzato a recarsi presso l'Università di Dortmund (Germania) per
svolgere il programma di studio in allegato alla delibera n. 19 del presente verbale. Il Consiglio si
impegna a riconoscere gli esami sostenuti all'estero ai fini del curriculum accademico dello
studente.
PROGRAMMA SOCRATES: Riconoscimento esami
Marco VISENTINI - in base alla documentazione (allegato n. 6) e alla delibera n. 62 del CCL del
24.06.94 si riconoscono i seguenti voti, riportati presso l'Università di Linkoping (S) per gli esami
riconosciuti equipollenti con precedente delibera n 80 del 4.07.97.
"Programming Theory (TDDA 43 - 6)" e "Logic Programming (TDDA 41 - 6.75)" per "Metodi
per il Trattamento dell'Informazione": 26/30 in data 28/1/98;
"Automatic Control (TSRT 15 - 6)" e "Computer Security (TSIT 83 - 3)" per "Elettronica":
27/30 in data 19/1/98.
Silvio BRANDANI - in base alla documentazione (allegato n. 7), e alla delibera n. 62 del CCL del
24.06.94 si riconoscono i seguenti voti, riportati presso l'Università di Linkoping (S) per gli esami
riconosciuti equipollenti con precedente delibera n 80 del 4.07.97.
"Programming Theory" (TDDA 43 - 6) e "Logic Programming" (TDDA 41 - 6.75) per "Metodi
per il Trattamento dell'Informazione": 26/30 in data 28/1/98;
"Database Technology" (TDDB 38 - 7.5) per "Documentazione Automatica": 26/30 in data
19/12/97.
Marco BIONDI - in base alla documentazione (allegato n. 8), e alla delibera n. 62 del CCL del
24.06.94 si riconoscono i seguenti voti, riportati presso l'Università di Linkoping (S) per gli esami
riconosciuti equipollenti con precedente delibera n 80 del 4.07.97.
"Numerical Analysis MN1" per "Calcolo Numerico": 26/30 in data 20/1/98.
Fioravante SANTANIELLO - ha seguito presso la Università Politecnica di Valencia il corso di
"Internet i Societat", valutabile 1 credito ECTS. Si allega relativo certificato e si chiede
l'inserimento di tale corso nella carriera dello studente.
PROGRAMMA SOCRATES: Sostituzione di corsi
Francesca BRUCCIANI è autorizzata a sostenere presso l'Università
Politecnica di Valencia
"Informatica Grafica in 3 dimensioni'' e "Informatica Grafica in 2 dimensioni'' per ''Elaborazione
di Immagini''.
Andrea FICINI è autorizzato a sostenere presso la Vrije Universiteit (Amsterdam, Olanda):
Neural Networks (WD158 con modulo 2A) per "Teoria dei Sistemi".
PROGRAMMA SOCRATES: Rettifica delibere
Giancarlo VOLPE è autorizzato a sostenere, presso l'Università di Limerick (IRL), a rettifica di
quanto già deliberato nel Consiglio del 3.10.97 con delibera n. 93, i seguenti esami:
"MA4704 Tech Math 4" anziché "Statistics 1" (MS4202) per Calcolo delle Probabilitá e
Statistica.
Tiziana CARUSO è autorizzata a sostenere, presso l'Università di Limerick (IRL), a rettifica di
quanto già deliberato nel Consiglio del 3.10.97 con delibera n. 93, i seguenti esami:
"MA4704 Tech Math 4" anziché "Statistics 1" (MS4202) per Calcolo delle Probabilità e
Statistica.
Marco RISATI è autorizzato a sostenere i seguenti esami presso il Queen Mary College di
Londra (UK): "Optimization Techniques in OR (MAS/215)" per "Programmazione Matematica"
anziché per "Ottimizzazione Combinatoria".
Fabrizio BALDAZZI - a rettifica della delibera n. 80 Anno Accademico 1996-1997 seduta del
04.07.97, è autorizzato a sostenere presso l'Università di Leiden (NL) l'esame di "Operating
Systemen" per "Sistemi per l'Elaborazione dell'Informazione II", e l'esame di "Formele Talen en
Automaten 1" per "Metodi per il Trattamento dell'Informazione" previo il superamento
dell'esame di "Fondamenti dell'Informatica: semantica" del nostro Corso di Laurea in
Informatica.
Matteo Alessandro BOTTALICO - a rettifica della delibera n. 93, Anno Accademico
1996-1997, seduta del 03.10.97, è autorizzato a sostenere presso l'Università di Manchester
(UK), ed in aggiunta a quelli approvati in precedenza, l'esame "Evaluation of Management
Information Systems" da convalidarsi come esame libero dal titolo "Basi di Dati e Sistemi
Informativi: Valutazione di Sistemi Informativi".
UNIVERSITA' DEGLI STUDI DI PISA
Delibera n. 49
Anno Accademico 1997-1998
Seduta del 25.06.98
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 5
Argomento: Approvazione graduatoria bandi Socrates
O G G E T T O
PROGETTO SOCRATES - Criteri per la formazione della graduatoria di merito
Il Prof. Bonuccelli riferisce sui criteri usati per
la formazione della graduatoria di merito.
Sono pervenute 45 domande: 7 da parte di studenti
del Diploma di Informatica, 12 da parte di studenti del Corso di Laurea
in Informatica, 26 da parte di studenti del Corso di Laurea in Scienze
dell'Informazione. Dodici studenti avevano 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 98 compreso)
- Il grado di conoscenza della lingua (coefficiente da 0.95 a 1)
- La validità del programma (coefficiente da 0.80 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 1)
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 TURI è autorizzato a recarsi presso la "University of
Limerick" (IRLLIMERIC 01, IRL), per 9 mesi a partire da settembre 1998,
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.
Valeria COSTA è autorizzata a recarsi presso la "University of
Newcastle upon Tyne (NEWCAST01, UK), per 3 mesi a partire da agosto 1998,
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.
Gianluca CARLETTI è autorizzato a recarsi presso il "Queen Mary
and Westfield College" (LONDON031, UK), per 6 mesi a partire da settembre
1998, 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.
Armando FELLA è autorizzato a recarsi presso il "Queen Mary and
Westfield College" (LONDON031, UK), per 6 mesi a partire da settembre 1998,
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.
Stefano GRIMALDI è autorizzato a recarsi presso il "Queen Mary
and Westfield College" (LONDON031, UK), per 6 mesi a partire da settembre
1998, 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.
Lorenza ROVETTI è autorizzata a recarsi presso la "University
of Bristol" (BRISTOL01, UK), per 9 mesi a partire da settembre 1998, 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.
Riccardo CHECCARELLI è autorizzato a recarsi presso il "Queen
Mary and Westfield College" (LONDON031, UK), per 6 mesi a partire da settembre
1998, 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.
Salvatore Massimiliano VIZZINI è autorizzato a recarsi presso
la "University of Limerick" (IRLLIMERIC 01, IRL), per 9 mesi a partire
da settembre 1998, per sostenere gli esami indicati nel piano di studio
allegato alla domanda di partecipazione al programma Socrates e per svolgere
la tesi di Laurea sul tema "Supporto a memoria condivisa alla programmazione
parallela" sotto la supervisione del Prof. M. Vanneschi.
Si approva il piano di studi presentato con la domanda.
Gaia MASELLI è autorizzata a recarsi presso la "University of
Limerick" (IRLLIMERIC 01, IRL), per 9 mesi a partire da settembre 1998,
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 GERI è autorizzato a recarsi presso l'Università
di Linköping (LINKOPING01 - S), per 6 mesi a partire da gennaio 1998,
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.
Marcello Alessandro DI PIETRA è autorizzato a recarsi presso
l'Università di Deusto (BILBAO02 - E), per 9 mesi a partire da ottobre
1998, 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 FOGLIETTA è autorizzata a recarsi presso l'Università
di Linköping (LINKOPING01 - S), per 6 mesi a partire da ottobre 1998,
per svolgere un progetto finalizzato alla tesi di laurea sotto la supervisione
del Prof. M. Bonuccelli.
Niccoletta CALAMITA è autorizzata a recarsi presso l'Università
Politecnica di Valencia (VALENCIA02 - E), per 9 mesi a partire da ottobre
1998, 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.
Michele DI FLORIO è autorizzato a recarsi presso la Vrije Universiteit
di Amsterdam (AMSTERDAM 02 - NL), per 9 mesi a partire da ottobre 1998,
per svolgere un progetto finalizzato alla tesi di laurea.
Marco CAVANNA è autorizzato a recarsi presso l'Università
di Paris-Sud (PARIS SUD XI - F), 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 e per svolgere una tesi di laurea
sotto la supervisione del Dott. Tarabella.
Si approva il piano di studi presentato con la domanda.
Silvio BRANDANI è autorizzato a recarsi presso l'Università
Nuova di Lisbona (LISBOA03 - P), per 6 mesi a partire da settembre 1998,
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 CARLESI è autorizzato a recarsi presso la Universiteit
van Amsterdam (AMSTERDAM01 - NL), per 6 mesi a partire da ottobre 1998,
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.
Alessio CIARDINI è autorizzato a recarsi presso l'Università
Politecnica di Valencia (VALENCIA02 - E), per 9 mesi a partire da ottobre
1998, 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.
Elisabetta FALCUCCI è autorizzata a recarsi presso l'Università
di Manchester (MANCHES01 - UK), 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.
Tiziano BARONTINI è autorizzato a recarsi presso l'Università
Nuova di Lisbona (LISBOA03 - P), per 9 mesi a partire da ottobre 1998,
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.
Stefano OLIVERI è autorizzato a recarsi presso la Vrije Universiteit
di Amsterdam (AMSTERDAM02-NL), per 9 mesi a partire da settembre 1998,
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.
Roberta MINUTI è autorizzata a recarsi presso la Vrije Universiteit
di Amsterdam (AMSTERDAM02 - NL), per 9 mesi a partire da settembre 1998,
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 BATTAGLIA è autorizzato a recarsi presso l'Università
di Valencia (VALENCIA01 - E), per 9 mesi a partire da ottobre 1998, 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.
Arcangelo CASAVOLA è autorizzato a recarsi presso l'Università
Politecnica di Valencia (VALENCIA02 - E), per 9 mesi a partire da ottobre
1998,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 l'Università
di Linköping (LINKPING01 - S), 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.
Giuseppina D'ANDREA è autorizzata a recarsi presso l'Università
Politecnica di Valencia (VALENCIA02 - E), per 9 mesi a partire da ottobre
1998, per sostenere gli esami indicati nel piano di studio allegato alla
domanda di partecipazione al programma Socrates e svolgere una tesi di
laurea. L'argomento della tesi riguarda lo sviluppo, in Delphi Pascal,
di un'interfaccia di aiuto al disegno di vincoli in basi di dati implementate
in Oracle. La tesi sara' svolta sotto la supervisione del Prof. Juan Carlos
Casamayor Rodenas dell'Universita' Politecnica di Valencia e il relatore
interno sara' il prof. Gualtiero Leoni dell'Universita' di Pisa.
Si approva il piano di studi presentato con la domanda.
Enrico DEL CIOPPO è autorizzato a recarsi presso l'Università
di Paris-Sud (PARIS SUD XI - F), 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.
Giacomo MILAZZO è autorizzato a recarsi presso la Vrije Universiteit
di Amsterdam (AMSTERDAM02 - NL), per 6 mesi a partire da settembre 1998,
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.
Alessia BOCELLI è autorizzata a recarsi presso l'Università
Nuova di Lisbona (LISBOA03 - P), per 9 mesi a partire da ottobre 1998,
per svolgere una tesi di Laurea sul tema delle reti neurali, con la supervisione
del Dott. Alessandro Sperduti come relatore interno.
Valentina GIAGHEDDU è autorizzata a recarsi presso l'Università
di Rennes (RENNES01 - F), per 9 mesi a partire da ottobre 1998, per sostenere
gli esami indicati nel piano di studio allegato alla domanda di partecipazione
al programma Socrates e per svolgere una tesi di Laurea su Basi di dati
e informazione incerta, con la supervisione del Prof. Gualtiero Leoni.
Si approva il piano di studi presentato con la domanda.
Simone Andrea RAPISARDA è autorizzato a recarsi presso l'Università
di Valencia (VALENCIA01 - E), per 9 mesi a partire da ottobre 1998, 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.
Samantha MUSCARÀ è autorizzata a recarsi presso l'Università
di Valencia (VALENCIA01 - E), per 9 mesi a partire da ottobre 1998, 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.
Igor NETTO è autorizzato a recarsi presso l'Università
di Uppsala (UPPSALA01), per 6 mesi a partire da ottobre 1998, 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.
Domenico Egidio COLAVERO è autorizzato a recarsi presso l'Università
Nuova di Lisbona (LISBOA03 - P) per 9 mesi a partire da ottobre 1998, per
sostenere gli esami indicati nel piano di studio allegato alla domanda
di partecipazione al programma Socrates e per svolgere una tesi di Laurea
nell'area delle basi di dati, con la supervisione del Prof. Gualtiero Leoni.
Si approva il piano di studi presentato con la domanda.
Giacomo BUA è autorizzato a recarsi presso l'Università
di Valencia (VALENCIA01 - E), per 9 mesi a partire da ottobre 1998, 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 GUADAGNI è autorizzato a recarsi presso l'Università
di Deusto (BILBAO02 - E), per 9 mesi a partire da ottobre 1998, 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
UNIVERSITA' DEGLI STUDI DI PISA
Delibera n. 52
Anno Accademico 1997-1998
Seduta del 25.06.98
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 8
Argomento: Pratiche studenti
O G G E T T O
IMMATRICOLAZIONE STUDENTI ERASMUS
Floortje ALKEMADE, nata a Hengelo (Paesi Bassi) il 10/11/75 e proveniente
dalla Vrije Universitet di Amsterdam (AMSTERDAM02 - NL), e` ammessa a trascorrere
un periodo di studio di 3 mesi presso l'Univrsita` di Pisa, per svolgere
un progetto sotto la supervisione del Dott. Fabio Paterno` del CNUCE.
PROGETTO SOCRATES: RICONOSCIMENTO ESAMI
Maria IAQUINTA: in base alla documentazione (allegato ), e alla delibera
n. 62 del CCL del 24.06.94, si riconoscono i seguenti voti, riportati presso
la Universita' Politecnica di Valencia (E), per gli esami riconosciuti
equipollenti con precedente delibera n. 105 del 27.10.97:
"Estatistica 1" per "Calcolo delle Probabilita' e Statistica": 30/30
in data 21.5.1998.
Giuseppina D'ANDREA: in base alla documentazione (allegato ), e alla
delibera n. 62 del CCL del 24.06.94, si riconoscono i seguenti voti, riportati
presso la Universita' Politecnica di Valencia (E), per gli esami riconosciuti
equipollenti con precedente delibera n. 105 del 27.10.97:
"Estatistica 1" per "Calcolo delle Probabilita' e Statistica": 26/30
in data 21.5.1998.
Terry Lanfranco MURGIA in base alla documentazione (allegato ), e alla
delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati
presso la University of Manchester (S), per gli esami riconosciuti equipollenti
con precedente delibera n. 97 del 30/09/96:
"Architectural Support for Languages and Operating Systems (CS2042)"
e "Parallel Computing (CS3012)" per "Progetto di Sistemi Numerici": 19/30
in data 21 maggio 1998.
Letto, approvato e sottoscritto seduta stante.
Il Segretario
Il Presidente
Maria Simi (simi@di.unipi.it)
| 
