Working Groups

BETTY is organised into four Working Groups.

WG1: Foundations

developing the theory of behavioural types in order to support their applications 

Co-chairs: 
Dr Hans Hüttel, University of Aalborg, Denmark
Prof Vasco Vasconcelos, University of Lisbon, Portugal
Vice-chair:
Dr Ivan Lanese, University of Bologna, Italy

WG2: Security

integrating behavioural types with techniques for security analysis 

Chair:
Dr Ilaria Castellani, INRIA Sophia Antipolis Méditerranée, France
Vice-chair:
Dr Hugo Torres Vieira, IMT Lucca, Italy

WG3: Languages

implementing behavioural types in practical programming languages 

Chair:
Dr Luca Padovani, University of Torino, Italy
Vice-chairs:
Prof Giuseppe Castagna, CNRS, Paris Diderot University, France
Prof Nobuko Yoshida, Imperial College London, UK

WG4: Tools and Applications

developing software engineering tools and applying them to realistic case studies 

Chair:
Dr Thomas Hildebrandt, IT University of Copenhagen, Denmark
Vice-chair:
Dr Fabrizio Montesi, University of Southern Denmark, Denmark