posted by system || 2303 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

TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
SPIN 2023   29th International Symposium on Model Checking of Software
TFP 2023   Trends in Functional Programming
ESOP 2023   32st European Symposium on Programming
RTNS 2023   International conference on Real-Time Networks and Systems
FMtea 2023   Formal Methods Teaching Workshop
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
ICLA 2022   10th Indian Conference on Logic and its Applications
MEMOCODE 2022   20th ACM/IEEE International Symposium on Formal Methods and Models for System Design
iccq 2023   The Third International Conference on Code Quality