Skip to content. | Skip to navigation

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


You are here: Home / Meetings / Final Meeting: 6th/7th October 2016 in Lisbon / BETTY final meeting: Call for Contributions

BETTY final meeting: Call for Contributions

As discussed in our last meeting in Malta, we open a call-for-contributions to the final meeting, on three "categories":
1) Achievements during the project:
- summaries of collections of papers with significant results, being a coherent topic/project development;
- presentation of prototypes/tools;
- presentation of collaboration activities with companies and/or industrial projects.
2) Recent developments, which might lead into more work in future.
3) Open problems.

To allow us to produce a volume with the contributions that would also summarise (some) of the most significant work developed within BETTY framework, we ask for 2 page contributions (1 page with a extended abstract + 1 page of refs). Please clarify (as a subtitle, for instance) in which category your contribution fits better.

To simplify producing this proceedings and to provide for a light feed-back process, we set up an Easychair account for submissions (

The relevant dates are the following.
Submission deadline: September 12
Notification: September 21
Camera-ready: October 31 (post-proceedings, incorporating the comments/discussion at the meeting)