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:55] 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 | * Reviewed | ||
* Experimental data uploaded and stored | * Experimental data uploaded and stored | ||
* Using arxiv.org | * Using arxiv.org | ||
- |