Ivan Lanese's Home Page
Work
Job history
- 1 October 2023- ? : permanent member of the INRIA Team OLAS
- 16 July 2018 - ? : associate professor in Computer Science at University of Bologna
- 1 March 2011-30 September 2023: permanent member of the INRIA Team FOCUS
- 1 March 2011-15 July 2018: researcher in Computer Science at University of Bologna
- 1 January 2010-28 February 2011: temporary member of the INRIA Team FOCUS
- 9 December 2009-28 February 2011: tutor for the course of Operating Systems inside the degree in Computer Science for Management at University of Bologna
- 6 March 2009-28 February 2011: temporary senior research fellow in Computer Science at University of Bologna
- 11 January 2006-28 February 2009: post-doc in Computer Science at University of Bologna
- 26 June 2006: discussed the Ph.D. thesis, titled "Synchronization Strategies for Global Computing Models" ( .ppt ), before the external commission
- 11 April 2006: discussed the Ph.D. thesis, titled "Synchronization Strategies for Global Computing Models" ( .ppt ), before the internal commission
- January 2003-June 2006: Ph.D. student in Computer Science at University of Pisa
- 12 December 2003: taken a minor degree (Diploma di Licenza) at Scuola Normale Superiore of Pisa with full marks (70/70 cum laude)
with a thesis titled "A Graph-based Framework for Fusion Calculus"
(.ppt)
- 15 May 2002-14 November 2002: contract-holder at University of Pisa
- 26 April 2002: taken the master degree in Computer Science with full marks (110/110 cum laude)
at University of Pisa with a thesis titled
"Process Synchronization in Distributed
Systems via Horn clauses"
Editorial board membership
Steering committee membership
Conference organization
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
Teaching in university courses
I am currently teaching Computer Architecture (first cycle degree in Computer Science), Microservice-based Software Architectures (second cycle degree in Computer Science), Introduction to Quantum Computing (second cycle degree in Computer Science) and Computational Methods for Bioinformatics (second cycle degree in Bioinformatics). See here for more information.
I also have experience in teaching Programming, Algorithms and Data Structures, Software Engineering, Data Bases, and Operating Systems.
Teaching in summer schools
I participated as a trainer to:
- the 1st ADAPT Summer School (26 Sep. - 2 Oct., 2010, Koblenz, Germany), giving a course titled "Rule-based Dynamic Adaptation" (slides: .pdf, demo code)
- the International Training School on Reversible Computation (28 Aug. - 31 Aug., 2017, Torun, Poland), giving a course titled "Reversibility for Concurrent Interacting Systems" (slides: .pdf, demo code)
- the Leicester Summer School: Behavioural Approaches for API-Economy with Applications (8 Jul. - 12 Jul., 2019, Leicester, UK), giving a course titled "Choreographic Programming of Adaptive Applications" (slides: .pdf, .odp , demo material)
Teaching in PhD Courses
I taught a 10 hours course on "Reversible Computing" at the Department of Mathematics and Computer Science of University of Cagliari on July 15-19, 2013 (slides: 1 2 3 4 5).
Presentations
- 5 December 2024, RC workshop @ Nagoya: speaker in a talk titled "Reversible Debugging of Erlang Programs in CauDEr" ( .odp , .pdf )
- 6-8 November 2024, SEFM conference: speaker in a talk titled "Towards Quantum Multiparty Session Types" ( .odp , .pdf )
- 4 October, 2024, functional programming talks @ Chalmers: speaker in a talk titled "A Causal-Consistent Reversible Debugger for Erlang" ( .odp , .pdf )
- 19 September 2024, DEBT workshop: speaker in a talk titled "Reversible Debugging of Erlang Programs in CauDEr" ( .odp , .pdf )
- 4-5 July 2024, RC conference:
- speaker in a tutorial titled "Causal Debugging for Concurrent Systems" ( .odp , .pdf )
- collaborator in a talk titled "Reversibility with Holes" ( .pdf )
- collaborator in a talk titled "A Small-Step Semantics for Janus" ( .pdf )
- 18-20 June 2024, COORDINATION conference: speaker in a talk titled "Choreography Automata: A Case Study in Healthcare Management" ( .pdf )
- 11 April 2024, OLAS team seminar: speaker in a talk titled "An Axiomatic Approach to Reversible Computation" ( .pdf )
- 29-30 January 2024, ANR SmartCloud meeting: speaker in a talk titled "Choreographic Programming for Adaptive Applications" ( .odp , .pdf )
- 29 January 2024, Salute e Welfare - Regione Emilia Romagna: collaborator in a talk titled "Choreography Automata: A Case Study in Healthcare Management" ( .pdf )
- 18 January 2024, QUANTUM@UNIBO meeting: speaker in a talk titled "Circuit Width Estimation via Index Refinement Types" (work mainly from Andrea Colledan and Ugo Dal Lago) ( .pdf )
- 20-22 September 2023, QEST conference: collaborator in a talk titled "Causal Reversibility Implies Time Reversibility" ( .pdf )
- 18-19 July 2023, RC conference: speaker in a talk titled "Towards a Taxonomy for Reversible Computation Approaches" ( .odp , .pdf )
- 26-30 June 2023, OPCT seminar: speaker in a talk titled "A general approach to derive causally-consistent reversible semantics" ( .pdf )
- 12 May 2023, Code Beam Lite Stockholm 2023 conference: speaker in a talk titled "Causal-Consistent Reversible Debugging for Erlang" ( .odp , .pdf , .mp4 )
- 2 February 2023, GNCS meeting: speaker in a talk titled "An Axiomatic Approach to Reversible Computation" ( .pdf )
- 24-28 October 2022, ISOLA symposium: collaborator in a talk titled "On Formal Choreographic Modelling: A Case Study in EU Business Processes" ( .pdf )
- 24-27 October 2022, ICFEM conference: collaborator in a talk titled "Generation of a Reversible Semantics for Erlang in Maude" ( .pdf )
- 5-6 July 2022, RC conference: collaborator in a talk titled "Reversibility in Erlang: Imperative Constructs" ( .pdf )
- 27-29 June 2022, GNCS meeting: speaker in a talk titled "Reversible Concurrent Systems" ( .odp , .pdf )
- 17 June 2022, ICE workshop: collaborator in a talk titled "On Composing Communicating Systems" ( .pdf )
- 14-16 June 2022, COORDINATION conference: speaker in a talk titled "Formal Choreographic Languages" ( .pdf )
- 14-16 June 2022, FORTE conference: collaborator in a talk titled "The Reversible Temporal Process Language" ( .pdf )
- 6-10 June 2022, ECOOP conference: collaborator in a talk titled "Design-By-Contract for Flexible Multiparty Session Protocols" ( .pdf )
- 31 May 2022, ANR DCore meeting:
- collaborator in a talk titled "The Reversible Temporal Process Language" ( .pdf )
- collaborator in a talk titled "Reversibility in Erlang: Imperative Constructs" ( .pdf )
- 10-12 May 2022, MICROSERVICES conference: collaborator in a talk titled "A MAPE-K Approach to Autonomic Microservices" ( .pdf )
- 12-15 March 2022, ICSA conference, poster track: collaborator in a talk titled "A MAPE-K Approach to Autonomic Microservices" ( youtube )
- 20 January 2022, ANR DCore meeting: collaborator in a talk titled "Automatic Generation of a Reversible Semantics for Erlang in Maude" ( .pdf )
- 28-29 October 2021, FACS 2021 conference: speaker in a talk titled "Corinne, a Tool for Choreography Automata" ( .odp , .pdf )
- 25-29 October 2021, ISOLA 2020 symposium (postponed due to covid-19): speaker in a talk titled "Composing Communicating Systems, Synchronously" ( .odp , .pdf )
- 23 September 2021, GNCS project "Sistemi Reversibili Concorrenti: dai Modelli ai Linguaggi" meeting: collaborator in a talk titled "CauDEr: Causal-Consistent Debugging of Erlang" ( .pdf )
- 7-8 July 2021, RC confenrece:
- speaker in a talk titled "Forward-Reverse Observational Equivalences in CCSK" ( .pdf , .mp4 )
- collaborator in a talk titled "Causal-Consistent Debugging of Distributed Erlang Programs" ( .pdf , video )
- 21 June 2021, HEDA workshop : collaborator in a talk titled "Tackling Healthcare Workflows with Behavioural Models and Natural Language Processing: A Proposal" ( .pdf )
- 27 April 2021, ALMA-AI Kick-Off Workshop on Foundations of Artificial Intelligence: speaker in a talk titled "Software Architectures for AI: the Case of Autonomic Microservices" ( .odp , .pdf )
- 29 March-1 April 2021, FOSSACS 2020 conference (postponed due to covid-19): speaker in a talk titled "An Axiomatic Approach to Reversible Computation" (slides , video)
- 28 January 2021, INRIA meeting: speaker in a talk titled "Causal-Consistent Reversible Debugging" (.pdf , .odp)
- 27 November 2020, DIP conference (Gabbrielli's festschrift): collaborator in a talk titled "The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service" (.pdf)
- 5 September 2020, ICCE conference: collaborator in a talk titled "Recent Work on Reversible Process Calculi" (.pdf)
- 1-4 September 2020, CONCUR conference: collaborator in a talk titled "A General Approach to Derive Uncontrolled Reversible Semantics" (slides , video , teaser)
- 15-19 June 2020, COORDINATION conference: collaborator in a talk titled "Choreography Automata" ( .pdf , video)
- 2-3 March 2020, ANR DCore meeting:
- speaker (remote presentation) in a talk titled "An Axiomatic Approach to Reversible Computation" ( .pdf )
- collaborator in a talk titled "A General Approach to Derive Uncontrolled Reversible Semantics" ( .pdf )
- 8-10 October 2019, PPDP-LOPSTR symposiums: collaborator in an invited talk titled "Reversibilization in Functional and Concurrent Programming" ( .pdf )
- 2-4 September 2019, PROLE workshop: collaborator in a talk titled "Causal-Consistent Replay Debugging for Message Passing Programs" ( .pdf )
- 6 July 2019, BEHAPI midterm workshop: speaker in a talk titled "Causal-Consistent Reversible Debugging for Message Passing Programs" ( .odp , .pdf , demo material )
- 23-28 June 2019, PETRI NETS conference: collaborator in a talk titled "Reversing Unbounded Petri Nets" ( .ppsx )
- 18-20 June 2019, COORDINATION conference: collaborator in a talk titled "No More, No Less - A Formal Model for Serverless Computing" ( .pdf )
- 18-20 June 2019, FORTE conference: speaker in a talk titled "Causal-Consistent Replay Debugging for Message Passing Programs" ( .odp , .pdf , demo material )
- 14-15 April 2019, ANR DCore meeting: speaker in a talk titled "Causal-Consistent Debugging and Replay in Core Erlang" ( .odp , .pdf )
- 19-21 February 2019, MICROSERVICES conference: collaborator in a talk titled "Microservice-Oriented Computing for the Internet of Things" ( .pdf )
- 14-16 November 2018, IMSA workshop: collaborator in a poster presentation titled "A Language for Programming Heterogeneous Systems" ( .pdf )
- 24-26 October 2018, CoopIS conference: collaborator in a talk titled "ChIP: A Choreographic Integration Process." ( .pdf )
- 12-14 September 2018, RC conference: invited speaker in a talk titled "From Reversible Semantics to Reversible Debugging" ( .odp , .pdf )
- 10-12 September 2018, COST Action IC1405 meeting: speaker in a talk titled "Causal-Consistent Replay in Erlang" ( .odp , .pdf )
- 9-11 May 2018, FLOPS conference: collaborator in a talk titled "CauDEr: A Causal-Consistent Reversible Debugger for Erlang" ( .pdf )
- 19-21 March 2018, COST Action IC1405 meeting:
- speaker in a talk titled "CauDEr - A Causal-consistent Debugger for Erlang" ( .odp , .pdf )
- collaborator in a talk titled "Software Development & Reversibility: Open Problems" ( .pptx , .pdf )
- 3-6 January 2018, ST track of HICSS conference: collaborator in a talk titled "A Language-based Approach for Interoperability of IoT Platforms" ( .pdf )
- 25-26 October 2017, MICROSERVICES conference: speaker in a talk titled "Choreographies for Microservices" ( .odp , .pdf ), followed by a demo of the AIOCJ framework by Saverio Giallorenzo
- 1-2 September 2017, COST Action IC1405 meeting:
- speaker in a talk titled "Analysis of Reversible Systems: Overview and Open Challenges" ( .odp , .pdf )
- collaborator in a talk titled "A Reversible Semantics for Erlang" ( .pdf )
- 26-29 June 2017, PSI conference: collaborator in a talk titled "Microservices: How to Make Your Application Scale" ( .pdf )
- 26-29 June 2017, OPCT II conference: speaker in a talk titled "Reversible Debugging of Concurrent Systems" ( .odp , .pdf )
- 19-21 June 2017, COORDINATION conference: speaker in a talk titled "Retractable and Speculative Contracts" ( .odp , .pdf )
- 29-31 March 2017, COST Action IC1405 meeting:
- speaker in a talk titled "Retractable Contracts" ( .odp , .pdf )
- collaborator in a talk titled "Static VS Dynamic Reversibility in CCS" ( .pdf )
- collaborator in a talk titled "A Reversible Semantics for Erlang" ( .pdf )
- 23 March 2017, IMT Lucca: speaker in a talk titled "Programming Distributed Adaptive Applications - A Choreographic Approach" ( .odp , .pdf ) including a demo (demo material)
- 6-9 March 2017, LATA conference: collaborator in a talk titled "Most General Property-Preserving Updates" ( .pdf )
- 30 January-3 February 2017, Dagsthul meeting 17051 on "Theory and Applications of Behavioural Types": speaker in a demo of "AIOCJ - Adaptive
Interaction-Oriented Choreographies in Jolie" (demo material)
- 6-7 October 2016, BETTY meeting: speaker in a talk titled "Retractable Contracts And Beyond" ( .odp , .pdf )
- 5-6 July 2016, COST Action IC1405 meeting: speaker in a talk titled "WG4 Case Study - Debugging of Concurrent and Distributed Systems" ( .odp , .pdf )
- 9 June 2016, ICE workshop: speaker in a talk titled "A Modular Formalization of Reversibility for Concurrent Models and Languages" ( .odp , .pdf )
- 22 March 2016, GNCS project "Logica, Automi e Giochi per Sistemi Auto-adattivi" meeting: speaker in a talk titled "Property-Preserving Updates" ( .odp , .pdf )
- 17-18 March 2016, BETTY meeting: speaker in a talk titled "Dynamic Choreographies - Safe Runtime Updates of Distributed Applications" ( .odp , .pdf )
- 15-16 December 2015, APLS workshop: speaker in a talk titled "Reversible Concurrent Systems" ( .odp , .pdf )
- 14-18 September 2015, Lorentz Center workshop on "Verification of Concurrent and Distributed Software: Towards Industrial Use": speaker in a talk titled "Reversible Debugging" ( .pptx , .pdf )
- 14-15 July 2015, COST Action IC1405 meeting:
- speaker in a talk titled "Reversibility for Concurrent Interacting Systems" ( .pptx , .pdf )
- collaborator in a talk titled "Causal-Consistent Reversible Debugging" ( .pdf )
- 2-4 June 2015, COORDINATION conference: speaker in a talk titled "Dynamic Choreographies - Safe Runtime Updates of Distributed Applications" ( .pptx , .pdf )
- 18 April 2015, PLACES workshop: speaker in a talk titled "Retractable Contracts" ( .pptx , .pdf )
- 5-6 March 2015, Festkolloquium on the Occasion of Martin Wirsing's Retirement from his Chair: collaborator in a talk titled "The Evolution of Jolie - From Orchestrations to Adaptable Choreographies" (prize)
- 4-6 March 2015, 4PAD special session of PDP Conference: speaker in a talk titled "Causal-consistent Reversibility in a Tuple-based Language" ( .pptx , .pdf )
- 10-12 February 2015, CINA meeting:
- collaborator in a talk titled "Contracts with Roll-back" ( .pdf )
- collaborator in a talk titled "Causal-Consistent Reversible Debugging" ( .pdf )
- 7-11 October 2014, ISoLA Symposium: speaker in a talk titled "Fault Model Design Space for Cooperative Concurrency" ( .pptx , .pdf )
- 15-16 September 2014, SLE Conference: collaborator in a talk titled "AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications" ( .pdf )
- 8-11 April 2014, FASE Conference: collaborator in a talk titled "Causal-Consistent Reversible Debugging" ( .pdf )
- 18-20 February 2014, CINA meeting:
- speaker in a talk titled "Towards Global and Local Types for Adaptation" ( .pptx , .pdf )
- collaborator in a talk titled "Deadlock Freedom by Construction for Distributed Adaptative Applications" (with demo)
- collaborator in a talk titled "Causal-Consistent Reversibility in a Tuple-Based Distributed Language" ( .pptx , .pdf )
- 5 February 2014, meeting with Ghezzi group: collaborator in a talk titled "Deadlock Freedom by Construction for Distributed Adaptive Applications" ( .odp )
- 27-30 January 2014, ENVISAGE meeting: speaker in a talk titled "Fault in the Future" ( .ppt , .pdf )
- 23 October 2013, REVER meeting: speaker in a talk titled "Causal-Consistent Reversible Debugging" ( .pptx , .pdf )
- 23-24 September 2013, BEAT II workshop: speaker in a talk titled "Towards Global and Local Types for Adaptation" ( .pptx , .pdf )
- 19-20 June 2013, REVER meeting: speaker in a talk titled "Causal-Consistent Reversibility in a Tuple-Based Distributed Language" ( .pptx , .pdf )
- 6 June 2013, WWV workshop: speaker in a talk titled "Amending Choreographies" ( .pptx , .pdf )
- 3-5 June 2013, COORDINATION Conference: speaker in a talk titled "Decidability Results for Dynamic Installation of Compensation Handlers" ( .pptx , .pdf )
- 13 May 2013, BETTY mission meeting: speaker in a talk titled "Adaptive Choreographies" ( .pptx , .pdf ), extended version of the talk given at the BETTY meeting on 24 March 2013
- 24 March 2013, BETTY meeting: speaker in a short talk titled "Adaptive Choreographies" ( .pptx , .pdf )
- 19-22 March 2013, ESOP Conference: collaborator in a talk titled "Concurrent Flexible Reversibility" ( .pdf )
- 18-22 March 2013, CM track of SAC Conference: speaker in a talk titled "Internet of Things: A Process Calculus Approach" ( .ppt , .pdf )
- 4-6 February 2013, CINA meeting: speaker in a talk titled "Reversibility in Concurrency" ( .ppt )
- 10-11 December 2012, REVER meeting:
- speaker in a talk titled "Croll-pi, a Reversible Calculus with Compensations" ( .pdf )
- speaker in a talk titled "How Many Reversible CCS Do Exist?" ( .pdf )
- collaborator in a talk titled "A Reversible Debugger for muOz" ( .pdf )
- 4 July 2012, ITU Copenhagen: speaker in a talk titled "Reversible Computations and Compensations" ( .ppt )
- 2-3 July 2012, RC workshop: speaker in a talk titled "Controlled Reversibility and Compensations" ( .ppt )
- 14-15 June 2012, FMOODS & FORTE Conference: speaker in a talk titled "A Reversible Abstract Machine and its Space Overhead" ( .ppt )
- 30-31 May 2012, REVER meeting: speaker in a talk titled "A Reversible Abstract Machine" ( .ppt )
- 1 March 2012, DISI seminar: speaker in a talk titled "Reversibility for Recoverability" ( .ppt )
- 2-3 February 2012, CoTiCo workshop: speaker in a talk titled "Choreography-driven Design" ( .ppt )
- 19-20 January 2012, REVER meeting:
- speaker in a talk titled "Reversibility and Beyond" ( .ppt )
- collaborator in a talk titled "Compensations in Orchestration Languages" ( .pdf )
- 5-8 December 2011, ICSOC Conference: collaborator in a talk titled "Graceful Interruption of Request-response Service Interactions" ( .pdf )
- 20 October 2011, IMT Lucca: speaker in a talk titled "Controlling Reversibility in Rhopi" ( .ppt )
- 5-10 September 2011, CONCUR Conference: collaborator in a talk titled "Controlling Reversibility in Higher-Order Pi" ( .pdf )
- 6-9 June 2011, COORDINATION Conference: speaker in a talk titled "Fault in the Future" ( .ppt )
- 19-21 April 2011, Behavioural Types Workshop: collaborator in a talk titled "Choreography Projection and Contract Refinement" ( .ppt )
- 29 November - 1 December 2010, FMCO Symposium: collaborator in a talk titled "A Component Model for the ABS Language" ( .pdf )
- 18-20 October 2010, ISoLA Symposium: speaker in a talk titled "Error Handling: from Theory to Practice" ( .ppt )
- 31 August - 3 September 2010, CONCUR Conference: collaborator in a talk titled "Reversing higher-order Pi" ( .pdf )
- 5-10 July 2010, ICALP Conference: collaborator in a talk titled "On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi" ( .pdf )
- 1-4 July 2010, WADT Workshop: collaborator in a
talk titled "On the Semantics of Distributed Compensations with Interruption" ( .pdf )
- 10 June 2010, ICE Workshop: speaker in a
talk titled "Static vs dynamic SAGAs" ( .ppt )
- 12 May 2010, HATS meeting: speaker in a talk titled "From services to ABS" ( .ppt )
- 22-26 March 2010, ESOP Conference: speaker in a
talk titled "On the Expressive Power of Primitives for Compensation Handling" ( .ppt )
- 24-26 February 2010, TGC Conference: speaker in a
talk titled "A Framework for Rule-based Dynamic Adaptation" ( .ppt ), including a demo
- 25-27 November 2009, SEFM Conference: speaker in a
talk titled "Programming SAGAs in SOCK" ( .ppt )
- 23-25 November 2009, Sensoria meeting:
- collaborator in a talk titled "Foundational Study and Practical Experimentation of Service Orchestration with SOCK/JOLIE " ( .ppt )
- collaborator in a talk titled "Advanced Mechanisms for Service Combination and Transactions" ( .pdf )
- collaborator in a talk titled "Behavioural Theory for Session-Oriented Calculi" ( .pdf )
- 17 June 2009, HATS meeting: speaker in a talk titled "Evolvable systems: some ideas for modelling" ( .ppt )
- 7-9 June 2009, Sensoria meeting: speaker in a talk titled "On the Expressive Power of Primitives for Compensation Handling" ( .ppt )
- 24 February 2009, University of Kyoto: speaker in a talk titled
"Error Handling in Service Oriented Computing" ( .ppt )
- 9-11 February 2009, Sensoria meeting: speaker in a talk titled "Jolie: A Service Oriented Architecture for the Finance Case Study" ( .ppt ), including a demo
- 18 December 2008, New University of Lisbon: speaker in a talk titled
"Bridging the gap between Interaction- and Process-Oriented Choreographies" ( .ppt )
- 12-14 November 2008, ECOWS Conference: collaborator in a
talk titled "Dynamic Fault Handling Mechanisms for Service-Oriented Applications" ( .ppt )
- 10-14 November 2008, SEFM Conference: speaker in a
talk titled "Bridging the Gap between Interaction- and Process-oriented Choreographies" ( .ppt )
- 3-4 November 2008, TGC Conference: collaborator in a
talk titled "Choreography, Orchestration, and Contracts" ( .ppt )
- 17-18 September 2008, Sensoria meeting: speaker in a talk titled "The SOCK SAGA" ( .ppt )
- 24-27 June 2008, ACSD Conference: speaker in a
talk titled "On the Interplay Between Fault Handling and Request-Response Service Invocations" ( .ppt )
- 25-27 June 2008, LICS Conference: collaborator in a
talk titled "On the Expressiveness and Decidability of Higher-Order Process Calculi" ( .swf )
- 13-16 June 2008, WADT Conference: collaborator in a
talk titled "Tiles for Reo" ( .ppt )
- 9-11 June 2008, Sensoria meeting:
- speaker in a talk titled "Bridging the Gap between Interaction and Process-Oriented Choreographies" ( .ppt )
- collaborator in a talk titled "Towards Trustworthy Multiparty Sessions" ( .pdf )
- 7 June 2008, PLACES Workshop: collaborator in a
talk titled "Towards Trustworthy Multiparty Sessions" ( .pdf )
- 4-6 June 2008, COORDINATION Conference: collaborator in a
talk titled "Multiparty Sessions in SOC" ( .pdf )
- 4-6 June 2008, FMOODS Conference: speaker in a
talk titled "Behavioural Theory at Work: Program Transformations in a Service-centred Calculus" ( .ppt )
- 11-14 March 2008, Sensoria meeting:
- speaker in a talk titled "Behavioural Theory for SSCC" ( .ppt )
- collaborator in a talk titled "Muse: Programming Multi-party Sessions for SOC" ( .pdf )
- 7-8 February 2008, workshop on Web services, business processes and infrastructure: co-speaker in a
talk titled "Sock and Jolie: from the Formal Basis to a Service Oriented Language" ( .ppt (Part 1) and .ppt (Part 2))
- 4 October 2007, EATCS Italian Chapter Business Meeting: speaker in a talk titled "Synchronization Strategies for Global Computing Models" ( .ppt ) for the "Two best Ph.D. theses in Theoretical Computer Science" award ceremony
- 10-14 September 2007, SEFM Conference: collaborator in a
talk titled "Disciplining Orchestration and Conversation in Service-Oriented Computing" ( .pdf )
- 13-15 June 2007, Sensoria meeting:
- speaker in a talk titled "Managing Faults and Compensations in SOCK" ( .ppt )
- collaborator in a talk titled "Core Calculi for Service-Oriented Computing" ( .pdf )
- 7-9 March 2007, Sensoria meeting: speaker in a short
talk titled "Types for Deadlock Avoidance in SSCC" ( .ppt )
- 20-26 January 2007, SOFSEM Conference: speaker in a
talk titled "Concurrent and Located Synchronizations in pi-calculus" ( .ppt )
- 16-19 January 2007, Sensoria meeting:
- speaker in a talk titled "Towards a Unifying Theory for Web Services Composition" (slightly modified w.r.t. ws-fm'06 talk) ( .ppt )
- collaborator in a talk titled "$$$: $ervices, $essions and $treams" ( .pdf )
- speaker in a talk titled "Streaming Services in SSCC" ( .ppt ) at the pre-meeting on calculi
- 7-9 November 2006, symposium on Trustworthy Global Computing: speaker in a talk titled "PRISMA: A Mobile Calculus with Parametric Synchronization" ( .ppt )
- 8-9 September 2006, workshop on Web Services and Formal Methods:
- collaborator in an invited talk titled "SCC: a Service Centered Calculus" ( .pdf )
- speaker in a talk titled "Towards a Unifying Theory for Web Services Composition" ( .ppt )
- 26 June 2006: discussed the Ph.D. thesis, titled "Synchronization Strategies for Global Computing Models" ( .ppt ), before the external commission
- 11 April 2006: discussed the Ph.D. thesis, titled "Synchronization Strategies for Global Computing Models" ( .ppt ), before the internal commission
- 1-2 April 2006, workshop on Graph Transformation and Visual
Modeling Techniques: speaker in a talk titled "Exploiting User-Definable Synchronizations in Graph Transformation" ( .ppt )
- 14 March 2006, University of Bologna: speaker in a talk titled
"Synchronization Strategies for Global Computing Models" ( .ppt ) on my Ph.D. work
- 1-4 November 2005, symposium on Formal Methods for Components and Objects: collaborator in a
talk titled "Synchronized Hyperedge Replacement for Service Oriented Computing" ( .pdf )
- 6-9 September 2005, SEFM Conference: speaker in a
talk titled "SHReQ: Coordinating Application Level QoS" (paper from Dan Hirsch & Emilio Tuosto) ( .ppt )
- 3-6 September 2005, CALCO Conference: speaker in a
talk titled "Complete Axioms for Stateless Connectors" ( .ppt )
- 22 August 2005, workshop on Graph Transformation for Verification and Concurrency: collaborator in a
talk titled "Hoare vs Milner: Comparing Synchronizations in a Graphical Framework with Mobility" ( .ppt )
- 20-23 April 2005, COORDINATION Conference: speaker in a
talk titled "Synchronized Hyperedge Replacement for Heterogeneous Systems" ( .ppt )
- 20-25 February 2005, participant at Dagstuhl seminar 05081 on "Foundations of Global Computing":
- speaker in a talk titled "Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming" ( .ppt )
- 26 January 2005: discussed the thesis progress report, titled "Synchronization Strategies for Global Computing Models" ( .ppt )
- 3-4 September 2004, workshop on Foundations of Global Ubiquitous Computing: speaker in a
talk titled "Synchronization Algebras with Mobility for Graph Transformations" ( .ppt )
- 23-26 August 2004, IFIP TCS Conference (part of the World Computer Congress event): speaker in a
talk titled "New Insights on Architectural Connectors" (Algebraic approach vs categorical approach to system compositionality) ( .ppt )
- 8-9 July 2004, Agile Workshop: speaker in a
talk titled "CommUnity, Tiles and Connectors" (slightly modified w.r.t. Dagstuhl talk) ( .ppt )
- 6-11 June 2004, participant at Dagstuhl seminar 04241 on "Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems":
- speaker in a talk titled "Synchronizations with Mobility for Graph Transformations" ( .ppt )
- collaborator in a talk titled "CommUnity, Tiles and Connectors" ( .ppt )
- 13 February 2004: presented the thesis proposal, titled "Synchronization Strategies for Global Computing Models" ( .ppt )
- 15-17 December 2003, CoMeta Final Workshop: speaker in a
talk titled "A Graphical Fusion Calculus" ( .ppt )
- 12 December 2003: taken a minor degree (Diploma di Licenza) at Scuola Normale Superiore of Pisa with full marks (70/70 cum laude)
with a thesis titled "A Graph-based Framework for Fusion Calculus"
(.ppt)
- 4-5 December 2003, Third Annual Workshop of Agile: speaker in a
talk titled "An Algebra of Connectors for Modeling CommUnity with Tiles" ( .ppt )
- 28-29 July 2003, Second Annual Workshop of Agile: collaborator in a
talk titled "Modeling Community with Tiles" ( .ppt )
- 9-14 February 2003, Workshop on Global Computing: collaborator in a
talk titled "Software Architectures, Global Computing and Graph
Transformations"
- 19-21 December 2002, First Annual Workshop of CoMeta: speaker in a
talk titled "From Graph Rewriting to Logic Programming" ( .ppt )
- 16-18 October 2002: SBES Conference: coauthor of an invited talk titled "Software Architecture, Global Computing and Graph Transformation via Logic
Programming"
- 26 April 2002: taken the master degree in Computer Science with full marks (110/110 cum laude)
at University of Pisa with a thesis titled
"Process Synchronization in Distributed
Systems via Horn clauses"
In the past I worked within the following projects (see here for the current projects):
- European COST Actions:
- IC1405 (Jul. 2015-Apr. 2019): European COST Action on Reversible computation - extending horizons of computing, as vice-chair
- ARVI (Dec. 2014-Dec. 2018): Runtime Verification beyond Monitoring
- BETTY (Oct. 2012-Oct. 2016): Behavioural Types for Reliable Large-Scale Software Systems
- European projects:
- BehAPI (Mar. 2018-Dec. 2023): H2020 RISE Marie Skłodowska-Curie Action on Behavioural Application Program Interfaces
- ENVISAGE (Oct. 2013-Sep. 2016): Project ICT on Engineering Virtualized Services
- HATS (Mar. 2009-Feb. 2013): Project EU-FET on Highly Adaptable and Trustworthy Software using Formal Methods
- Sensoria (Sep. 2005-Feb. 2010): Project EU-FET on Software Engineering for Service-Oriented Overlay Computers
- Agile (Jan. 2002-Apr. 2005): Project EU-FET on Architectures for Mobility
- Italian national projects:
- CINA (Feb. 2013-Feb. 2016): PRIN project on Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society
- CoMeta (Dec. 2001-Dec. 2003): MIUR project on Computational Metamodels
- French national projects:
- DCore (Mar. 2019-Mar. 2024): ANR project on Causal Debugging for Concurrent Systems
- REVER (Dec. 2011-Nov. 2015): ANR Project on Programming reversible recoverable systems
- Other national projects:
- SAFER (Jun. 2020-Mag. 2024): EU (FEDER) and the Spanish MCI/AEI project on Analysis and Validation of Software and Web Resources, as international collaborator
- French INRIA teams:
- Italian GNCS projects:
- RISICO (Jan. 2023-Jan. 2024): GNCS 2023 project on "Reversibilita' In SIstemi COncorrenti: analisi quantitative e funzionali" (Reversibility in Concurrent Systems: Functional and Quantitative Analysis)
- GNCS 2022 (Mag. 2022-Mag. 2023): "Proprietà Qualitative e Quantitative di Sistemi Reversibili" (Qualitative and Quantitative Properties of Reversible Systems)
- GNCS 2020 (Mar. 2020-Dic. 2021): "Sistemi Reversibili Concorrenti: dai Modelli ai Linguaggi" (Reversible Concurrent Systems: from Models to Languages)
- GNCS 2019 (Feb. 2019-Feb. 2020): "Metodi Formali per Tecniche di Verifica Combinata" (Formal Methods for Combined Verification Techniques)
- GNCS 2018 (Feb. 2018-Feb. 2019): "Metodi
Formali per la Verifica e la Sintesi di Sistemi Discreti e Ibridi" (Formal Methods for Verification and Synthesis of Discrete and Hybrid Systems)
- GNCS 2017 (Feb. 2017-Feb. 2018): "Logica e Automi per il Model-Checking Intervallare" (Logic and Automata for Interval Model-Checking)
- GNCS 2016 (Feb. 2016-Feb. 2017): "Logica, Automi e Giochi per Sistemi Auto-adattivi" (Logic, Automata and Games for Auto-adaptive Systems)
Ivan Lanese (ivan.lanese@gmail.com)