\documentstyle[a4]{article}
%\documentstyle[a4,11pt]{article}

\parindent=0pt
\parskip=4pt plus 2pt minus 1pt

\setlength{\leftmargini}{\labelsep}
\addtolength{\leftmargini}{\labelsep}
\setlength{\leftmarginii}{\labelsep}
\setlength{\leftmarginiii}{\labelsep}

\begin{document}

\title {Scuola Nazionale dei Dottorati\\ di Informatica
delle Facolt\`{a} di Scienze}
\author{Siena, 26 Maggio - 5 Giugno 1996}
\date{}
\maketitle

Su proposta del Coordinamento Nazionale dei Dottorati di Ricerca di
Scienze in Informa\-tica, \`{e} stata istituita una Scuola estiva di
Informatica, rivolta agli studenti di dottorato, con cadenza annuale.
%
Scopo della Scuola \`{e} garantire una maggiore omogeneit\`{a}
culturale, assicurare lo scambio di esperienze fra studenti di varie
sedi, e permettere di razionalizzare le iniziative di formazione,
rendendo i corsi fruibili da un maggior numero di studenti e
concentrando gli investimenti.
%
Le attivit\`{a} della Scuola vengono coordinate con quelle di altre
Scuole, quale quella organizzata dai Dottorati in Ingegneria Informatica.
%
La Scuola avr\`{a} luogo presso la Certosa di Pontignano, Centro
Congressi dell' Universit\`{a} di Siena. La Scuola del 1996 avr\`{a} la
durata di 10 giorni.

\paragraph{Iscrizione alla Scuola.}
I partecipanti verranno alloggiati in camere doppie all' interno della
Certosa di Pontignano, che \`{e} situata in posizione incantevole a
pochi chilometri da Siena.
%
La quota d' iscrizione \`{e} di
Lit. 1.200.000 (Lit. 1.100.000 se versata prima del 28 Febbraio)
e comprende il trattamento di pensione completa dal pomeriggio del 26
Maggio alla mattina del 5 Giugno.
%
Potranno essere accettate le domande
di partecipazione di non pi\`{u} di 40 studenti. Si invitano pertanto
gli interessati ad inoltrare la domanda di partecipazione al pi\`{u}
presto e comunque non oltre il 15 Aprile 1996, compilando il modulo
allegato ed inviandolo al Servizio Congressi dell' Universit\`{a} di
Siena.

\paragraph{Corsi.}
La scuola prevede 3 corsi di circa 20 ore:
\begin{itemize}
\item
{\em Basi di Dati}\\
docente: Prof. Elisa Bertino (Universit\`{a} di Milano)

Il corso e' organizzato in due parti: nella prima si introducono i
modelli dei dati ed i linguaggi per la manipolazione dei dati, nella
seconda si presentano alcuni aspetti relativi alle tecniche di
ottimizzazione delle interrogazioni.
\begin{itemize}
\item
Il modello relazionale: l'algebra relazionale, operazioni di modifica,
viste, modifiche attraverso le viste. Il modello relazionale con vincoli.
\item
Modelli dei dati orientati ad oggetti: concetti di oggetto, identita',
classe, ereditarieta', overloading, polimorfismo, overriding.  Il modello
Chimera. Cenni ai linguaggi di interrogazione per basi di dati ad oggetti.
\item
Basi di dati attive: triggers, proprieta' di terminazione e confluenza.
\item
Strutture di accesso per basi di dati: B-alberi e B+-alberi; cenni
alla tecnica di hashing estendibile. Ottimizzazione di interrogazioni in
basi di dati
relazionali: stima dei costi e dei fattori di selettivita'.
\item
Strutture di accesso specializzate per basi di dati ad oggetti: path index,
nested-inherited index. Indexing graph e problema dell'allocazione ottima.
\end{itemize}

Testi di riferimento:
\\
J. Ullman, "Principles of Database and Knowledge-Base Systems"
(Volume 1), Computer Science Press.
\\
E. Bertino, L. Martino, "Object-Oriented Database Systems - Concepts and
Architectures"  Addison-Wesley International, 1993.

Modalita' di esame:
piccola ricerca su tema da concordare con il docente.

\item
{\em Concorrenza}\\
docente: Prof. Ugo Montanari (Universit\`{a} di Pisa)

Il corso introduce la semantica della concorrenza, con particolare
attenzione ai sistemi a scambio di messaggi ed agli aspetti non
interleaving (true concurrency).
\begin{itemize}
\item
Le reti di Petri. Sistemi C/E e reti P/T. Reti di occorrenza
deterministiche e nondeterministiche. Processi non
sequenziali. Strutture di eventi. Domini algebrici primi.
\item
Il CCS. Alberi di sincronizzazione. Bisimulazione.
Equivalenza/congruenza osservazionale forte e debole. Osservazioni non
interleaving. Equivalenze basate sulla localit` e sulla causalita'.
\item
Il pi-calcolo. Semantiche early, late e open. Pi-calcolo
higher-order. Linguaggi funzionali concorrenti.
\item
Concorrenza in sistemi di transizioni con struttura algebrica (p.e.
reti di Petri, sistemi di riscrittura di grafi); modelli di calcolo per
la programmazione concorrente con vincoli; sistemi di riscrittura di
termini; modelli concorrenti per il lambda-calcolo.
\end{itemize}

Modalita' di esame: 
da stabilire

\item
{\em Sistemi Operativi}\\
docente: Prof. Paolo Ciancarini (Universit\`{a} di Bologna)

\begin{itemize}
\item
Richiami sull'architettura dei sistemi operativi
\item
Sistemi operativi distribuiti
\item
Cenni su linguaggi di programmazione distribuita e coordinazione
\item
Il middleware di Internet e dei principali servizi di rete
\item
Nuove tecnologie software (oggetti distribuiti ed interoperabili)
\end{itemize}

Testo di riferimento:
Tanenbaum, Distributed Operating Systems, 1995

Modalita' di esame:
piccolo progetto.

\end{itemize}
I partecipanti dovranno sostenere l'esame su almeno due corsi. Le
modalita' di esame sono indicative, esse saranno precisate all'inizio
del corso.

\paragraph{Ulteriori informazioni.}
%
Chiarimenti posso essere chiesti per e-mail a:
\\
scuola-dottorato@diana.disi.unige.it.

\end{document}


\documentstyle[a4,11pt]{article}

\parindent=0pt

\begin{document}
\title {Scuola Nazionale dei Dottorati\\ di Informatica
delle Facolt\`{a} di Scienze}
\author{Siena, 26 Maggio - 5 Giugno 1996}
\date{MODULO DI ISCRIZIONE}
\maketitle
%
Restituire il modulo a:
\begin{tabular}{|ll|}
\hline
&Universit\`{a} degli Studi di Siena,
 Dipartimento di Matematica\\
&Via del Capitano 15,
 53100 Siena\\
&fax: 0577 263730\\
\hline
\end{tabular}

\bigskip
% SOSTITUIRE LE PARTI SCRITTE IN MAIUSCOLO CON LE INFORMAZIONI RICHIESTE
%
\begin{tabular}{llll}
& COGNOME\\
& NOME\\
& UNIVERSITA'\\
& DIPARTIMENTO\\
& INDIRIZZO\\
& CODICE POSTALE & CITTA' \\
& tel: TELEFONO & fax: FAX & email: INDIRIZZO ELETTRONICO\\
\end{tabular}

\bigskip
Voglio condividere la camera con COGNOME NOME\\
(se tale informazione non e' fornita l'abbinamento sara' fatto dagli
organizzatori)

\bigskip
{\bf Quote d'iscrizione}

\begin{tabular}{||ll|l||}\hline
& Prima del 28 Febbraio & Dopo il 28 Febbraio\\
& Lit. 1.100.000 & Lit. 1.200.000\\\hline
\end{tabular}

\bigskip
{\bf Forma di pagamento}
\begin{itemize}
\item
Assegno numero ......... della banca ......................\\
L'assegno deve essere pagabile a Universit\`{a} di Siena.

\item
Bonifico bancario sul conto 50400 della Tesoreria del Monte dei
Paschi di Siena, intestato a Universit\`{a} di Siena
(cod.~ABI: 1030.6, cod.~CAB 14200.0),
indicando nella causale del versamento la sigla SCDINF\\
Numero del mandato ....... eseguito il .......... dalla banca
.............
\end{itemize}
%
Nel caso di pagamento con bonifico bancario inviare il modulo per fax al
Dipartimento di Matematica (0577 263730) alla attenzione di Antonella
Vaglini.
%
Non si accettano iscrizioni non accompagnate dal pagamento.

\bigskip
\begin{tabular}{lll}
& Data ............ & Firma .........................
\end{tabular}

\bigskip
Mandare copia del modulo per e-mail a
{\bf scuola-dottorato@diana.disi.unige.it}

\end{document}