Skip to content. | Skip to navigation

Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201

Navigation

You are here: Home / STSMs

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
    VisitorAdrian 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
    VisitorGiovanni 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.