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

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

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Formal Methods and Models for Co-Design
 
Link: http://www.memocode-conference.com/
 
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.

TOPICS

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 2018   16th ACM-IEEE International Conference on Formal Methods and Models for System Design
DSN 2019   Dependable Systems and Networks
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
DisCoTec 2019   International Federated Conference on Distributed Computing Techniques
DIS 2019   Designing Interactive Systems Conference 2019
ACSD 2019   19th International Conference on Application of Concurrency to System Design
IJICS 2018   International Journal of Instrumentation and Control Systems
VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
ACM--ICCMS--Ei, Scopus 2019   ACM--2019 The 11th International Conference on Computer Modeling and Simulation (ICCMS 2019)--Ei Compendex, Scopus