The organisers of the SAME 2010 Forum and the SAFA 2010 Workshop have issued a call for papers.

SAME invites technical papers covering System and Design; Integration; Security; Tools and Methodologies; Process and Manufacturing; Prototyping;  Verification; Validation; or Test, whereas the SAFA 2010 Workshop focuses on techniques around formal analysis.

Abstracts must be submitted by 17:00 CET on 19th April 2010, and full submission details are available on the website.