<P>The scope of this first experience is to include theoretical and applied aspects of interactions and the synchronization mechanisms used among actors of concurrent or distributed systems. The workshop intends to attract researchers interested in models, verification, tools, and programming primitives concerning such complex interactions. </P> <P><B>Keywords:</B> – models, logic and types for interactions;<BR>– synchronous/asynchronous mechanisms;<BR>– expressiveness results;<BR>– timed and hybrid interactions;<BR>– verification, analysis and tools;<BR>– programming primitives for interactions;<BR>– interactions as coordination mechanisms;<BR>– interactions inspired by emerging computational models (systems<BR>biology, quantum computing, etc.).<BR></P>
Abbrevation
ICE
City
Reykjavik
Country
Iceland
Deadline Paper
Start Date
End Date
Abstract