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.