Proceedings Third Workshop on Behavioural Types
Marco Carbone (IT University of Copenhagen)
TL;DR
This paper compiles research from BEAT 2014, a workshop focused on behavioral type theory and its applications, fostering collaboration and exploring future research directions in concurrency and type systems.
Contribution
It presents the proceedings of the third workshop on behavioral types, consolidating recent research and identifying new opportunities in the field.
Findings
Community building among behavioral type researchers
Identification of new research challenges
Collaboration opportunities in concurrency theory
Abstract
This volume contains the proceedings of BEAT 2014, the third Workshop on Behavioural Types. The workshop took place in Rome, Italy, on September 1st 2014, as a satellite even of CONCUR 2014, the 25th International Conference on Concurrency Theory. The aim of this workshop is to bring together researchers in all aspects of behavioural type theory and its applications, in order to share results, consolidate the community, and discover opportunities for new collaborations and future directions.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.