ABZ 2010 - Orford

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: