English Language 1 Tutor

Si comunica che la dott.ssa Caterina Cambosu, tutor di lingua inglese a supporto degli studenti del I anno (entrambi i corsi), inizierà la sua attività di ricevimento in aula Mercoledì 4 dicembre, dalle ore 12.00 alle ore 14.00 presso l’aula 9.

Questa attività di tutoraggio sarà dedicata specialmente agli studenti che hanno in programma di sostenere l’esame Inglese 1 durante gli appelli di Gennaio e Febbraio 2015, ma è naturalmente aperta a tutti gli studenti dei primi anni.

Choreographies in the wild

Upcoming paper (to appear in Science of Computer Programming)


M. Bartoletti, J. Lange, A. Scalas and R. Zunino

Abstract. We investigate the use of choreographies in distributed scenarios where, as in the real world, mutually distrusting (and possibly dishonest) participants may be unfaithful to their expected behaviour. In our model, each participant advertises its promised behaviour as a contract. Participants may interact through multiparty sessions, created when their contracts allow to synthesise a choreography. We show that systems of honest participants (which always adhere to their contracts) enjoy progress and session fidelity.

Programma Letteratura Italiana 3 (a.a. 2014-2015): Petrarchismo/petrarchismi

A.A. 2014-2015   LETTERATURA ITALIANA 3: Petrarchismo/petrarchismi   A) TESTI LIRICI IN PROGRAMMA:   1) PETRARCA, RVF:  1-5; 22 e 66; 61-62; 64 e 240; 153-154; 77-78; 90; 143; 196-198; 270-271; 365.   2) DELLA CASA, Rime:     1, 2, 8, 13, 14; 17; 21; 25-26; 30-31; 32; 33 -34; 35, 37; 47; 48-49; 52; 54; 61; 62-64.   3) Gaspara STAMPA, Rime:     1-12 [v. pp. 1-2 del nuovo PDF pubblicato nel sito]   4)  tutti i testi  del PDF Sonetti proemiali che sono stati analizzati nel corso delle lezioni.   B) AVVERTENZA: La maggior parte dei componimenti sopra [...]