posted by system || 1993 views || tracked by 8 users: [display]

Memocode 2010 : Eighth ACM-IEEE International Conference on Formal Methods and Models for Codesign


When Jul 26, 2010 - Jul 28, 2010
Where Grenoble, France
Abstract Registration Due Feb 26, 2010
Submission Deadline Mar 5, 2010
Notification Due Apr 30, 2010
Final Version Due May 28, 2010

Call For Papers

The eighth MEMOCODE conference will attract researchers and practitioners who create methods, tools, and architectures for the design of hardware/software systems. These systems face increasing design complexity including tighter constraints on timing, power, costs, and reliability. MEMOCODE seeks submissions that present novel formal methods and design techniques addressing these issues to create, refine, and verify hardware/software systems. We also invite application-oriented papers, and especially encourage submissions that highlight the design perspective of formal methods and models, including success stories and demonstrations of hardware/software codesign. Furthermore, we invite poster presentations describing ongoing work with promising preliminary results.
Topics of interest for regular submissions include but are not limited to

* system- and transaction-level modeling and verification, abstraction and refinement between different modeling levels, formal, semi-formal, and specification-driven verification,
* design and verification methods for composition of concurrent systems: multi-core platform architectures, systems-on-chip, networks-on-chip,
* non-traditional and domain-specific design languages for hardware and software, novel models of computation, and new design paradigms that unify hardware and software design,
* system-level estimation of performance and power in heterogeneous hardware/software architectures,
* applications and demonstrators of formal design methodologies and case studies of innovative system-level design flows, and
* modeling and reuse of intellectual property at system-level.

Related Resources

FM 2021   Formal Methods 2021
ESOP 2021   30th European Symposium on Programming
ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
CPP 2021   Certified Programs and Proofs
IoTDI 2021   ACM/IEEE IoTDI 2021: Call for Posters/Demos
SEC 2021   The Sixth ACM/IEEE Symposium on Edge Computing
FSEN 2021   9th IPM International Conference on Fundamentals of Software Engineering
WIIS 2020   Workshop on Intelligent Information Systems
BIOINFORMATICS 2021   12th International Conference on Bioinformatics Models, Methods and Algorithms