• Introduction
• Topics of Interest
• Submission & Registration
• Workshop Program
• Important Dates
• Committees

Submission & Registration

Submission

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:

      https://www.easychair.org/conferences/?conf=svarmverify2012

Registration

Registration for the workshop will be via the IJCAR Registration web page.