Submit a paper
- Please use Easychair to submit your paper.
- Carefully select your track (ASM, Alloy, B, Z), which are divided in two:
- full papers (14 pages, LNCS format)
- short papers (3 pages), for short presentations of work in progress, industrial experience reports and tool demonstrations
- Important dates
- Full papers: September 21, 2009 September 30, 2009.
- Short papers: October 11, 2009.
Formatting examples for short papers: