SAME 2010 Forum and SAFA Workshop Issue Call for Papers

The SAME 2010 Forum and the SAFA workshop have issued separate calls for papers. The SAME 2010 Forum provides a venue for discussions and technical knowledge sharing with the opportunity to meet industrials, high-tech companies displaying and demonstrating microelectronic related products. The SAFA’2010 Workshop focuses on techniques around formal analysis.

SAME 2010 Topics for Technical Papers and Tutorials

  • System and Design
  • Integration
  • Security
  • Tools and Methodologies
  • Process and Manufacturing
  • Prototyping, Verification, Validation, Test

SAFA’2010 Workshop Topics

  • Formal languages: definition, toolkits
  • Model-checking, proves
  • Simulation, testing
  • Model-driven engineering
  • Embedded systems, distributed systems, security-related systems, service-oriented architecture
  • Industrial and teaching experience

Notification of Schedule and Deadlines

  • Deadline for abstracts’ submission: April 19, 2010
  • Notification of acceptance: May 10, 2010
  • Deadline for final paper version: June 21, 2010
  • Deadline for final slides version (for USB key proceedings): July 20, 2010

More info: SAME Forum | SAFA Workshop