Skip to content

Commit a55a8ed

Browse files
author
Clément
committed
Added ICE 2025.
1 parent 4bb583c commit a55a8ed

File tree

1 file changed

+1
-22
lines changed

1 file changed

+1
-22
lines changed

‎README.md

+1-22
Original file line numberDiff line numberDiff line change
@@ -83,6 +83,7 @@ As of 2025, the members of the steering committee are:
8383

8484
| Year | Date(s) | Location | Co-location | Proceedings | Special Issue |
8585
| --- | --- | -------- | ------ | -------- | ------ |
86+
| [ICE'25](https://www.discotec.org/2025/satellite/ice) | June 16 or 20, 2025 | Lille (FR) | [DisCoTec'25](https://www.discotec.org/2025/) | TBC | TBC |
8687
| [ICE'24](https://www.discotec.org/2024/ice) | June 21, 2024 | Groningen (NL) | [DisCoTec'24](https://www.discotec.org/2024/) | [EPTCS (vol. 414)](https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICE2024) | TBC |
8788
| [ICE'23](https://www.discotec.org/2023/ice) | June 19, 2023 | Lisbon (PT) | [DisCoTec'23](https://www.discotec.org/2023/) | [EPTCS (vol. 383)](https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICE2023) | TBC |
8889
| [ICE'22](https://www.discotec.org/2022/ice) | June 17, 2022 | Lucca (IT) | [DisCoTec'22](https://www.discotec.org/2022/) | [EPTCS (vol. 365)](http://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2022) | [JLAMP (10NR188XZQV)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/special-issue/10NR188XZQV) |
@@ -101,28 +102,6 @@ As of 2025, the members of the steering committee are:
101102
| [ICE'09](http://ice09.dimi.uniud.it/) | August 31, 2009 | Bologna (IT) | [CONCUR'09](http://concur09.cs.unibo.it/) | [EPTCS (vol. 12)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2009) |[MSCS (with EXPRESS'09 and SOS'09, Vol. 22, Number 2)](https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/issue/4A7319C7211730C6521DB797E0B53668) |
102103
| [ICE'08](http://ice08.dimi.uniud.it/) | July 6, 2008 | Reykjavik (IS) | [ICALP'08](https://web.archive.org/web/20090210183154/https://www.ru.is/icalp08) | [ENTCS (vol. 229-3)](https://dl.acm.org/toc/entcs/2009/229/3) | |
103104

104-
<!--
105-
The previous editions of ICE have been held on:
106-
107-
- [ICE'24](https://www.discotec.org/2024/ice), June 21, 2024 in Groningen, The Netherlands, co-located with [DisCoTec'24](https://www.discotec.org/2024/). The post-proceedings will be published soon, and selected papers will appear in a speciale issue of [JLAMP](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/).
108-
- [ICE'23](https://www.discotec.org/2023/ice), June 19, 2023 in Lisbon, Portugal, co-located with [DisCoTec'23](https://www.discotec.org/2023/). The post-proceedings were published in [EPTCS (vol. 383)](https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICE2023) and selected papers will appear in a special issue of [JLAMP](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/).
109-
- [ICE'22](https://www.discotec.org/2022/ice), June 17, 2022 in Lucca, Italy, co-located with [DisCoTec'22](https://www.discotec.org/2022/). The post-proceedings were published in [EPTCS (vol. 365)](http://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2022) and selected papers appeared in a special issue of [JLAMP](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/special-issue/10NR188XZQV).
110-
- [ICE'21](http://www.discotec.org/2021/ice), June 18, 2020, online event co-located with [DisCoTec'21](https://www.discotec.org/2021/). The post-proceedings were published in [EPTCS (vol. 347)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2021) and selected papers appeared in a special issue of [JLAMP](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/special-issue/106L7VVC5FC).
111-
- [ICE'20](http://www.discotec.org/2020/ice), June 19, 2020, online event co-located with [DisCoTec'20](https://www.discotec.org/2020/). The post-proceedings were published in [EPTCS (vol. 324)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2020) and two papers appeared in JLAMP ([10.1016/j.jlamp.2021.100712](https://doi.org/10.1016/j.jlamp.2021.100712) and [10.1016/j.jlamp.2022.100776](https://doi.org/10.1016/j.jlamp.2022.100776)).
112-
- [ICE'19](http://www.discotec.org/2019/ice), June 20-21, 2019 in Lyngby, Denmark, co-located with [DisCoTec'19](https://www.discotec.org/2019/). The post-proceedings were published in [EPTCS (vol. 304)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2019) and selected papers appeared in a special issue of [JLAMP](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/special-issue/101ZSK6ZFQ4).
113-
- [ICE'18](http://2018.discotec.org/cfp_w_ice.html), June 20-21, 2018 in Madrid, Spain, co-located with DisCoTec'18. The post-proceedings were published in [EPTCS (vol. 279)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2018) and selected papers appeared in a special issue of [JLAMP](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/special-issue/10XN45J051V).
114-
- [ICE'17](https://2017.discotec.org/workshops/ice-2017.html), June 21-22 2017 in Neuchâtel, Switzerland, co-located with DisCoTec'17. The post-proceedings were published in [EPTCS (vol. 261)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2017) and a special issue of [JLAMP (Vol. 109)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/vol/109).
115-
- [ICE'16](https://web.archive.org/web/20220331031727/http://2016.discotec.org/index713e.html), June 21-22, 2016 in Heraklion, Greece, co-located with DisCoTec'16. The post-proceedings were published in [EPTCS (vol. 223)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2016) and a special issue of [JLAMP (Vol. 92)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/vol/92).
116-
- [ICE'15](https://discotec2015.inria.fr/workshops/ice-2015/), June 4-5, 2015 in Grenoble, France, co-located with DisCoTec'15. The post-proceedings were published in [EPTCS (vol. 189)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2015) and selected papers appeared in a special issue of [JLAMP (Vol. 86, Number 1)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/vol/86).
117-
- [ICE'14](http://www.discotec2014.tu-berlin.de/workshops/ice-2014), June 6, 2014 in Berlin, Germany, co-located with DisCoTec'14. The post-proceedings were published in [EPTCS (vol. 166)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2014) and selected papers appeared in a special issue of [JLAMP (Vol. 85, Number 3)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/vol/86/issue/3).
118-
- [ICE'13](https://web.archive.org/web/20160423143634/2013.discotec.org/workshops/ice2013/), June 6, 2013 in Florence, Italy, co-located with DisCoTec'13. The post-proceedings were published in [EPTCS (vol. 131)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2013) and selected papers appeared in a special issue of [SCP (vol. 109)](https://www.sciencedirect.com/journal/science-of-computer-programming/vol/109).
119-
- [ICE'12](http://www.artist-embedded.org/artist/Overview,2429.html), June 16, 2012 in Stockholm, Sweden, co-located with DisCoTec'12. The post-proceedings were published in [EPTCS (vol. 104)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2012) and selected papers appeared in a special issue of [SCP (vol. 100)](https://www.sciencedirect.com/journal/science-of-computer-programming/vol/100).
120-
- [ICE'11](http://www.artist-embedded.org/artist/-ICE-2011-.html), June 9, 2011 in Reykjavik, Iceland, co-located with DisCoTec'11. The post-proceedings were published in [EPTCS (vol. 59)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2011) and selected papers appeared in a special issue of [SACS (Vol. XXII)](https://www.info.uaic.ro/en/sacs_volumes/xxii-1/).
121-
- [ICE'10](http://www.artist-embedded.org/artist/-ICE-10-.html) June 10, 2010 in Amsterdam, The Netherlands, co-located with DisCoTec'10. The post-proceedings were published in [EPTCS (vol. 38)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2011) and selected papers appeared in a joint special issue of [SACS (with CAMPUS'10 and CS2BIO'10, Vol. XXI)](https://www.info.uaic.ro/en/sacs_volumes/xxi-1/).
122-
- [ICE'09](http://ice09.dimi.uniud.it/) August 31, 2009 in Bologna, Italy, co-located with CONCUR'09. The post-proceedings were published in [EPTCS (vol. 12)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2009) and selected papers appeared in a joint special issue of [MSCS (with EXPRESS'09 and SOS'09, Vol. 22, Number 2)](https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/issue/4A7319C7211730C6521DB797E0B53668).
123-
- [ICE'08](http://ice08.dimi.uniud.it/), July 6, 2008 in Reykjavik, Iceland, co-located with ICALP'08. The post-proceedings were published in [ENTCS (vol. 229-3)](https://dl.acm.org/toc/entcs/2009/229/3).
124-
-->
125-
126105
## 👤 More Information {#contact}
127106

128107
For additional information, please [contact the ICEcreamers](#icecreamers) at `ice (at) framalistes.org`.

0 commit comments

Comments
 (0)