Call for papers
EXTENDED DEADLINE : April 28, 2010.
This year, the SAME 2010 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 2010 Forum are :
- System and Design
- Integration
- Security
- Tools and Methodologies
- Process and Manufacturing
- Prototyping, Verification, Validation, Test
The SAFA’2010 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 19, 2010 EXTENDED DEADLINE : April 28, 2010
Notification of acceptance: May 10, 2010
Deadline for final paper version: June 21, 2010
Deadline for final slides version (for USB key): August 20, 2010
Papers will not be accepted for submission after
17:00 CET, April 19, 2010. EXTENDED DEADLINE : April 28, 2010
Contact
SAFA Workshop
This email address is being protected from spambots. You need JavaScript enabled to view it.
www-sop.inria.fr/oasis/SAFA/
SAME Association
This email address is being protected from spambots. You need JavaScript enabled to view it.
same-conference.org
