MemoCode 2013
Date: Oct 18, 2013 1:45 am – Oct 20, 2013 8:45 pm
Location: Portland, OR
Eleventh ACM-IEEE International Conference on Formal Methods and Models for Codesign
October 18-20, 2013 - Portland , Oregon, USA
The eleventh ACM-IEEE MEMOCODE conference focuses on research and developments in methods, tools, and architectures for the design of hardware/software systems. MEMOCODE seeks submissions that present novel formal methods and design techniques to create, refine, and verify complex hardware/software systems and to tackle the tight constraints on timing, power, costs, reliability and security that these systems face. We also invite application-oriented papers, and especially encourage submissions that highlight the tools and design perspective of formal methods and models, including success as well as failure stories, constructive analysis thereof, and demonstrations of hardware/software codesign. Techniques may range from formal verification to simulation-based verification technologies, and from languages to design paradigms that unify hardware and software codesign. Architectures may range from cloud computing and multi-core platforms to networks on chip. Applications and demonstrators may address values ranging from productivity and reuse to performance and quality.
MEMOCODE 2013 will be co-located with FMCAD 2013, the thirteenth conference on Formal Methods in Computer-Aided Design, and DIFTS 2013, the International Workshop on Design and Implementation of Formal Tools and Systems, in Portland, Oregon. MEMOCDE 2013 will take place from October 18 to 19, followed by a joint FMCAD/MEMOCODE tutorial day on October 20. DIFTS will take place on October 19, 2013. FMCAD will continue from October 21 to 23, 2013.
Conference proceedings will be published by the IEEE Computer Society. In addition, we are planning a Special Issue of IEEE Transactions on Computers with a compendium of the best papers from MEMOCODE 2013, DIFTS 2013 and FMCAD2013.
Please feel free to download, print and post the the MEMOCODE 2013 poster on the notice boards near you.
INVITED TALKS
SPEAKER TBA.
Submitted by Anonymous
on
Eleventh ACM-IEEE International Conference on Formal Methods and Models for Codesign
October 18-20, 2013 - Portland , Oregon, USA
The eleventh ACM-IEEE MEMOCODE conference focuses on research and developments in methods, tools, and architectures for the design of hardware/software systems. MEMOCODE seeks submissions that present novel formal methods and design techniques to create, refine, and verify complex hardware/software systems and to tackle the tight constraints on timing, power, costs, reliability and security that these systems face. We also invite application-oriented papers, and especially encourage submissions that highlight the tools and design perspective of formal methods and models, including success as well as failure stories, constructive analysis thereof, and demonstrations of hardware/software codesign. Techniques may range from formal verification to simulation-based verification technologies, and from languages to design paradigms that unify hardware and software codesign. Architectures may range from cloud computing and multi-core platforms to networks on chip. Applications and demonstrators may address values ranging from productivity and reuse to performance and quality.
MEMOCODE 2013 will be co-located with FMCAD 2013, the thirteenth conference on Formal Methods in Computer-Aided Design, and DIFTS 2013, the International Workshop on Design and Implementation of Formal Tools and Systems, in Portland, Oregon. MEMOCDE 2013 will take place from October 18 to 19, followed by a joint FMCAD/MEMOCODE tutorial day on October 20. DIFTS will take place on October 19, 2013. FMCAD will continue from October 21 to 23, 2013.
Conference proceedings will be published by the IEEE Computer Society. In addition, we are planning a Special Issue of IEEE Transactions on Computers with a compendium of the best papers from MEMOCODE 2013, DIFTS 2013 and FMCAD2013.
Please feel free to download, print and post the the MEMOCODE 2013 poster on the notice boards near you.
INVITED TALKS
SPEAKER TBA.