TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 26071

Behavioural Types for Resilience

( Feb 08 – Feb 13, 2026 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/26071

Organizers

Contact

Related Seminars
  • Dagstuhl Seminar 17051: Theory and Applications of Behavioural Types (2017-01-29 - 2017-02-03) (Details)
  • Dagstuhl Seminar 21372: Behavioural Types: Bridging Theory and Practice (2021-09-12 - 2021-09-17) (Details)
  • Dagstuhl Seminar 24051: Next Generation Protocols for Heterogeneous Systems (2024-01-28 - 2024-02-02) (Details)

Classification
  • Programming Languages

Keywords
  • behavioral types
  • session types
  • communication
  • concurrency
  • distribution