Behavioural Types Workshop: 19th-21st April 2011
This workshop was held in Lisbon, at Universidade Nova de Lisboa. It pre-dates the formation of COST Action IC1201 (BETTY), but discussion at the workshop led to the proposal for BETTY. Many BETTY members gave talks at the workshop.
The workshop's web page contains details of the programme and copies of the presentations.