posted by user: mpstew || 7524 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 2024   Formal Methods
ISoIRS 2024   2024 4th International Symposium on Intelligent Robotics and Systems (ISoIRS 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
ACM ICCMS 2024   ACM--2024 The 16th International Conference on Computer Modeling and Simulation (ICCMS 2024)
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
AIMSA 2024   19th International Conference on Artificial Intelligence: Methodology, Systems, Applications AIMSA 2024
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
AMMS 2024   2024 6th International Applied Mathematics, Modelling and Simulation Conference (AMMS 2024)
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
7FMA 2024   7th International Symposium Formal Methods in Architecture