International Summer School on Behavioural Types

2nd International Summer School on Behavioural Types - BETTY 2016

Kratki naziv: BETTY 2016

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.

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.

Tip Konferencija
Karakter skupa Međunarodni
Naučna oblast Formalne nauke
    Matematika
    Logika
Informacione i komunikacione tehnologije
Tehničke nauke
    Elektrotehnika
    Inženjering
Jezici English,
Podrazumjevani jezik English

Važni datumi

Vremenska zona -
Rok za prijavu učešća 23.06.2016.
Početak konferencije 27.06.2016.
Završetak konferencije 01.07.2016.

Kontakti

Kontakt osoba easyconferences
Kontakt telefon 22591900
Adresa e-pošte info@easyconferences.eu
Kontakt sajt http://summerschool2016.behavioural-types.eu/
Prezentacija konferencije betty.ekonferencije.com


Add to Calendar 27/06/2016 01/07/2016 BETTY 2016 confOrganiser.com 01/01/2015