ICE’10 – 3rd Interaction and Concurrency Experience
Topic: Guaranteed Interaction
Interaction and Concurrency Experiences (ICEs) is intended as a series of international scientific meetings oriented to researchers in various fields of theoretical computer science. The timeliness and novelty of these events relies both on the variety of the topics that will be treated on each event and on the adopted paper selection mechanism.
Every experience will focus on a different specific topic which affects several areas of computer science. A thorough scientific debate among PC and authors of submitted papers will parallel the reviewing process. After the paper selection phase, papers will be published on the web and the discussion will be extended to perspective participants. The debates are meant to improve both the quality of the accepted papers and the reviewing process. Also, it will prepare and stimulate the scientific discussions during the event.
A workshop dinner will be organised on the evening after the event (Social Event
Workshop programme available (Programme
Abstracts of the invited talks available (Programme
Invited talks by Thomas A. Henzinger
(IST, Austria) and Joost-Pieter Katoen
(RWTH Aachen University, Germany)
Innovative selection procedure (Paper submission
Travel grants for young researchers
ICE’10 is sponsored by CEA LIST
network of excellence and Institute for Programming research and Algorithmics