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

MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
EI-ISoIRS 2021   2021 2nd International Symposium on Intelligent Robotics and Systems (ISoIRS 2021)
MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
Spec.Issue on Social Informatics: Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
CSMML 2021   Control Software: Methods, Models, and Languages
MMSys 2021   ACM Multimedia Systems Conference
FM 2021   Formal Methods 2021
CPSIOT 2021   2021International Conference on Cyber Physical Systems and IoT(CPSIOT 2021)
CAV 2021   33rd International Conference on Computer-Aided Verification
IJCSEA 2021   International Journal of Computer Science, Engineering and Applications