posted by user: mpstew || 5172 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

FM 2019   23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods
FAIML 2019   2019 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2019)
SEFM 2019   Software Engineering and Formal Methods
SOSP 2019   The 27th ACM Symposium on Operating Systems Principles
SEFM 2019   17th International Conference on Software Engineering and Formal Methods
IEEE--ICSGSC--Ei and Scopus 2019   IEEE--2019 3rd International Conference on Smart Grid and Smart Cities (ICSGSC 2019)--Ei Compendex and Scopus
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
EMNLP-IJCNLP 2019   Conference on Empirical Methods in Natural Language Processing & International Joint Conference on Natural Language Processing 2019
IMDA 2019   INTELLIGENT METHODS FOR DATA ANALYSIS AND COMPUTER AIDED SOFTWARE ENGINEERING
FCT 2019   22nd Symposium on Fundamentals of Computation Theory