Submission & Registration
There are two different categories to submit papers in:
- Regular paper: Submissions in this category describe previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. Papers must be 6-15 pages long (in Springer LNCS style).
- Discussion paper: Submissions in this category are intended to initiate discussions and hence should address controversial issues. Papers must be 3-15 pages long (in Springer LNCS style).
Please also indicate with your submission, whether you consider your paper more suitable for the VERIFY or SVARM part of the joint workshop.
Submission of papers to the Joint SVARM & VERIFY 2012 Workshop is via EasyChair:
Registration for the workshop will be via the IJCAR Registration web page.