Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

8-9 June 2016, 9th Interaction and Concurrency Experience (ICE 2016), Heraklion, Greece

Date: 8-9 June 2016
Location: Heraklion, Greece
Deadline: 25 March 2016

Interaction and Concurrency Experiences (ICEs) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools, and programming primitives for complex interactions.

The general scope of the venue includes theoretical and applied aspects of interactions and the synchronization mechanisms used among components of concurrent/distributed systems, related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models.

For more information, see http://2016.discotec.org/ice2016

We solicit contributions relevant to Interaction and Concurrency. Both full and short papers are sollicited, as well as announcements of previously-published or unpublished works. Paper selection will use an innovative mechanism which utilizes both reviewers and an an interactive discussion amongst authors and PC members. Deadline for abstract submission: March 25, 2016.

Please note that this newsitem has been archived, and may contain outdated information or links.