Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
cfm [2013/05/09 19:52] vkuncak |
cfm [2013/05/09 19:56] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Communications in Formal Methods ====== | ====== Communications in Formal Methods ====== | ||
- | * 5 pages in this 2-column format | + | * 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 |