Talks
- A theory of DbC for multiparty distributed interactions
IMT Lucca, October 21 2009
[pdf]
[ppt]
[html]
- Muse: Programming Multiparty Sessions for SOC
COORDINATION 2008, Oslo, June 6 2008
[pdf]
[ppt]
[html]
- Architectural Design Rewriting as Architectural Description Language
R2D2 2008, Microsoft Cambridge, May 12-13 2008
(Unfortunately, I couldn't attend the workshop for health reasons; the talk has been given by U. Montanari)
[pdf]
[ppt]
[keynote (zipped)]
[html]
- Muse: Programming Multiparty Sessions for SOC
Leicester, 29 November 2007
[pdf]
[swf]
[html]
- HD-Automata with Distinctions
BCTCS07, Oxford, 2-4 April 2007
[pdf]
[swf]
[html]
- Service Oriented Architectural Design
Athens, 3 September 2007
[pdf]
[swf]
[html]
- HD-Automata with Distinctions
BCTCS07, Oxford, 2-4 April 2007
[pdf]
[swf]
[html]
- Modelling and Using Application-Level QoS
Invited seminar at the Imperial College, London, December 14 2005
[Slides]
- Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
Presentation at FMCO2005, Amsterdam, November 1-4 2005
[Slides]
- Modelling Fusion Calculus using History-Dependent automata
Presentation at CALCO2005, Swansea, September 3 2005
[Slides]
- Specification and Verification in Service Oriented Computing
Leicester, August 9 2005 (Interview for a lectureship)
[Slides]
- Theories for Service Oriented Computing
Napoli, June 29 2005 (seminar)
[Slides]
- A Process Calculus for QoS-Aware Applications
Presentation at COORDINATION2005, Namur, April 21 2005
[Slides]
- SHReQ: A Framework for Coordinating Application Level QoS
Presentation at QAPL2005, Edinburg, April 3 2005
[Slides]
- A Declarative Approach to Wide-Area Network Programming with Service Level Agreement
Padova, February 6 2004 (seminar)
[Slides]
- Non-Functional Aspects of Wide Area Network Programming
PhD Dissertation defence, Dipartimento di Informatica, Pisa May 5 2003
[Slides]
- Non-Functional Aspects of Wide Area Network Programming
PhD Thesis internal presentation, Dipartimento di Informatica, Pisa March 28 2003
[Slides]
- KAOS: a KLAIM Extension for Reasoning on Programmable QoS
SP4 workshop, CNR-ISTI, Pisa July 19-20 2003
[Slides]
- A graphical calculus for Klaim nets
NAPOLI workshop, Dipartimento di Informatica, Pisa July ??-?? 2002
[Slides]
- Co-Algebraic HD-automata: Modularization of Reducer
PROFUNDIS workshop, Dipartimento di Informatica, Pisa June 10-11 2002
[Slides]
- History Dependent Automata: a Co- Algebraic definition, a Partitioning Algorithm and its Implementation
COMETA workshop, Dipartimento di Informatica, Udine May 21 2002
[Slides]
- Co-Algebraic Implementation of HD-automata - Partitioning Algorithm
PROFUNDIS internal workshop, Dipartimento di Informatica, Pisa May ??-?? 2002
[Slides]
- Co-Algebraic HD-automata: Implementation of a Partitioning Algorithm
PROFUNDIS workshop, INRIA, Sophia-Antipolis April 25-27, 2002
[Slides]
- A Calculus for Cryptographic Protocols
PROFUNDIS GC, Rovereto February 8-14, 2002
- A Debugging Calculus for Mobile Ambients
SAC01, Las Vegas (Nevada) March 13 2001
[Slides]
- Formalization of Security Aspects, Protocol Analysis and Verification
PhD Thesis Proposal, Dipartimento di Informatica, Pisa, 29 January 2001
[Slides]
- Graphs and Constraints for Coordination
NAPI Workshop, Microsoft Research Center, Cambridge June 7-8 2001
[Abstract]
[Slides]
- A Logical Framework for the spi calculus
Confer II, Paris November 25-26 1999
[Abstract]
[Slides]
- An Ada95 Implementation of a Network Coordination Language
COORDINA Meeting, CWI, Amsterdam January 12-16 2000
[Abstract]