This year, the SAME 2011 Forum and the SAFA workshop will be co-jointly organized, but with seperate Calls for Papers.
And as always, technical papers, tutorials, panels’ discussion, exhibition and the University booth will be present.
TOPICS FOR TECHNICAL PAPERS & TUTORIALS
The areas of interest for SAME 2011 Forum are :
- System and Design
- Tools and Methodologies
- Process and Manufacturing
- Prototyping, Verification, Validation, Test
In the context of the main topics: Aerospace, Automative, MIPI (Mobile Industry Processor Interface).
The SAFA’2011 Workshop focuses on all techniques around formal analysis, and more precisely :
- 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
SCHEDULE & DEADLINES
Deadline for abstracts’ submission: April 15, 2011
EXTENDED DEADLINE : May 2, 2011
Notification of acceptance: May 16, 2011
Deadline for final paper version: June 20, 2011
Deadline for final slides version (for USB key): July 20, 2011