English
Related papers

Related papers: Proceedings 8th Interaction and Concurrency Experi…

200 papers

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…

Logic in Computer Science · Computer Science 2014-10-28 Ivan Lanese , Alberto Lluch Lafuente , Ana Sokolova , Hugo Torres Vieira

This volume contains the proceedings of ICE 2016, the 9th Interaction and Concurrency Experience, which was held in Heraklion, Greece on the 8th and 9th of June 2016 as a satellite event of DisCoTec 2016. The ICE procedure for paper…

Programming Languages · Computer Science 2016-08-11 Massimo Bartoletti , Ludovic Henrio , Sophia Knight , Hugo Torres Vieira

This volume contains the proceedings of ICE 2013, the 6th Interaction and Concurrency Experience workshop, which was held in Florence, Italy on the 6th of June 2013 as a satellite event of DisCoTec 2013. The ICE procedure for paper…

Programming Languages · Computer Science 2013-10-16 Marco Carbone , Ivan Lanese , Alberto Lluch Lafuente , Ana Sokolova

This volume contains the proceedings of ICE'12, the 5th Interaction and Concurrency Experience workshop, which was held in Stockholm, Sweden on the 16th of June 2012 as a satellite event of DisCoTec'12. The topic of ICE'12 was Distributed…

Programming Languages · Computer Science 2012-12-17 Marco Carbone , Ivan Lanese , Alexandra Silva , Ana Sokolova

This volume contains the proceedings of ICE'25, the 18th Interaction and Concurrency Experience, which was held on Friday 20th June 2025 at the \'Ecole National Sup\'erieure des Arts et M\'etiers in Lille, France, as a satellite workshop of…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-19 Clément Aubert , Cinzia Di Giusto , Simon Fowler , Violet Ka I Pun

This volume contains the proceedings of ICE'22, the 15th Interaction and Concurrency Experience, which was held as an hybrid event in Lucca, Italy, and as a satellite event of DisCoTec'22. The ICE workshop series features a distinguishing…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-08-09 Clément Aubert , Cinzia Di Giusto , Larisa Safina , Alceste Scalas

This volume contains the proceedings of ICE 2017, the 10th Interaction and Concurrency Experience, which was held in Neuch\^atel, Switzerland on the 21st and 22nd of June 2017 as a satellite event of DisCoTec'17. The ICE procedure for paper…

Logic in Computer Science · Computer Science 2017-11-30 Massimo Bartoletti , Laura Bocchi , Ludovic Henrio , Sophia Knight

This volume contains the proceedings of ICE'20, the 13th Interaction and Concurrency Experience, which was held online on the 19th of June 2020, as a satellite event of DisCoTec'20. The ICE workshop series features a distinguishing review…

Programming Languages · Computer Science 2020-09-17 Julien Lange , Anastasia Mavridou , Larisa Safina , Alceste Scalas

This volume contains the proceedings of ICE'18, the 11th Interaction and Concurrency Experience, which was held in Madrid, Spain on the 20th and 21st of June 2018 as a satellite event of DisCoTec'18. The ICE workshop series features a…

Logic in Computer Science · Computer Science 2018-10-05 Massimo Bartoletti , Sophia Knight

This volume contains the proceedings of ICE'19, the 12th Interaction and Concurrency Experience, which was held in Copenhagen, Denmark on the 20th and 21st of June 2019, as a satellite event of DisCoTec'19. The ICE workshop series features…

Programming Languages · Computer Science 2019-09-12 Massimo Bartoletti , Ludovic Henrio , Anastasia Mavridou , Alceste Scalas

This volume contains the proceedings of ICE'21, the 14th Interaction and Concurrency Experience, which was held online on the 18th of June 2021, as a satellite event of DisCoTec'21. The ICE workshop series features a distinguishing review…

Programming Languages · Computer Science 2021-10-01 Julien Lange , Anastasia Mavridou , Larisa Safina , Alceste Scalas

This volume contains the proceedings of ICE'23, the 16th Interaction and Concurrency Experience, which was held at the NOVA University in Lisbon, Portugal, as a satellite event of DisCoTec'22. The ICE workshop series features a…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-08-21 Clément Aubert , Cinzia Di Giusto , Simon Fowler , Larisa Safina

This volume contains the pre-proceedings of ICE'11, the 4th Interaction and Concurrency Experience workshop, which was held in Reykjavik, Iceland on the 9th of June 2011 as a satellite event of DisCoTec'11. The topic of ICE'11 was Reliable…

Logic in Computer Science · Computer Science 2011-08-02 Alexandra Silva , Simon Bliudze , Roberto Bruni , Marco Carbone

This volume contains the proceedings of ICE'24, the 17th Interaction and Concurrency Experience, which was held on Friday 21th June 2024 at the University of Groningen in Groningen, The Netherlands, as a satellite workshop of DisCoTec 2024.…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-12-11 Clément Aubert , Cinzia Di Giusto , Simon Fowler , Violet Ka I Pun

This volume contains the proceedings of the 3rd Interaction and Concurrency Experience (ICE 2010) workshop, which was held in Amsterdam, Netherlands on 10th of June 2010 as a satellite event of DisCoTec'10. Each year, the workshop focuses…

Logic in Computer Science · Computer Science 2010-10-27 Simon Bliudze , Roberto Bruni , Davide Grohmann , Alexandra Silva

PLACES 2015 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the eighth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop…

Programming Languages · Computer Science 2016-02-11 Simon Gay , Jade Alglave

This volume contains the post-proceedings of PLACES 2014, the seventh Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, which was held in Grenoble, France, on April 12th 2014, and co-located with…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-06-13 Alastair F. Donaldson , Vasco T. Vasconcelos

This volume contains the proceedings of the 2nd Workshop on Interaction and Concurrency Experience (ICE'09). The workshop was held in Bologna, Italy on 31th of August 2009, as a satellite workshop of CONCUR'09. The previous edition of ICE…

Logic in Computer Science · Computer Science 2009-12-07 Filippo Bonchi , Davide Grohmann , Paola Spoletini , Emilio Tuosto

This volume contains the proceedings of the 8th Workshop on Security Issues in Concurrency (SecCo 2010). The workshop was held in Paris, France on August 30th, 2010, as a satellite workshop of CONCUR'10. The aim of the SecCo workshop series…

Cryptography and Security · Computer Science 2011-02-28 Konstantinos Chatzikokolakis , Véronique Cortier

PLACES 2012 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the fifth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop…

Programming Languages · Computer Science 2013-02-26 Simon Gay , Paul Kelly
‹ Prev 1 2 3 10 Next ›