Topics
Topics of interests shall include, but not be limited to:
- models, logic and types for structured interactions;
- expressiveness results;
- timed and hybrid interactions;
- verification, analysis and tools;
- programming primitives for structured interactions;
- structured interactions as coordination mechanisms;
- structured interactions inspired by emerging computational models (systems biology, quantum computing, etc.).