User Tools

Site Tools


programma

23 luglio

11:00 - 11:40 Fabio Gadducci: Encoding synchronous and asynchronous interactions using open Petri nets
11.40 - 12:20 Andrea Margheri: On Programming and Policing Autonomic Computing Systems
12:20 - 13:00 Francesco Tiezzi: Modeling adaptation with a tuple-based coordination language

13:00 - 14:20 Lunch

14:20 - 15:00 Ugo Montanari: Declarative vs Procedural Approach for SCSP with an Application to an E-mobility Optimization Problem
15:00 - 15:40 Stefania Gnesi: Challenges in modelling and analyzing quantitative aspects of a bike-sharing product line

15:40 - 16:00 Coffee break

16:00 - 16:40 Ferruccio Damiani: A formal foundation for dynamic delta-oriented software product lines
16:40 - 17:20 Lorenzo Bettini: Generic Traits for the Java Platform

20:00 Cena al Ristorante Baia degli Angeli, raggiungibile a piedi (5-10 minuti) dagli alberghi consigliati in zona Albaro ( indicazioni stradali)

24 luglio

9:00 - 9:40 Mariangiola Dezani: On the Preciseness of Subtyping in Session Types
9:40 - 10:20 Andrea Corradi: Sound and complete subtyping between coinductive types for object-oriented languages

10:20 - 10:40 Coffee break

10:40 - 11:20 Viviana Mascardi: A formalism and a framework for distributed runtime verification of multiagent systems

11:20 - 12:00 Rocco De Nicola :: talkDeNicola

programma.txt · Last modified: 2014/07/24 14:48 by unige