Courses Offered During the 1997-98
Academic Year
Coordination Models, Languages,
Architectures, and Applications (Prof. Paolo Ciancarini)
Titolo del Corso: Coordination Models, Languages, Architectures, and
Applications
docente: Paolo Ciancarini
durata: 20 ore
sede: Universita' di Bologna
periodo: October 1997
Programma:
1. A coordination language: Linda
2. Implementing Linda
3. Linda-like languages
4. Coordination models and languages
5. Coordination semantics
6. PoliS
7. Software Architectures and coordination
8. Formalizing sw architectures with coordination
9. Coordination application
10. Coordination and WWW
Slides:
http://www.cs.unibo.it/~cianca/wwwpages/coord_ToC.html
Game Semantics (Prof. V. Danos)
Titolo del Corso: Introduction to Game Semantics
docente: Vincent Danos (CNRS-Universite' Paris 7)
durata: 20 ore
sede: Universita' di Bologna
periodo: July 13-17 1998
Programma:
Semantics aims at building a formal, mathematical and workable account
of what a program does. In this field, games semantics has recently
taken on some importance. The purpose of this short course is to
explain why.
Familiarity with denotational semantics and the language \PCF\ would
be helpful, so would be some basic understanding of Linear Logic. But
nothing really is required in order to follow the course.
Games semantics replace the traditional modeling of type \& program as
set \& function with the richer notion of game \& strategy. The game
provides rules for players to interact, while strategies describe the
behavior of players during a match. Thus the dynamics of programs,
the way they handle information, is more accurately described than it
could possibly be in functional models.
In the last five years, lots of striking results (a solution to the
long-standing \PCF\ full-abstraction problem, to quote only one) have
emerged from games semantics. Sequential computations, read/write
mechanisms, catch/throw mechanisms have been better understood, as we
will demonstrate. Particular attention will be paid to the working
out of an operational intuition of those models. Games models, if
time permits, will also be presented from the logical viewpoint, that
is as models of Linear Logic.
Algoritmi Distribuiti (Prof. Alessandro
Panconesi)
Titolo del Corso: Algoritmi Distribuiti
docente: Alessandro Panconesi
durata: 20 ore
sede: Universita' di Venezia
Dipartimento di Informatica, via Torino 153, Mestre
Calendario:
La DURATA e' sempre la stessa: mattina 10-12, pomeriggio 14-16,
con 15 minuti di pausa nel mezzo.
1a settimana
martedi 2 giugno-- Venezia
venerdi 5 giugno-- Venezia
2a settimana
martedi 9 giugno-- Venezia
giovedi 11 giugno-- Bologna
3a settimana
lunedi 15 giugno-- Venezia
giovedi 18 giugno-- Bologna
4a settimana
martedi 23 giugno-- Venezia
venerdi 26 giugno-- Bologna
5a settimana
mercoledi 1 luglio-- Bologna
venerdi 3 luglio-- Venezia
Il corso e' di natura teorica e si pone come obbiettivo quello di
illustrare alcuni risultati della teoria del calcolo distribuito di
natura "fondamentale" nel senso che essi necessitano di una quantita'
minima di formalismo per poter essere dimostrati e al contempo
illustrano alcune delle problematiche tipiche del calcolo distribuito.
Per questi motivi, e data l'importanza del calcolo distribuito, penso
che il corso possa essere utile a tutti, indipendentemente dalla
specializzazione presente o futura di ciascuno. Non e' richiesto
nessun requisito particolare. Verranno assegnati dei compiti
settimanali e saranno distribuite delle dispense (in inglese) scritte
da me. E' previsto anche un esame finale, quasi sicuramente sotto
forma di take-home.
Programma: Un programma di massima e' il seguente. Dati i limiti di
tempo, probabilmente solo una piccola parte delle voci asteriscate
potra' essere svolta:
1. Byzantine Agreement
1a. impossibility results
1b. algorithms
2. Consensus in asynchronous systems
2a. impossibility results
2b. existence of randomized solutions
2c. unreliable failure detectors
3. Consensus in synchronous systems with crash failures (*)
3a. lower bound on the number of rounds to achieve consensus
3b. k-agreement
4. Self-stabilization
5. Wait-freedom
6. algoritmi su grafi (*)
6a. maximal independent sets and small probability spaces
6b. network decomposition
7. routing in parallel architectures (*)
7a. lower bound for deterministic oblivious routing
7b. Randomization is provably more powerful than determinism:
Valiant-Brebner routing scheme
Altre tematiche (per esempio leader election o resource allocation)
potranno essere affrontate tramite gli esercizi.
----
Type Systems per Linguaggi Object Oriented
(Prof. Michele Bugliesi)
Titolo del Corso: Type Systems per Linguaggi Object Oriented
docente: Michele Bugliesi
durata: 20 ore
sede: padova
periodo: Luglio 1998
Programma:
- Introduzione ai sistemi di tipi con polimorfismo ed inclusione di tipi.
- Linguaggi Object Oriented: motivazioni, terminologia, modelli.
- Sistemi di tipi per linguaggi a oggetti.
. Modelli object-based.
. Modelli class-based.
. Encodings nel Lambda Calcolo.
Introduzione alla Programmazione Parallela
(Prof. Andrea Pietracaprina)
Titolo del Corso: Introduzione alla Programmazione Parallela
docente: Andrea Pietracaprina
durata: 20 ore
sede: padova
periodo: Da definirsi dopo l'estate 1998.
Programma (preliminare):
- Introduzione al calcolo parallelo (10 ore circa)
- Programmazione parallela su reti di workstation e/o
(se disponibili) su macchine parallele. (10 ore circa)
Prerequisiti: Conoscenza del linguaggio C
|
|
