print · source · login   

Short-Term Scientific Missions (STSMs)

Upcoming deadlines for STSM applications:

     1st January 2018, for STSMs during the period  February - April 2018
     1st October 2017, for STSMs during the period  November 2017 - February 2018

Past deadlines:

    10th July 2017, for STSMs during the period August - November 2017
    15th June 2017, for STSMs during the period June - August 2017
     1st January 2017, for STSMs during the period  February - April 2017
    15th October 2016 (extended) 1st October 2016, for STSMs during the period  November 2016 - February 2017
    20th July 2016, for STSMs during the period August - November 2016

What is an STSM

A Short-Term Scientific Mission (STSM) is a research visit between countries. We encourage STSMs, as they are an effective way of starting and maintaining collaborations. It is expected that STSMs will result in publications. Remember to acknowledge the STSM funding from COST Action CA15123, and send details of the publication to the Dissemination Chair.

The coordinator for STSMs is Prof Silvia Ghilezan (University of Novi Sad, Serbia). The procedure for proposing an STSM is described in this document, and you should also read Chapter 7 of the COST Vademecum. Proposals are made through the e-COST system; the access point is here.

The main points about STSMs are:

  • An STSM must be between two different countries which are participating in the Action.
  • Multi-party STSMs are possible, i.e. several people simultaneously visiting a single host. In this case, each person who is travelling must submit a separate proposal, but the supporting documents can be shared.
  • The minimum duration is 5 working days, and the maximum duration is 3 months. For early-stage researchers (less then PhD + 8 years), the maximum duration is 6 months, with approval from the Management Committee.
  • The financial contribution for a STSM will be a fixed grant based on the applicant's budget request and the evaluation of the application by the STSM assessment committee. The grant will not necessarily cover all costs of the visit. The grant only covers travel and subsistence.
  • Recommended (but not obligatory) grants: up to EUR 120 for daily allowance (depending on the location) and EUR 300 for travel. The total should not exceed EUR 2500 up to 3 months (or EUR 3500 for Early Stage Researchers on an STSM of longer than 3 months).
  • Proposals should normally be submitted at least 6 weeks before the start of the STSM. Exceptions can be made if there is a good reason.
  • Within 4 weeks of the end of the STSM, a short report must be submitted.

Prioritization:

Lower priority will be given to (in the following order of strength):

  • combination visitor-host has already received funding
  • visitor has already received funding
  • host has already received funding for a visitor
  • research group has already used many STSM opportunities (as host or visitor)

Industrial STSMs are highly rated.

List of STSMs

