[TYPES/announce] BETTY final meeting: call for participation

[Antonio Ravara]

Dear all,

The COST Action Behavioural Types for Reliable Large-Scale Software 
Systems (BETTY, http://www.behavioural-types.eu/) is close to its end. 
We are organising its final meeting on October 6 and 7, in Lisbon, where 
we will highlight the main achievements, show the tools developed, 
discuss future work and the main open problems.

Participation is open to everyone interested on the topic, 
irrespectively of being involved in the action. Anyone working on the 
topics of the action is welcome to propose a talk.

Find more info at 
http://www.behavioural-types.eu/meetings/final-meeting-6th-7th-october-2016-in-lisbon

Information about the program, registration, and fees will be available 
in mid September.

Regards,
Simon Gay and António Ravara