|
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
Cette adresse email est protégée contre les robots des spammeurs, vous devez activer Javascript pour la voir.
www-sop.inria.fr/oasis/SAFA/
SAME Association
Cette adresse email est protégée contre les robots des spammeurs, vous devez activer Javascript pour la voir.
www.same-conference.org
|
|
|
|
|
