Skip to content

Commit cb0d2f3

Browse files
author
Clément
committed
Minor edits to description.
1 parent a55a8ed commit cb0d2f3

1 file changed

Lines changed: 4 additions & 6 deletions

File tree

README.md

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -6,12 +6,10 @@ ICE is [since 2010](#previous-editions) a satellite workshop of [DisCoTec](https
66

77
## 📢 Highlights {#highlights}
88

9-
- [Distinctive selection procedure](#selection)
10-
- ICE welcomes full papers to be included in the proceedings
11-
- ICE also welcomes oral communications of already published or preliminary work
12-
- Publication in [EPTCS](https://cgi.cse.unsw.edu.au/~eptcs/) -- an [open access](https://www.budapestopenaccessinitiative.org/) venue.
13-
- Special issue in the [Journal of Logical and Algebraic Methods in Programming](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming) (Elsevier)
14-
- Contact: `ice (at) framalistes.org`
9+
- [Distinctive selection procedure](#selection).
10+
- ICE publishes full papers in [EPTCS](https://cgi.cse.unsw.edu.au/~eptcs/) -- an [open access](https://www.budapestopenaccessinitiative.org/) venue, but also welcomes oral communications of already published or preliminary work.
11+
- ICE generally publishes extended versions of selected articles in a special issue in the [Journal of Logical and Algebraic Methods in Programming](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming) (Elsevier).
12+
- ICE strives to maintain a diverse and balanced program committee, and is in general chaired by 4 ["ICECreamers"](#icecreamers) with different backgrounds, geographical locations and interests.
1513

1614
Past proceedings can easily be accessed [through DBLP](https://dblp.uni-trier.de/db/conf/ice/index.html) or by consulting our [previous editions](#previous-editions).
1715

0 commit comments

Comments
 (0)