Logo

Primo Workshop del Progetto MIUR

CoMeta - Computational Metamodels

CoMeta

Home

Contributi

Organizzazione

Registrazione

Programma

Pernottamento

Informazioni Generali

Programma Preliminare

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]