COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (BETTY)

This wiki site is for internal discussion among BETTY members. The public BETTY web site, with up-to-date information about activities, is

If you need to become an editor of this site, contact Simon Gay, António Ravara or Hans Hüttel. We need your full name and your e-mail address.

Next Meeting

There will be two separate, but adjacent, events in Madrid in September 2013.

September 23-24: the BEAT 2 workshop. This is an open workshop and will have a typical workshop format.

September 25-26: BETTY Working Group and Management Committee meetings. The WG meetings will include discussion of the state-of-the-art reports, and discussion of how to move ahead with research on BETTY topics. The MC meeting will probably be on September 26.

Management Committee

The members of the Management Committee are listed on the COST web site.

The email list for the MC is Messages are only accepted from subscribers, so you have to make sure that you are sending from your subscribed address.

The administrative web site for the email list allows individual subscribers to change their options.

Working Groups

Short-Term Scientific Missions

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.

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

The main points about STSMs are summarised below.

  • An STSM must be between two different countries which are participating in the Action. (It is also possible to have an STSM involving a non-COST country that has a reciprocal agreement with COST. In this case the procedure is different; please discuss it with the STSM coordinator).
  • 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 100 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.

Horizon 2020

Here is a folder with general information about Horizon 2020 and here is the ICT-related section of the preliminary programme.

The joint WG meeting on 17 February 2014 will discuss future research within the Action and in particular to begin work on one or more research proposals for Horizon 2020.

The meeting will take place at the COST Office in Brussels.

Here are the slides from Jorge Gasos's presentation.

Current ideas for Horizon 2020 projects

Email List

The email list for all participants is Messages are only accepted from subscribers, so you have to make sure that you are sending from your subscribed address.

The administrative web site for the email list allows individual subscribers to change their options.

Most Recent Meeting: Sunday 24th March at ETAPS

  • The most recent meeting took place on Sunday 24th March in Rome, as part of the post-ETAPS workshops. The format of the meeting was as follows:
    • Four sessions, sequentially, one for each Working Group; these sessions were open to everyone. Each session focused on working towards the state-of-the-art report that the WG is committed to producing during the first year of the Action. Within each session, there was an opening presentation outlining the scope of the WG, followed by several shorter presentations on themes within the WG, its relationship to other WGs, and directions for future research. General discussion followed. Each WG chair planned its session in discussion with WG members.
    • There was also a short meeting of the Management Committee.


  • 11.00 - 11.30: Break
  • 12.30 - 14.00: Lunch
  • 14.00 - 15.00: WG4 (Tools and Applications)
    • Overview: Peter Wong
    • Short presentations:
      1. Tijs Slaats - Session types for cross-organizational workflows in case management systems
      2. Luis Caires - Towards algorithmic typechecking of concurrent programs with behavioral-separation types
      3. Tim Hallwyl - Electronic Exchange of Social Security Information (EESSI)
    • Discussion
  • 15.00 - 15.30: Open discussion
  • 15.30 - 16.00: Break

Past Meetings

The kick-off meeting of the Management Committee took place on Friday 26th October in Brussels. Here are the minutes of the meeting.

Summer School Proposals

Old Material

start.txt · Last modified: 2014/02/21 11:04 by simon
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki