MEMOCODE '15
13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'15)
http://memocode.irisa.fr/
The University of Texas at Austin, September 21-23, 2015
MEMOCODE will be collocated with FMCAD’15, SAT’15, DIFTS’15, and ACL2’15.
CONFERENCE
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.
Please see the full call for papers at http://memocode.irisa.fr/
CONFERENCE SCHEDULE
- Abstract submission deadline: June 5, 2015
- Paper submission deadline: June 12, 2015
- Notification of acceptance: July 17, 2015
- Final version for Papers: August 7, 2015
- Venue: September 21-23, 2015
Submitted by Anonymous
on
13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'15)
http://memocode.irisa.fr/
The University of Texas at Austin, September 21-23, 2015
MEMOCODE will be collocated with FMCAD’15, SAT’15, DIFTS’15, and ACL2’15.
CONFERENCE
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.
Please see the full call for papers at http://memocode.irisa.fr/
CONFERENCE SCHEDULE
- Abstract submission deadline: June 5, 2015
- Paper submission deadline: June 12, 2015
- Notification of acceptance: July 17, 2015
- Final version for Papers: August 7, 2015
- Venue: September 21-23, 2015