Short-Term Scientific Missions (STSMs)
Summary of STSMs
There were a total of 89 STSMs, which are listed below. The STSM reports are available here, and contain summaries of the work carried out and anticipated publications.
List of STSMs
Fourth budget period (1st May 2016 to 25th October 2016): total 10
- Alternative Characterisations for the Peer Testing Preorder
Visitor: Adrian Francalanza (University of Malta, Malta)
Host: Giovanni Bernardi (Université Paris-Diderot, France)
Dates: 2nd to 7th October 2016 - Behavioural types for privacy
Visitor: Petros Stefaneas (National Technical University of Athens, Greece)
Host: Anna Philippou (University of Cyprus, Cyprus)
Dates: 30th September to 4th October 2016 - Session Type Inference for Message Passing Interfaces
Visitor: Hans Hüttel (Aalborg University, Denmark)
Host: Francisco Martins (University of Lisbon, Portugal)
Dates: 20th to 30th September 2016 - Automated, fine-grained deductive verification for MPI
Visitor: Nicholas Ng (Imperial College London, UK)
Host: Francisco Martins (University of Lisbon, Portugal)
Dates: 11th to 16th September 2016 - Reversibility for Multiparty Sessions
Visitor: Jorge Pérez (University of Groningen, Netherlands)
Host: Claudio Mezzina (IMT Lucca, Italy)
Dates: 9th to 15th September 2016 - Multiparty Logical Session Processes
Visitor: Bernardo Toninho (Imperial College London, UK)
Host: Marco Carbone (IT University of Copenhagen, Denmark)
Dates: 15th to 19th August 2016 - Building choreographies for interleaved sessions
Visitor: Julien Lange (Imperial College London, UK)
Host: Thomas Hildebrandt (IT University of Copenhagen, Denmark)
Dates: 14th to 19th August 2016 - Advanced Protocol-Based Verification of Message-Passing Parallel Programs
Visitor: Hugo-Andres Lopez (Technical University of Denmark, Denmark)
Host: Vasco Vasconcelos (University of Lisbon, Portugal)
Dates: 27th June to 1st July 2016 - Expressiveness of Session Types: Deadlock-freedom and Higher-Order Communication
Visitor: Jorge Pérez (University of Groningen, Netherlands)
Host: Ornela Dardha (University of Glasgow, UK)
Dates: 25th May to 3rd June 2016
- Typeful Evolution of Business Processes
Visitor: João Seco (NOVA University of Lisbon, Portugal)
Host: Thomas Hildebrandt (IT University of Copenhagen, Denmark)
Dates: 15th May to 15th June 2016
Third budget period (1st June 2015 to 30th April 2016): total 15
- Analysis of Linear Authorization Usages
Visitor: Hugo Vieira (IMT Institute for Advanced Studies Lucca, Italy)
Host: Jovanka Pantovic (University of Novi Sad, Serbia)
Dates: 24th to 30th April 2016 - Precise asynchronous subtyping for multiparty session types
Visitors: Nobuko Yoshida and Alceste Scalas (Imperial College London, UK)
Host: Silvia Ghilezan (University of Novi Sad, Serbia)
Dates: 3rd to 10th March 2016 - Verification of active objects with session-based specifications
Visitor: Rumyana Neykova (Imperial College London, UK)
Host: David Clarke (Uppsala University, Sweden)
Dates: 17th to 25th February 2016 - Towards a characterisation of usable tests
Visitor: Giovanni Bernardi (IMDEA Software Institute Madrid, Spain)
Host: Adrian Francalanza (University of Malta, Malta)
Dates: 13th to 28th February 2016 - Detecting blocked processes
Visitor: António Ravara (Universidade Nova de Lisboa, Portugal)
Host: Adrian Francalanza (University of Malta, Malta)
Dates: 7th to 13th February 2016 - Global description and session types for unreliable broadcast
Visitor: Ramunas Gutkovas (Uppsala University, Sweden)
Host: Dimitrios Kouzapas (University of Glasgow, UK)
Dates: 18th to 22nd January 2016 - Typed approaches to compensation handling via sessions and adaptable processes
Visitor: Jovana Dedeic (University of Novi Sad, Serbia)
Host: Jorge Pérez (University of Groningen, Netherlands)
Dates: 18th January to 12th February 2016 - Type-based Task Orchestration for a Cache Coherent Multicore Architectures
Visitor: Silvia Tapia Tarifa (University of Oslo, Norway)
Host: Nobuko Yoshida (Imperial College London, UK)
Dates: 17th January to 18th March 2016 - MPI verification and generation with multiparty session specifications
Visitor: Nobuko Yoshida (Imperial College London, UK)
Host: Vasco Vasconcelos (University of Lisbon, Portugal)
Dates: 15th to 30th December 2015 - Tree equality/duality in presence of `dualof`
Visitor: Giovanni Bernardi (IMDEA Software Institute Madrid, Spain)
Host: Simon Gay (University of Glasgow, UK)
Dates: 6th to 13th December 2015 - Session types for the psi-calculi
Visitor: Dimitrios Kouzapas (University of Glasgow, UK)
Host: Björn Victor (Uppsala University, Sweden)
Dates: 9th to 18th November 2015 - Choreographic Programming for the Internet of Things
Visitor: Hugo Vieira (IMT Institute for Advanced Studies Lucca, Italy)
Host: Thomas Hildebrandt (IT University of Copenhagen, Denmark)
Dates: 6th to 12th September 2015 - Behavioural Type Inference for Object-Oriented Code
Visitor: Mario Bravetti (University of Bologna, Italy)
Host: Adrian Francalanza (University of Malta, Malta)
Dates: 23rd to 29th August 2015 - Unlocking blocked mobile processes
Visitor: Marco Giunti (Universidade da Beira Interior, Portugal)
Host: Adrian Francalanza (University of Malta, Malta)
Dates: 17th July to 1st August 2015
Second budget period (1st June 2014 to 31st May 2015): total 27
- On Contract-Oriented Middlewares
Visitor: Emilio Tuosto (University of Leicester, UK)
Host: Massimo Bartoletti (University of Cagliari, Italy)
Dates: 18th to 31st May 2015 - Temporal (Role-Based) Access Control by Typing
Visitor: Gabriel Ciobanu (Romanian Academy and A.I.Cuza University of Iasi, Romania)
Host: Anna Philippou (University of Cyprus, Cyprus)
Dates: 15th to 31st May 2015 - Typed Expressiveness for Structured Interactional Exceptions
Visitor: Jorge Pérez (University of Groningen, Netherlands)
Host: Jovanka Pantovic (University of Novi Sad, Serbia)
Dates: 12th to 21st May 2015 - Intersection types for mixin composition
Visitor: Ugo de'Liguoro (University of Torino, Italy)
Host: Jakob Rehof (Technical University of Dortmund, Germany)
Dates: 11th to 15th May 2015 - Expressiveness of Session Networks
Visitor: Romain Demangeon (Université Pierre et Marie Curie Paris 6, France)
Host: Nobuko Yoshida (Imperial College London, UK)
Dates: 20th to 30th March 2015
- Modelling Grid Adaptive Systems with Multiparty Sessions
Visitor: Jorge Pérez (University of Groningen, Netherlands)
Host: Rafael Mayo-Garcia (CIEMAT, Madrid, Spain)
Dates: 23rd to 27th March 2015 - Behavioral types certifying non-interference
Visitor: Ugo de'Liguoro (University of Torino, Italy)
Host: Ilaria Castellani (INRIA Sophia Antipolis, France)
Dates: 15th to 21st March 2015 - Object-Oriented Composition Synthesis
Visitor: Boris Düdder (Technical University of Dortmund, Germany)
Host: Ugo de'Liguoro (University of Torino, Italy)
Dates: 9th to 13th March 2015
- Fine grained MPI program verification with session-based specifications
Visitor: Nobuko Yoshida (Imperial College London, UK)
Host: Vasco Vasconcelos (University of Lisbon, Portugal)
Dates: 8th to 14th March 2015 - Coinductive Data in Sessions
Visitor: Paula Severi (University of Leicester, UK)
Host: Mariangiola Dezani-Ciancaglini (University of Torino, Italy)
Dates: 22nd February to 7th March 2015 - Type Inference for Object-Oriented Languages
Visitor: António Ravara (New University of Lisbon, Portugal)
Host: Mario Bravetti (University of Bologna, Italy)
Dates: 15th to 21st February 2015 - Scribble for Software Defined Networking
Visitor: Tihana Galinac Grbac (University of Rijeka, Croatia)
Host: Nobuko Yoshida (Imperial College London, UK)
Dates: 15th to 28th February 2015 - Context Free Session Types
Visitor: Vasco Vasconcelos (University of Lisbon, Portugal)
Host: Peter Thiemann (University of Freiburg, Germany)
Dates: 8th to 14th February 2015
- Type-Based Analyses for Deadlock-Disentagling Program Transformations
Visitor: Adrian Francalanza (University of Malta, Malta)
Host: António Ravara (New University of Lisbon, Portugal)
Dates: 1st to 7th February 2015 - Analysis of authorization delegation in role-based communication
Visitor: Hugo Vieira (IMT Institute for Advanced Studies, Lucca, Italy)
Host: Jovanka Pantović (University of Novi Sad, Serbia)
Dates: 18th to 24th January 2015 - Typed approaches to compensation handling via sessions and adaptable processes
Visitor: Jovanka Radenović (University of Novi Sad, Serbia)
Host: Jorge Pérez (University of Groningen, Netherlands)
Dates: 8th January to 1st February 2015 - A semantic approach to multiparty session types
Visitor: Alceste Scalas (University of Cagliari, Italy)
Host: Nobuko Yoshida (Imperial College London, UK)
Dates: 1st December 2014 to 13th February 2015 - Exploring type-based transformations for binary sessions in declarative and operational models
Visitor: Hugo-Andrés Lopez (University of Lisbon, Portugal)
Host: Jorge Pérez (University of Groningen, Netherlands)
Dates: 30th November to 6th December 2014 - Session Calculi with Localities
Visitor: Ilaria Castellani (INRIA Sophia Antipolis, France)
Host: Matthew Hennessy (Trinity College Dublin, Ireland)
Dates: 16th to 23rd November 2014 - Contract-Oriented Computing
Visitor: Emilio Tuosto (University of Leicester, UK)
Host: Massimo Bartoletti (University of Cagliari, Italy)
Dates: 14th to 23rd November 2014 - Equations over session types and dual of
Visitor: Giovanni Bernardi (IMDEA Software Institute, Madrid, Spain)
Host: Vasco Vasconcelos (University of Lisbon, Portugal)
Dates: 27th October to 2nd November 2014
Publication:
Giovanni Bernardi and Matthew Hennessy. Using higher-order contracts to model session types.
arXiv:1310.6176 [cs.LO], 2015. - Session Types for Liveness Properties
Visitor: Erica Tanti (University of Malta, Malta)
Host: Vasileios Koutavas (Trinity College Dublin, Ireland)
Dates: 29th August to 2nd November 2014 - Behavioural foundations of session types
Visitor: Giovanni Bernardi (IMDEA Software Institute, Madrid, Spain)
Host: Matthew Hennessy (Trinity College Dublin, Ireland)
Dates: 10th to 30th August 2014 - Type inference for binary session types
Visitors: António Ravara (New University of Lisbon, Portugal)
Adrian Francalanza (University of Malta, Malta)
Host: Hans Hüttel (Aalborg University, Denmark)
Dates: 27th July to 2nd August 2014 - Adaptable choreographies and behavioural contracts
Visitor: Mario Bravetti (University of Bologna, Italy)
Host: Marco Carbone (IT University of Copenhagen, Denmark)
Dates: 21st to 30th July 2014 - Artificial Intelligence dimension of well-typed WS composition
Visitor: Vaidas Giedrimas (Šiauliai University, Lithuania)
Host: Samir Omanović (University of Sarajevo, Bosnia and Herzegovina)
Dates: 15th to 23rd June 2014
First budget period (1st March 2013 to 31st May 2014): total 37
- Exploring harmonious integrations of security and adaptation within session communications
Visitor: Jorge Perez (University of Groningen, Netherlands)
Host: Mariangiola Dezani (University of Torino, Italy)
Dates: 12th to 16th May 2014
Publication:
Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Jorge A. Pérez. Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. Proceedings of the International Workshop on Behavioural Types (BEAT), EPTCS 2014. DOI 10.4204/EPTCS.162.2
- Session Types for Secure Open Networks
Visitor: Neva Slani (University of Pula, Croatia)
Host: Francisco Martins (University of Lisbon, Portugal)
Dates: 29th April to 8th May 2014 - Automatic Procedures for Amending Choreographies
Visitor: Fabrizio Montesi (IT University of Copenhagen, Denmark)
Host: Ivan Lanese (University of Bologna, Italy)
Dates: 14th to 18th April 2014 - Specification and Verification of protocols against MPI based on Session Types
Visitors: Nobuko Yoshida (Imperial College London, UK)
Nicholas Ng (Imperial College London, UK)
Host: Vasco Vasconcelos (University of Lisbon, Portugal)
Dates: 23rd to 28th February 2014 - Information Flow Analysis in Systems with Liveness Properties
Visitor: Luca Padovani (University of Torino, Italy)
Host: Ilaria Castellani (INRIA Sophia Antipolis, France)
Dates: 18th to 26th February 2014 - Towards a Theory of Contract Monitoring
Visitor: Adrian Francalanza (University of Malta, Malta)
Host: Matthew Hennessy (Trinity College Dublin, Ireland)
Dates: 17th to 24th February 2014 - Modeling and Analyzing Authorized Role-Based Interactions
Visitor: Hugo Vieira (University of Lisbon, Portugal)
Host: Jovanka Pantovic (University of Novi Sad, Serbia)
Dates: 9th to 15th February 2014
Publication:
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez and Hugo Torres Vieira.
A Typed Model for Dynamic Authorizations. To appear in PLACES 2015. - Specification and synthesis of object-oriented components from intersection type specifications.
Visitors: Ugo de'Liguoro (University of Torino, Italy)
Tzu-Chun Chen (University of Torino, Italy)
Host: Jakob Rehof (Technical University of Dortmund, Germany)
Dates: 2nd to 9th February 2014
Publication:
Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen and Ugo de'Liguoro. Typing Classes and Mixins with Intersection Types. Proceedings of the 7th Workshop on Intersection Types and Related Systems (ITRS), EPTCS 177, 2014. DOI 10.4204/EPTCS.177.7
- Behavioural Analyses for Deadlock-disentangling Program Transformations
Visitor: Adrian Francalanza (University of Malta, Malta)
Host: António Ravara (Universidade Nova de Lisboa)
Dates: 28th January to 6th February 2014 - Liveness of sessions via behavioural models
Visitor: Giovanni Bernardi (Trinity College Dublin, Ireland)
Host: António Ravara (Universidade Nova de Lisboa)
Dates: 26th January to 2nd February 2014 - Dynamic types for security in communication-centered programming
Visitors: Sara Capecchi (University of Torino, Italy)
Mariangiola Dezani (University of Torino, Italy)
Host: Ilaria Castellani (INRIA Sophia Antipolis, France)
Dates: 14th to 22nd January 2014 - Semantic models of session types and type duality
Visitor: Giovanni Bernardi (Trinity College Dublin, Ireland)
Host: Simon Gay (University of Glasgow, UK)
Dates: 12th to 19th January 2014
Publication:
Giovanni Bernardi, Ornela Dardha, Simon Gay and Dimitrios Kouzapas. On Duality Relations for Session Types. In Proceedings of the 9th International Symposium on Trustworthy Global Computing, Springer LNCS, 2014. - Implementation and Expressiveness of Session Types
Visitor: Romain Demangeon (Université Pierre et Marie Curie - Paris VI)
Host: Nobuko Yoshida (Imperial College London, UK)
Dates: 7th to 17th January 2014
Publication:
Romain Demangeon, Kohei Honda, Raymod Hu, Rumyana Neykova and Nobuko Yoshida. Practical interruptible conversations: Distributed dynamic verification with multiparty session types and Python. Formal Methods in System Design, Nov 2014, pp. 1-29. DOI 10.1007/s10703-014-0218-8 - Typing Privacy
Visitor: Anna Philippou (University of Cyprus, Cyprus)
Host: Dimitrios Kouzapas (University of Glasgow, UK)
Dates: 15th to 22nd December 2013.
Publication:
Dimitrios Kouzapas and Anna Philippou. Type checking privacy policies in the pi-calculus. In Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Springer Lecture Notes in Computer Science, 2015. - Attribute-based communication: calculi and types
Visitor: Francesco Tiezzi (IMT Institute for Advanced Studies Lucca, Italy)
Host: Nobuko Yoshida (Imperial College London, UK)
Dates: 25th November to 18th December 2013.
Publications:
Francesco Tiezzi and Nobuko Yoshida. Towards Reversible Sessions. In Proc. of 7th Workshop on Programming Language Approaches to Concurrency and Communication- cEntric Software (PLACES 2014), volume 155 of EPTCS, pages 17-24. 2014. (doi: 10.4204/EPTCS.155.3)Francesco Tiezzi and Nobuko Yoshida. Reversible Session-Based Pi-Calculus.Journal of Logical and Algebraic Methods in Programming (JLAMP), 2015. To appear. - Session types for unreliable and reliable broadcast communication
Visitor: Ramunas Gutkovas (Uppsala University, Sweden)
Host: Dimitrios Kouzapas (University of Glasgow, UK)
Dates: 21st November to 5th December 2013.
Publication:
Dimitrios Kouzapas, Ramūnas Gutkovas and Simon Gay. Session Types for Broadcasting. Presented at the 7th International Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES), 2014. - Semantic specification of object-oriented components
Visitors: Jakob Rehof (Technical University of Dortmund, Germany)
Boris Düdder (Technical University of Dortmund, Germany)
Moritz Martens (Technical University of Dortmund, Germany)
Paweł Urzyczyn (University of Warsaw, Poland)
Host: Mariangiola Dezani (University of Torino, Italy)
Dates: 19th to 29th November 2013.
Publication:
Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen and Ugo de'Liguoro. Typing Classes and Mixins with Intersection Types. Proceedings of the 7th Workshop on Intersection Types and Related Systems (ITRS), EPTCS 177, 2014. DOI 10.4204/EPTCS.177.7
- General Session Types for Psi-Calculi
Visitor: Hans Hüttel (Aalborg University, Denmark)
Host: Björn Victor (Uppsala University, Sweden)
Dates: 11th to 15th November 2013. - Barrier synchronization as a foundation for collective communication
Visitor: Tiago Cogumbreiro (University of Lisbon, Portugal)
Host: Nobuko Yoshida (Imperial College London, UK)
Dates: 11th to 22nd November 2013. - Asynchronous session types and verifications of parallel programs based on session types
Visitor: Nobuko Yoshida (Imperial College London, UK)
Host: Vasco Vasconcelos (University of Lisbon, Portugal)
Dates: 22nd October to 9th November 2013. - Enhanced process abstractions for runtime session adaptation
Visitor: Cinzia Di Giusto (Universite d'Evry, France)
Host: Jorge Perez (Universidade Nova de Lisboa, Portugal)
Dates: 26th to 30th August 2013.
Publication:
Cinzia DiGiusto and Jorge Pérez. An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. In Proceedings of the 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (WS-FM). Springer Lecture Notes in Computer Science, 2014. - Guaranteeing responsiveness with behavioural types
Visitor: António Ravara (Universidade Nova de Lisboa, Portugal)
Host: Thomas Hildebrandt (IT University of Copenhagen, Denmark)
Dates: 4th to 10th August 2013. - Liveness in behavioural types
Visitor: Nobuko Yoshida (Imperial College London, UK)
Host: Thomas Hildebrandt (IT University of Copenhagen, Denmark)
Dates: 28th July to 12th August 2013. - Deductive verification of MPI programs against session types
Visitor: Nicholas Ng (Imperial College London, UK)
Host: Vasco Vasconcelos (University of Lisbon)
Dates: 22nd to 28th July 2013. - A behavioural theory for sessions
Visitors: António Ravara (Universidade Nova de Lisboa)
Marco Giunti (Universidade Nova de Lisboa)
Host: Adrian Francalanza (University of Malta)
Dates: 21st to 27th July 2013 (Ravara), 22nd July to 16th August 2013 (Giunti) - Behavioural permissions in role-based access control
Visitor: Jovanka Pantovic (University of Novi Sad, Serbia)
Host: Hugo Torres Vieira (University of Lisbon, Portugal)
Dates: 7th to 14th July 2013.
Publication:
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez and Hugo Torres Vieira.
Dynamic Role Authorization in Multiparty Conversations. Presented at the 3rd International Workshop on Behavioural Types (BEAT), 2014. - Information Flow Analysis in Systems with Liveness Properties
Visitor: Luca Padovani (University of Torino, Italy)
Host: Ilaria Castellani (INRIA Sophia Antipolis, France)
Dates: 16th to 22nd June 2013. - Privacy for Linked Data
Visitor: Svetlana Jaksic (University of Novi Sad, Serbia)
Host: Mariangiola Dezani (University of Torino, Italy)
Dates: 19th to 31st May 2013.
Publication:
Svetlana Jakšić, Jovanka Pantović, Silvia Ghilezan. Linked Data Privacy. Mathematical Structures in Computer Science, 2015. DOI: 10.1017/S096012951500002X - Robust Support for Adaptability in Behavioural Types
Visitors: Jorge Perez (Universidade Nova de Lisboa, Portugal)
Marco Carbone (IT University of Copenhagen, Denmark)
Host: Mario Bravetti (University of Bologna, Italy)
Dates: 13th to 17th May 2013.
Publication:
Mario Bravetti, Marco Carbone, Thomas Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Perez and Gianluigi Zavattaro. Towards Global and Local Types for Adaptation. Presented at the 2nd International Workshop on Behavioural Types (BEAT 2), 2013. In Software Engineering and Formal Methods Co-located Workshops (BEAT2), Springer Lecture Notes in Computer Science volume 8368, 2014.