Advanced courses / tutorials
- 6-13 November 2023
- 4-17 November 2022
- 2-13 November 2020
- 25-29 November 2019
- 12 - 22 February 2024
- 27 March - 6 April 2023
- 9 May - 16 June 2022
- 30 June 2015 - 16 July 2015
Invited lectures / tutorials
- 15/6/2020: Choreographic Development of Message-Passing Applications - A Tutorial DisCoTec 2020
- 28/01-2/02/1/2024: Quantitative Techniques Dagstuhl Seminar: 24051 Next Generation Protocols for Heterogeneous Systems
- 4-7/9/2023: On Behavioural Types for Robotic Systems Robotics and Software Engineering (RSE’23)
- 26-30/6/2023: Problems in implementing concurrency models and in modelling concurrent abstractions. Two case studies Open Problems in Concurrency Theory 2023
- 27/7/2022: Automata for Choreographies NOVA LINCS FCT-UNL (Lisbon, Portugal)
- 26/2/2020: Behavioural APIs & choreographic development NOVA LINCS FCT-UNL (Lisbon, Portugal)
- 14/2/2020: Behavioural APIs & choreographic development FCUL (Lisbon, Portugal)
- 22/2/2019: A choreographic approach to the design of (message-passing) software McAfee Cordoba (Argentina)
- 16-02-2019 al 17-02-2019: Message-passing, choreographically International Symposium on the Mathematical Foundations of Software Engineering (Rio Cuarto, Argentina)
- 19/9/2018: On pomsets as models of asynchronous message-passing languages Department of Computer Science (Bologna, Italy)
- 21/04/2017: Choreographies for Communicating Systems GSSI (L’Aquila, Italy)
- 17/6/2017: Think ontologically: An Introduction to the use of Ontologies in Archaeology and Digital Humanities Department of Arcaeology, University of Leicester
- 28/11/2016: Think global, Act local. Semantics and application of a choregraphy-based approach University of Kent (UK)
- 9 - 12 May 2016: Introduction to behavioural types Laurea Magistrale in Informatica (2015/2016) - Università di Padova (IT)
- 11 - 15 April 2016: Introduction to distributed choreographies Birmingham (UK)
- 21/10/2014: Think global, act local! or the other way around? A (gentle?) introduction to distributed choreographies Royal Holloway (UK)
- 11/5/2014: Think Ontologically. A Crash Course on Ontology Modelling for Archaeologists Faculty of Archaeology of Leiden (The Netherlands)
- December 2012: Interactions, automata, and names Pisa (IT)
- 28 March - 1 April 2010: Protocol Verification Sheffield (UK)
- 16-19 October 2007: Synchronised Hyperedge Replacement as a Model for Service Oriented Computing Copenhagen (DK)
- 8-12 April 2006: Concurrency and Mobility Leicester (UK)