Monday, March 8 (evening)
|
| 18.00 |
Special event: visit to the Museo Italiano Storico della Guerra (address: via Castelbarco 7 - Rovereto)
|
| 19.30 |
Welcome cocktail at the Museo Italiano Storico della Guerra in Rovereto
|
Tuesday, March 9
|
| 8.00 - 8.30 |
Registration of the participants
|
| 8.30 - 8.45 |
Welcome
|
| 8.45 - 9.15 |
Report on the activities for GC2 by Vladimiro Sassone
|
| 9.15 - 10:00 |
MYTHS
1. "A Dependently Typed Ambient Calculus", V. Sassone
2. "Type Based Discretionary Access Control", M. Bugliesi
|
| 10.00 - 10.30 |
Coffee break
|
| 10.30 - 11.15 |
MYTHS
3. "Coinductive Reasoning for Contextual Graph Rewriting", V. Sassone
4. "Probabilistic event structures for security protocols", D. Varacca
|
| 11.15 - 12:45 |
CRESCCO
1. "Minimum energy communication problems in ad hoc wireless networks", I. Caragiannis
2. "Scheduling malleable tasks with precedence constraints", H. Zhang
3. "The Power of Verification for One-Parameter Agents", P. Penna
4. "Frequency Assignment Problems on VMG-represented graphs", V. Papadopoulou
|
| 12.45 - 14.30 |
Lunch break
|
| 14.30 - 16.00 |
DART
1. "Principal Typings and True Rank 2 Intersection Typable Recursive Definitions", F. Damiani
2. "PolyA: True Type Polymorphism for Ambient Calculi", H. Makholm
3. "Principal typings for Java-like languages", D. Ancona
4. "Type Inference in Object Based languages", C. Anderson
|
| 16.00 - 16.30 |
Coffee break
|
| 16.30 - 18.00 |
PEPITO
1. "A Middleware Library for Efficient, Secure and Transparent Distribution of Language Entities", P. Brand
2. "Fault-tolerance in Structured Peer-to-Peer Overlay Networks", L. Onana-Alima
3. "Acute and TCP: specifying and developing abstractions for global computation", P. Sewell
4. "A physics-style approach to scalability of distributed systems", S. El-Ansary
|
Wednesday, March 10
|
| 8.30 - 9.00 |
Remarks by Leonardo Flores
|
| 9.00 - 10.30 |
MIKADO
1. "Controlling security policies in a distributed environment", F. Martins
2. "A Java package for class and mixin mobility in a distributed setting", L. Bettini
3. "A parametric model of migration and mobility", G. Boudol
4. "SafeDpi: a language for controlling mobile code", M. Hennessy
|
| 10.30 - 11.00 |
Coffee break
|
| 11.00 - 12.30 |
SECURE
1. "Trust as Evidence of Behaviour", K, Krukow
2. "The SECURE Framework", C. Jensen
3. "Implementing A Secure Kernel in a Global Computing Environment", C. Bryce
4. "Trust Lifecycle Management in a Global Computing Environment", S. Terzis
|
| 12.30 - 14.15 |
Lunch break
|
| 14.15 - 15.45 |
PROFUNDIS
1. "On the expressiveness of spatial logics", E. Lozes
2. "Behavioral-Spatial Specifications in a Logic for the Pi-Calculus", L. Caires
3. "Modelling and Minimising the Fusion Calculus using HD-automata", E. Tuosto
4. "Spi-calculus translated to pi-calculus preserving may-testing", M. Baldamus
|
| 15.45 - 16.15 |
Coffee break
|
| 16.15 - 17.45 |
DBGLOBE
1. "Building and Querying Small-Worlds in Global Computing", Y. Petrakis
2. "Data Management in a P2P Context with AXML", T. Milo
3. "Communities: Creating and Quering Ad-hoc Databases based on Concepts", C. Skouteli
4. "Space as a Primary Entity for Structuring Information in a Distributed Computing Environment", D. Pfoser
5. "Context Management in Mobile Service Discovery", C. Doulkeridis
|
Thursday, March 11
|
| 9.00 - 10.30 |
AGILE
1. "Laws for Location-Aware Architectures", J. Fiadeiro
2. "Mobile Extensions of UML Statecharts", D. Latella
3. "Property-Driven Development of Mobile Systems", H. Baumeister
4. "Shaped Hierarchical Architectural Design", D. Hirsch
|
| 10.30 - 11.00 |
Coffee break
|
| 11.00 - 12.30 |
FLAGS
1. "Congestion games and price of anarchy", E. Koutsoupias
2. "The impact of failure management on the stability of communication networks", C. Alvarez
3. "Computing Nash Equilibria for Scheduling on Restricted Parallel Links", B. Monien
4. "Efficient Algorithms for Data Propagation in Smart Dust Networks", P. Spirakis
|
| 12.30 - 14.15 |
Lunch break
|
| 14.15 - 15.45 |
DEGAS
1. "Performance Evaluation of Security Protocols specified in LySa", C. Bodei
2. "For-LySa: mapping UML into LySa", C. Montangero
3. "UML-based modeling processes to support automated performance and security validation", C. Chesta
4. "Software performance modelling using PEPA nets", S. Gilmore
|
| 15.45 - 16.15 |
Coffee break
|
| 16.15 - 17.45 |
MRG
1. "A resource-aware program logic for Grail", L. Beringer
2. "From resource type inference to certificate generation", M. Hofmann
3. "Resource certificates for small devices", H.-W. Loidl
|
| 19.00 |
Special event: visit of Cantine
Ferrari - Trento
|
| 20.00 |
Conference banquet at Cantine Ferrari - Trento
|
Friday, March 12
|
| 9.00 - 10.30 |
SOCS
1. "The KGP model for computational logic-based agents", F. Toni
2. "Interaction protocols in open societies: an abductive computational model for specification and verification", P. Torroni
3. "A platform for programming software agents in computational logic", K. Stathis
|
| 10.30 - 11.00 |
Coffee break
|
| 11.00 - 11.45 |
ASAP
1. "Advanced Specialization and Analysis for Pervasive Systems", M. Hermenegildo
|
| 11.45 - 12.10 |
PROFUNDIS
5. "Recovering resources in the pi-calculus", D. Teller
|
(14KB)
