posted by user: mpstew || 2716 views || tracked by 20 users: [display]

MEMOCODE 2015 : Thirteenth ACM/IEEE International Conference on Formal Methods and Models for System Design


Conference Series : International Conference on Formal Methods and Models for Co-Design
When Sep 21, 2015 - Sep 23, 2015
Where Austin, Texas
Abstract Registration Due Jun 5, 2015
Submission Deadline Jun 12, 2015
Notification Due Jul 17, 2015
Final Version Due Aug 7, 2015
Categories    modeling   systems   architecture   verification

Call For Papers

Deadline Extension
Now June 19, 2015
Abstract submission deadline: Open until the full paper submission deadline, June 19

The 13th ACM-IEEE International Conference on Methods and Models for System Design (MEMOCODE’15) will be held at the University of Texas at Ausin, 21-23 September 2015. This year, for the second time, MEMOCODE’15 will be collocated with FMCAD'15, the 15th Conference on Formal Methods in Computer-Aided Design, SAT'15, the 18th International Conference on Theory and Applications of Satisfiability Testing, DIFTS'15, the International Workshop on Design and Implementation of Formal Tools and Systems, and ACL2'15, the 13th International Workshop on the ACL2 Theorem Prover and Its Applications. MEMOCODE’15 provides an excellent venue for researchers working on formal methods for CAD, and methodologies and models for embedded hardware and/or software design.

Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred. This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus on hardware/software co-design to its new focus on formal methods and models for developing computer systems and their components. MEMOCODE’s objective is to emphasize the importance of models and methodologies in correct system design and development, and to bring together researchers and industry practitioners interested in all aspects of computer system development, to exchange ideas, research results and lessons learned.


MEMOCODE 2015 seeks research contributions on all aspects of methods and models for system, hardware, and software design and development: formal foundations, engineering methods, tools, and experimental case studies. Research areas of interest include but are not limited to the following:

- Modeling Languages, Methods and Tools: Programming languages and models; software and system modeling languages; architecture and high-level hardware description languages; timing models; model and program synthesis methods; model transformation methods

- Formal Methods and Tools: Correct-by-construction; static, dynamic, and type theoretic analysis; verification; validation; test generation; platform-based design; refinement-based, component-based, and compositional approaches to design and verification

- Models and Methods for Developing Critical Systems: Fault-tolerant systems; security-critical and safety-critical systems; cyber-physical systems; autonomous and unmanned systems; assurance cases

- Quantitative/Qualitative Reasoning: Power/performance/cost/latency trade-off methods; power models; reasoning techniques, data mining, and other analytical methods for predicting power/performance; system models for quantitative design space exploration

- Formal Methods/Models in Practice: Design case studies; empirical case studies

Related Resources

MEMOCODE 2016   ACM-IEEE International Conference on Formal Methods and Models for System Design
AIP Special Issue 2016   Journal Acta Informatica Pragensia - Special Issue on Systems
FSEN 2017   Fundamentals of Software Engineering
ICSMO 2017   2017 International Conference on System Modeling and Optimization (ICSMO 2017)
NFM 2017   The 9th NASA Formal Methods Symposium
IJMSA 2016   International Journal of Modelling, Simulation and Applications
FMBBS 2016   IEEE BIBM Workshop on Formal Methods for Biological and Biomedical Systems
SysCon 2017   IEEE International Systems Conference 2017
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
IJCCBS-SI 2016   Int. J. of Critical Computer-Based Systems. Special Issue on: Methods and Tools for Assurance of Critical Infrastructure Protection