Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision Next revision Both sides next revision | ||
|
cfm [2013/05/09 19:49] vkuncak created |
cfm [2013/05/09 19:59] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Communications in Formal Methods ====== | ====== Communications in Formal Methods ====== | ||
| - | * 5 pages in 2-column format, all included. Style restrictions may apply | + | * 5 pages in [[http://drupal.sigplan.org/sites/default/files/sigplanconf.cls|this 2-column format]] ([[http://lara.epfl.ch/~kuncak/sigplanconf.cls|local copy here]]) |
| - | * Reviewed | + | * Using arxiv.org for submission and permanent storage |
| + | * Peer reviewed | ||
| + | * Continuous submission | ||
| + | * Presentation at conference venues | ||
| * Experimental data uploaded and stored | * Experimental data uploaded and stored | ||
| - | * Using arxiv.org | + | * Authors retain copyright. Creative commons license. |
| + | * Articles remain freely available online | ||
| + | * Truly non-commercial: no up-front fees as in some of the so-called "open access" approaches | ||