Trustworthy Global Computing 2010

TGC 2010 - Program

TGC Program

24.2.2010

13:00 - 14:00 Lunch break
14:00 - 14:15 Welcome
14:15 - 15:45 Invited speakers
- Vladimiro Sassone. Trust in Crowds: Probabilistic Behaviour in Anonymity Protocol
- Davide Sangiorgi. Higher-order concurrency: termination and liveness properties
15:45 - 16:15 Coffee break
16:15 - 18:15 Session I: Types and Processes
- Jan Jakubuv and Joe Wells. Expressiveness of Generic Process Shape Types
- Laura Bocchi and Emilio Tuosto. A Java Inspired Semantics for Transactions in SOC
- Maxime Gamboni and António Ravara. Responsive Choice in Mobile Processes
- Davide Sangiorgi and Fabrizio Montesi. A model of evolvable components

9:00 - 10:30 Invited speakers
- Ugo Montanari. Toward a Game-Theoretic Model of Grid Systems.
- Guiseppe Persiano. Predicate Encryption for Secure Remote Storage.
10:30 - 11:00 Coffee break
11:00 - 13:00 Session II: Games and Concurrent Systems
- Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Maria Kyropoulou and Evi Papaioannou. The impact of altruism on the efficiency of atomic congestion games.
- Joaquim Gabarro, Peter Kilpatrick, Maria Serna and Alan Stewart. Stressed web environments as strategic games
- Roberto Bruni, Alberto Lluch Lafuente and Fabio Gadducci. An Algebra of Hierarchical Graphs
- Liliana D'Errico and Michele Loreti. Property-preserving refinement of concurrent systems
13:00 - 14:00 Lunch break
14:00 - 15:30 Museum
15:30 - 16:00 Coffee break
16:00 - 17:30 Invited speakers
- Don Sannella. Techniques for Resource Analysis of Java Bytecode
- Rocco De Nicola: ULTRAS: Unified Labelled Transition Systems

9:00 - 09:45 Invited speaker
- Gilles Barthe. An Overview of Certificate Translation
09:45 - 10:45 Session III: Certification of Correctness
- César Kunz. Certificate Translation for the verification of concurrent programs
- Frédéric Besson, Thomas Jensen, David Pichardie and Tiphaine Turpin. Certified Result Checking for Polyhedral Analysis of Bytecode Programs
10:45 - 11:15 Coffee break
11:15 - 13:15 Session IV: Tools and Languages
- Paolo Bertasi, Alberto Pettarin, Michele Scquizzato and Francesco Silvestri. A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments
- Ivan Lanese, Antonio Bucchiarone and Fabrizio Montesi. A Framework for Rule-based Dynamic Adaptation
- Ciancaglini Vincenzo, Liquori Luigi and Vanni Laurent. CarPal: interconnecting overlay networks for a community-driven shared mobility
- Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo and Emilio Tuosto. Refactoring Long Running Transactions: a Case Study
13:15 - 14:00 Lunch break
14:00 - 15:30 Session V: Probabilistic Aspects
- Paola Quaglia and Stefano Schivo. Approximate Model Checking of Stochastic COWS
- Chris Hankin, Flemming Nielson and Hanne Riis Nielson. Probabilistic Aspects: Checking Security in an Imperfect World
- Igor Cappello and Paola Quaglia. A Tool for Checking Probabilistic Properties of COWS Services