Skip to content. | Skip to navigation

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


You are here: Home / News / First BETTY STSM Completed

First BETTY STSM Completed

The first BETTY Short-Term Scientific Mission has taken place. Jorge Perez (Universidade Nova de Lisboa) and Marco Carbone (IT University of Copenhagen, Denmark) visited Mario Bravetti (University of Bologna, Italy) from 13th to 17th May 2013. The theme of the STSM was "Robust Support for Adaptability in Behavioural Types".