Sponsor of the Day:
Jerkmate
https://conf.researchr.org/track/etaps-2019/behapi-2019-papers
BEHAPI 2019 - Workshop on Behavioural APIs - ETAPS 2019
APIs are software interfaces describing the services, functions or procedures offered by a software component to other components. Behavioural Types are a...
2019 workshopbehaviouralapisetaps
https://etaps.org/2027/
Etaps Homepage
ETAPS – Joint Conference on theory and practice of software
etapshomepage
https://etaps.org/2022/
ETAPS 2022
European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site
etaps2022