Skip to content. | Skip to navigation

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

Navigation

You are here: Home / Meetings / WG/MC Meetings: 25th/26th September 2013 at SEFM

WG/MC Meetings: 25th/26th September 2013 at SEFM

Venue

The meetings will take place at the SEFM venue: Facultad de Informatica, Universidad Complutense de Madrid. Our room is Sala de Grados, on the first floor.

Tuesday evening

For people who arrive in Madrid early enough for dinner on Tuesday, the suggested restaurant is Restaurante Manolo from around 20.30. The restaurant is located reasonably close to the SEFM recommended hotels.

Wednesday 25th September

9.45 - 11.15  Working Group 1: Foundations

  • Presentation of progress with the state-of-the-art report, and discussion. 

Break

11.30 - 13.00  Working Group 2: Security

  • Presentation of progress with the state-of-the-art report, and discussion.

Lunch

14.30 - 15.30  Proposals for the BETTY Summer School 2014

  • Several proposals to organise the summer school will be presented, with an opportunity for questions and discussion. The following schedule was chosen at random. For each proposal, 5 minutes of presentation and 5 minutes of questions.
    14.30 Opatija/Lovran, Croatia
    14.40 Valletta, Malta 
    14.50 Belgrade, Serbia
    15.00 Lisbon, Portugal
    15.10 Madrid, Spain
    15.20 Discussion

Break

16.00 - 17.30  Management Committee Meeting

  • Open to all participants, although voting is restricted to MC members.
  • Business includes:
    • Deciding on the location of the Summer School 2014, and perhaps provisionally deciding on the location of the Summer School 2016.
    • Confirming the dates and locations of BETTY meetings in 2014. The default plan is to co-locate with ETAPS (Grenoble, April 2014) and CONCUR (Rome, September 2014). An alternative suggestion for September is to co-locate with iFM and FACS in Bertinoro, Italy. 
  • Agenda. Minutes.

14.30 - 19.30  SEFM Excursion

  • All participants can join the SEFM excursion, if they want to, instead of the summer school discussion and the Management Committee meeting.
  • However, it is expected that MC members will attend the MC meeting and not join the excursion.

19.30  SEFM Reception

  • All participants can attend the SEFM Reception. Information about the reception is in the registration pack.

Thursday 26th September

9.45 - 11.15  Working Group 3: Languages

  • Presentation of progress with the state-of-the-art report, and discussion. 

Break

11.30 - 13.00  Working Group 4: Tools and Applications

Note change of room for this session: Aula 8 (first floor).

  • Presentation of progress with the state-of-the-art report, and discussion.

Lunch

14.30 - 16.00  Open Discussion and Planning

  • Discussion of future work within and between Working Groups.
  • Discussion of proposals for Horizon 2020.

Break

16.30  End of Meeting