posted by user: jyotirmoy || 4745 views || tracked by 10 users: [display]

MEMOCODE 2013 : Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Formal Methods and Models for Co-Design
 
Link: http://memocode.irisa.fr/2013/
 
When Oct 18, 2013 - Oct 20, 2013
Where Portland, Oregon
Abstract Registration Due Jul 17, 2013
Submission Deadline Jul 24, 2013
Notification Due Aug 21, 2013
Final Version Due Sep 18, 2013
Categories    formal methods   codesign   verification
 

Call For Papers

SCOPE

The eleventh 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.

IMPORTANT DATES

Abstract submission deadline: TBA
Paper submission deadline: one week later
Notification of acceptance: one month later
Final Version for Papers: one month later

TOPICS

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,
formal methods and tools for hardware and software verification including theorem proving, decision procedures,
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,
modeling and reuse of intellectual property at system-level, and design abstraction and high-level design demonstrating productivity and quality in generating and validating RTL and software.

SUBMISSIONS

Submissions of research and experience papers will only be accepted through the conference website. Papers must not exceed 10 pages and must be formatted following IEEE Computer Society guidelines. Submissions must be written in English, describe original work, and not substantially overlap papers that have been published or are being submitted to a journal or another conference with published proceedings

WEBSITE http://www.easychair.org/conferences/?conf=memocode2013

DESIGN CONTEST

Information on the MEMOCODE 2013 popular design contest will be made available here.
PROCEEDINGS

Conference proceedings will be published by the IEEE Computer Society.

Related Resources

IEEE-5G-Security 2020   IEEE Communications Magazine Feature Topic “5G Security: Can 5G Be Verifiably Secure?”
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
CPP 2020   Certified Programs and Proofs
DataMod 2019   8th International Symposium “From Data to Models and Back (DataMod)”
WiMoA 2019   11th International Conference on Wireless, Mobile Network & Applications
CMSB 2019   17th International Conference on Computational Methods in Systems Biology
ABZ 2020   ABZ 2020 – 7th International Conference on Rigorous State Based Methods
FRAI-ISDA 2019   Special Track: Formal Reasoning with Artificial Intelligence at ISDA`2019
FTSCS 2019   7th International Workshop on Formal Techniques for Safety-Critical Systems
FACS 2019   Formal Aspects of Component Software