Behavioural type systems go beyond data type systems in order to specify, characterize and reason about dynamic aspects of program execution. Behavioural types encompass: session types; contracts (for example in service-oriented systems); typestate; types for analysis of termination, deadlock-freedom, liveness, race-freedom and related properties; intersection types applied to behavioural properties; and other topics. Behavioural types can form a basis for both static analysis and dynamic monitoring. Recent years have seen a rapid increase in research on behavioural types, driven partly by the need to formalize and codify communication structures as computing moves from the data-processing era to the communication era, and partly by the realization that type-theoretic techniques can provide insight into the fine structure of computation. The aim of this summer school is to provide advanced training, especially to PhD students and early-career researchers, in all aspects of the theory and practice of behavioural types. COST Action IC1201 will provide funding for PhD students and early career researchers who are working in COST countries. Other participants can attend with their own funding.

User Name : maria@easyconferences.eu
Posted on

Related CFPs

IJCACS   International Journal of Control, Automation, Communication and Systems
AIDMK 2026   14th International Conference on Artificial Intelligence, Data Mining & Knowledge Management (AIDMK 2026)
IJCCSA   International Journal on Cloud Computing: Services and Architecture
IJITCA   International Journal of Information Technology, Control and Automation