Кратки назив: BETTY 2016
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.
Тип | Конференција |
Карактер скупа | Међународни |
Научна област | Формалне науке Математика Логика Информационе и комуникационе технологије Техничке науке Електротехника Инжењеринг |
Језици | English, |
Подразумјевани језик | English |
Важни датуми |
|
Временска зона | - |
Рок за пријаву учешћа | 23.06.2016. |
Почетак конференције | 27.06.2016. |
Завршетак конференције | 01.07.2016. |
Контакти |
|
---|---|
Контакт особа | easyconferences |
Контакт телефон | 22591900 |
Aдреса e-поште | info@easyconferences.eu |
Контакт сајт | http://summerschool2016.behavioural-types.eu/ |
Презентација конференције | betty.ekonferencije.com |