This volume contains the proceedings of ICE 2014, the 7th Interaction and Concurrency Experience, which was held in Berlin, Germany on the 6th of June 2014 as a satellite event of DisCoTec 2014. The ICE procedure for paper selection allows PC members to interact, anonymously, with authors. During the review phase, each submitted paper is published on a Wiki and associated with a discussion forum whose access is restricted to the authors and to all the PC members not declaring a conflict of interests. The PC members post comments and questions that the authors reply to. Each paper was reviewed by three PC members, and altogether 8 papers (including 3 short papers) were accepted for publication. We were proud to host two invited talks, by Pav...
As frequent readers of this part of the Bulletin may have already noticed, from this volume I have t...
International audienceThis issue of Mathematical Structures in Computer Science contains a selection...
The Dagstuhl Seminar 09361 ``Design and Validation of Concurrent Systems\u27\u27 was held in Schlos...
International audienceThis volume contains the proceedings of ICE 2014, the 7th Interaction and Conc...
This volume contains the proceedings of ICE 2016, the 9th Interaction and Concurrency Experience, wh...
International audienceThis volume contains the proceedings of ICE'13, the 6th Interaction and Concur...
This volume contains the proceedings of ICE 2015, the 8th Interaction and Concurrency Experience, wh...
International audienceThis volume contains the proceedings of ICE'12, the 5th Interaction and Concur...
This special issue contains extended versions of selected papers from the 8th Interaction and Concur...
Proceedings of the First Interaction and Concurrency Experiences Workshop (ICE 2008
This special issue contains extended versions of selected papers from the 7th Interaction and Concur...
International audienceThis special issue of Concurrency and Computation: Practice and Experience con...
This documents contains the proceedings of PLACES'08, the 1st Workshop on Programming Language Appro...
AbstractThis volume contains the Proceedings of EXPRESS'99, the sixth International Workshop on Expr...
AbstractThis volume contains the Proceedings of the Eighth International Workshop on Expressiveness ...
As frequent readers of this part of the Bulletin may have already noticed, from this volume I have t...
International audienceThis issue of Mathematical Structures in Computer Science contains a selection...
The Dagstuhl Seminar 09361 ``Design and Validation of Concurrent Systems\u27\u27 was held in Schlos...
International audienceThis volume contains the proceedings of ICE 2014, the 7th Interaction and Conc...
This volume contains the proceedings of ICE 2016, the 9th Interaction and Concurrency Experience, wh...
International audienceThis volume contains the proceedings of ICE'13, the 6th Interaction and Concur...
This volume contains the proceedings of ICE 2015, the 8th Interaction and Concurrency Experience, wh...
International audienceThis volume contains the proceedings of ICE'12, the 5th Interaction and Concur...
This special issue contains extended versions of selected papers from the 8th Interaction and Concur...
Proceedings of the First Interaction and Concurrency Experiences Workshop (ICE 2008
This special issue contains extended versions of selected papers from the 7th Interaction and Concur...
International audienceThis special issue of Concurrency and Computation: Practice and Experience con...
This documents contains the proceedings of PLACES'08, the 1st Workshop on Programming Language Appro...
AbstractThis volume contains the Proceedings of EXPRESS'99, the sixth International Workshop on Expr...
AbstractThis volume contains the Proceedings of the Eighth International Workshop on Expressiveness ...
As frequent readers of this part of the Bulletin may have already noticed, from this volume I have t...
International audienceThis issue of Mathematical Structures in Computer Science contains a selection...
The Dagstuhl Seminar 09361 ``Design and Validation of Concurrent Systems\u27\u27 was held in Schlos...