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

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.

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.

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

The email list for the MC is betty-mc@dcs.gla.ac.uk. 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.

WG1: Foundations

WG2: Security

WG3: Languages

WG4: Tools and Applications

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.

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.

Here is a list of ideas for possible projects under Horizon 2020 proposed by members of the action.

• Reverse engineering interoperability by means of behavioural types.
• Reliable and Trustworthy Communication: A Harmonious Integration of Causality, Reputation and Self-Adaptive Types for Analyzing Multiparty Protocols.

The email list for all participants is bt-eu@dcs.gla.ac.uk. 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.

• 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.

• 09.00 - 10.00: WG1 (Foundations)
  • WG1 - Introduction (Hans Hüttel)
  • Short presentations:
    1. Global Programming (Marco Carbone)
    2. Typing Progress in Communication Centred Systems (Hugo Torres Vieira)
    3. Adaptive Choreographies (Ivan Lanese)
    4. Logical Foundations of Session-Based Interaction(Luis Caires)
    5. Live Sessions With Responses (Marco Carbone)
  • Discussion

• 10.00 - 11.00: WG2 (Security)
  • Overview (Ilaria Castellani and Hugo Vieira)
  • Short presentations:
    1. Information flow control and reputation in multiparty sessions (Sara Capecchi)
    2. Multi-party sessions as a security protocol abstraction (Pierre-Malo Deniélou)
    3. Security Types for Dynamic Web Data (Svetlana Jakšic)
    4. Proof-Carrying Code with Dependent Session Types (Bernardo Toninho)
  • Discussion

• 11.00 - 11.30: Break

• 11.30 - 12.30: WG3 (Languages)
  • Overview (Luca Padovani)
  • Short presentations:
    1. Modular Session Types for Objects (Nils Gesbert)
    2. Session Types in Functional Languages (Vasco Vasconcelos and Bernardo Toninho)
    3. Let’s Scribble (Rumyana Neykova)
  • Discussion

• 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

• 16.00 - 17.00: Management Committee meeting (MC members only). Here are the agenda, the minutes, and the DC Rapporteur's slides.

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

* Madrid

* Lisbon

* Belgrade

* Malta

* Opatija-Lovran

Here is old material preserved from our original wiki.