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

Antonio Ravara aravara at fct.unl.pt
Mon Aug 22 06:56:32 EDT 2016

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 

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

Simon Gay and António Ravara

More information about the Types-announce mailing list