This year, a BehAPI tutorial day will be colocated with DisCoTec 2023. It will be organised on Friday, June 23, after the main conference. The following three tools will be presented:
- JaTyC Java Typestate Checker to be presented by João Mota and António Ravara
- SeTTS: Session Type Test Synthesis for Web-based APIs to be presented by Christian Bartolo Burlo
- Local-First Principles: a Behavioural Typing Approach, to be presented by Emilio Tuosto
More details on the tutorials can be found here.
Early stage researchers are highly encouraged to attend, particularly PhD students and postdocs. If applying through BehAPI, you may be entitled to financial support, particularly, a cover of the registration fee as well as a fixed subsistence allowance to cover flights and accommodation.
Kindly contact caroline.r.caruana@um.edu.mt if you are interested in attending this tutorial day. In the meantime, you may register on the DisCoTec website at your earliest, and plan your travel details accordingly.