Skip to content. | Skip to navigation

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

Navigation

You are here: Home / Contact

Contact

Chair of the Action

Dr Simon Gay, University of Glasgow, UK

Vice-Chair of the Action

Dr António Ravara, Universidade Nova de Lisboa, Portugal

Email Lists

Please remove the X characters from these email addresses. If you would like to be added to any of these email lists, please contact the Action Chair.

  • All BETTY members:
    bt-eu@dcsXglaXacXuk
  • Management committee:
    betty-mc@dcsXglaXacXuk
  • WG1 (Foundations)
    betty-foundations@dcsXglaXacXuk
  • WG2 (Security)
    betty-security@dcsXglaXacXuk
  • WG3 (Languages)
    betty-languages@dcsXglaXacXuk
  • WG4 (Tools and Applications)
    betty-tools@dcsXglaXacXuk