|
Giovedì 19 |
Venerdì 20 |
Sabato 21 |
08:30 |
Registration |
|
|
09:00 |
Invited Speaker: Giuseppe Longo
Al di là della
codifica: un quadro concettuale per l'informazione e la complessità nei fenomeni naturali
|
Invited Speaker: J. Meseguer
Logical and Metalogical Frameworks: The Rewriting Logic Experience |
Discussion:On the Global Computing Initiative
M. Bugliesi - Myths
A. Corradini - Agile
M. Dezani - Dart
U. Montanari - Profundis
|
|
Lambda Calculus and Logical Semantics |
Enriched Categories, Automata, Rewriting |
10:00 |
An update on the semantics of lambda-calculus
F. Honsell
[abstract]
|
An analysis technique for graph transformation systems
P. Baldan, A. Corradini, B. Koenig
[abstract]
|
10:25 |
Logical semantics and PER models
U. De' Liguoro
[abstract]
|
From Graph Rewriting to Logic Programming
I. Lanese, U. Montanari
[abstract]
|
10:50 |
Coffee Break |
Coffee Break |
Break |
11:20 |
Two Behavioral Lambda Models
M. Dezani, S. Ghilezan, S. Likavec
[abstract]
|
Hierarchical automata and the Cospan Span model
N. Sabadini, R. Walters
[abstract]
|
Position Statements
F. Honsell, U. Montanari, S. Ronchi Della Rocca, N. Sabadini
|
11:45 |
On topologies in lambda-calculus
A. Salibra
[abstract]
|
Automi temporizzati distribuiti
N. Sabadini, R. Walters
[abstract]
|
12:10 |
Towards a Framework of Structure and Meaning
M. Miculan, I. Scagnetto
[abstract]
|
Consistent composition and testing of components using ASM
E. Riccobene, A. Gargantini, M. Nicolosi Asmundo
[abstract]
|
Discussione sul secondo anno di CoMeta e nuove proposte
|
12:35 |
Symbolic Equivalences for Open Systems
P. Baldan, A. Bracciali, R. Bruni
[abstract]
|
Iterative characterizations of computable functions on PostScript objects
G. Germano, S. Mazzanti
[abstract]
|
13:00 |
Lunch [Menu] |
Lunch [Menu] |
|
14:30 |
Invited Speaker: R. De Nicola
I progetti NAPOLI (Network Aware Programming: Oggetti, Linguaggi,
Implementazioni) e MIKADO (Mobile Calculi based on Domains)
|
Invited Speaker: R. Gorrieri
Il progetto MEFISTO (Metodi Formali per la Sicurezza)
|
|
Objects and Coalgebras |
Modelling Calculi for Mobility |
15:30 |
Bialgebraic account of objects and classes
M. Lenisa
[abstract]
|
Algebraic-Coalgebraic models for mobile calculi
M. Buscemi, U. Montanari
[abstract]
|
15:55 |
A type sound formalization of imp-sigma in Coq
A. Ciaffaglione, L. Liquori, M. Miculan
[abstract]
|
Linear Ordered Graph Grammars for Mobile Systems
A. Corradini, U. Montanari, L. Ribeiro
[abstract]
|
16:20 |
Coffee Break |
Coffee Break |
16:50 |
Towards Web Sites' Analysis Based On Coalgebras
D. Cancila, F. Honsell, M. Lenisa
[abstract]
|
A HOAS-based encoding of Typed Ambients in Coq
M. Miculan, I. Scagnetto
[abstract]
|
17:15 |
Comparing recursive and corecursive definitions of fixed points
P. Di Gianantonio
[abstract]
|
Graphs, Tiles and the Ambient Calculus
F. Gadducci, U. Montanari
[abstract]
|
17:40 |
Tiered objects: a guided tour
F. Cardone
[abstract]
|
A Filter Model for Safe Ambient Calculus
I. Margaria, M. Zacchi
[abstract]
|
18:05 |
An intuitionistic model of Delta02-maps using Parallel Computations
S. Berardi
[abstract]
|
TBA
V. Sassone
[abstract]
|
|
|
20:45 |
Cena Sociale Trattoria dalle Zanze
[Menu]
|