English
Related papers

Related papers: Proceedings Third Interaction and Concurrency Expe…

200 papers

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 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 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 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 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 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'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'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 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'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 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'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 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 2015, the 8th Interaction and Concurrency Experience, which was held in Grenoble, France on the 4th and 5th of June 2015 as a satellite event of DisCoTec 2015. The ICE procedure for paper…

Programming Languages · Computer Science 2015-08-20 Sophia Knight , Ivan Lanese , Alberto Lluch Lafuente , Hugo Torres Vieira

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'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 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

This volume contains the papers presented at the 1st International Workshop on "Decentralized Coordination of Distributed Processes", DCDP 2010, held in Amsterdam, The Netherlands on June 10th, 2010 in conjunction with the 5th International…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-06-10 Tom Van Cutsem , Mark Miller

This volume contains the proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), which took place on 30th August 2010 in Paris, co-located with CONCUR'10. The EXPRESS workshop series aim at bringing…

Logic in Computer Science · Computer Science 2010-11-30 Sibylle Fröschle , Frank D. Valencia

This volume contains the proceedings of the 7th Workshop on Security Issues in Concurrency (SecCo'09). The workshop was held in Bologna, Italy on September 5th 2009, as a satellite workshop of CONCUR'09. The aim of the SecCo workshop series…

Cryptography and Security · Computer Science 2009-10-26 Michele Boreale , Steve Kremer
‹ Prev 1 2 3 10 Next ›