First budget period (1st June 2016 to 30th April 2017): total 21

  • Display map categories for models of type theory
    Visitor: Benedikt Ahrens (INRIA, Nantes, FR)
    Host: Peter Lumsdaine (Stockholm University, SE)
    Dates: 2017-04-04 to 2017-04-17
  • Concurrency, abstract machines, and control operators
    Visitor: Sergue´ Lenglet (INRIA Bretagne Atlantique, Rennes, FR)
    Host: Dariusz Biernacki (University of Wroclaw, PL)
    Dates: 2017-04-03 to 2017-04-08
  • Concurrency, abstract machines, and control operators
    Visitor: Alan Schmitt (INRIA Bretagne Atlantique, Rennes, FR)
    Host: Dariusz Biernacki (University of Wroclaw, PL)
    Dates: 2017-04-03 to 2017-04-08
  • Object-Oriented Programming in Dependent Type Theory - Inheritance, Heap, Case Studies
    Visitor: Stephan Adelsberger (Vienna University of Economics and Business, Vienna, AT)
    Host: Anton Setzer (Swansea University, Swansea, UK)
    Dates: 2017-04-02 to 2017-04-15
  • Precise asynchronous subtyping for multiparty session types
    Visitor: Alceste Scalas (Imperial College London, UK)
    Host: Silvia Ghilezan (University of Novi Sad, Serbia)
    Dates: 2017-03-21 to 2017-03-28
  • Precise asynchronous subtyping for multiparty session types
    Visitor: Nobuko Yoshida (Imperial College London, UK)
    Host: Silvia Ghilezan (University of Novi Sad, Serbia)
    Dates: 2017-03-21 to 2017-03-28
  • Automation in typed proof assistants
    Visitor: Thibault Gauthier (University of Innsbruck, Austria)
    Host: Josef Urban (Czech Institute of of Informatics, Robotics and Cybernetics, Prague, Czech Republic)
    Dates: 2017-01-30 to 2017-03-03
  • Applications of Dependent Types to Hardware Design and Verification
    Visitor: Joao Paulo Pizani Flor (Utrecht University, NL)
    Host: Mary Sheeran (Chalmers University of Technology, Gothenburg, Sweden)
    Dates: 2017-02-20 to 2017-04-02
  • Real Numbers and Homotopy Type Theory
    Visitor: Niels van der Weide (Radboud University, Nijmegen, NL)
    Host: Andrej Bauer (University of Ljubljana, Slovenia)
    Dates: 2017-01-29 to 2017-02-19
  • Lambda-calculi with a comonad
    Visitor: Tarmo Uustalu, (Institute of Cybernetics at TUT, Tallinn, Estonia)
    Host: Jose Espirito Santo (University of Minho, Braga, Portugal)
    Dates: 2016-12-12 to 2016-12-17
  • Types, Verification and Privacy
    Visitor: Petros Stefaneas (National Technical University of Athens, Greece)
    Host: Silvia Ghilezan (University of Novi Sad, Serbia)
    Dates: 2017-01-22 to 2017-01-27
  • Translations between type theories with univalence
    Visitor: Robin Adams (Universitetet i Bergen, Norway)
    Host: Thierry Coquand (University of Gothenburg, Sweden)
    Dates: 2016-11-12 to 2016-11-19
  • Normalisation by Evaluation for dependent types
    Visitor: Ambrus Kaposi (Eötvös Loránd University, Budapest, Hungary)
    Host: Thorsten Altenkirch (University of Nottingham, UK)
    Dates: 2016-11-23 to 2016-12-01
  • Intersection types for sequent calculus
    Visitor: Jose Espirito Santo (University of Minho, Braga, Portugal)
    Host: Silvia Ghilezan (University of Novi Sad, Serbia)
    Dates: 2016-10-23 to 2016-10-29
  • Model theory for Combinatory Logic with Intersection Types
    Visitor: Andrej Dudenhefner (Technical University of Dortmund, Germany)
    Host: Ugo de'Liguoro (Universita di Torino, Italy)
    Dates: 2016-09-25 to 2016-10-01
  • Model theory for Combinatory Logic with Intersection Types
    Visitor: Boris Duedder (Technical University of Dortmund, Germany)
    Host: Ugo de'Liguoro (Universita di Torino, Italy)
    Dates: 2016-09-25 to 2016-10-01
  • Logical Relations for effectful programming languages
    Visitor: Amin Timany (KU Leuven, Belgium)
    Host: Lars Birkedal (Aarhus University, Denmark)
    Dates: 2016-08-15 to 2016-11-13
  • Dependently Typed Version Control system
    Visitor: Victor Miraldo (University of Utrecht, Netherlands)
    Host: Pierre Evariste Dagand (LIP6, Paris, France)
    Dates: 2016-10-06 to 2016-10-15
  • Event semantics and coercive subtyping
    Visitor: Serguei Solovyev (Paul Sabatier University (Toulouse-3), France)
    Host: Zhaohui Luo, Royal Holloway (University of London, UK)
    Dates: 2016-09-14 to 2016-09-20
  • Formalisation of the metatheory of type theory
    Visitor: Peter Lumsdaine (Stockholm University, Sweden)
    Host: Andrej Bauer (University of Ljubljana, Slovenia)
    Dates: 2016-11-20 to 2016-11-30
  • Reasoning About Capability Systems using Logical Relations
    Visitor: Lau Skorstengaard (Aarhus University, Aarhus, Denmark)
    Host: Dominique Devriese (KU Leuven, Belgium)
    Dates: 2016-10-23 to 2016-12-16