Skip to content. | Skip to navigation

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


You are here: Home / News / BETTY Meetings in 2014

BETTY Meetings in 2014

The following WG/MC meetings are planned for 2014.

  • A one-day meeting at ETAPS, in Grenoble, France, on a day adjacent to the PLACES workshop.
  • A one-day meeting at CONCUR, in Rome, Italy. We will also propose to organise the next BEAT workshop at CONCUR; if it is accepted, then we intend to hold the WG/MC meeting on an adjacent day.