To unsubscribe, just enter your email address at the bottom of the following page: https://lists.cs.columbia.edu/mailman/listinfo/memocode and click "Unsubscribe or edit options." On the next page, just click "Unsubscribe." You do not have to register or enter a password.
Unsubscribe: <mailto:[email protected]> Thirteenth ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2015) University of Texas at Austin, 21-23 September 2015. Collocated with Formal Methods in Computer-Aided Design (FMCAD 2015) URL: http://www.memocode-conference.com 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 SUBMISSIONS Submit technical papers through Easychair. Submissions must be no longer than 10 pages, written in English and formatted following IEEE Computer Society guidelines. They must describe original work that does not overlap a publication, or submission under review or accepted for publication by another conference or journal. For questions regarding technical submissions, contact C. Heitmeyer or E. Leonard ({constance.heitmeyer, elizabeth.leonard}@nrl.navy.mil). Accepted papers will be published as IEEE conference proceedings and in IEEE Xplore. Selected papers will be invited for publication in a special issue of ACM Trans. on Embedded Computing Systems. DESIGN CONTEST MEMOCODE has a long history of a successful co-design contest section. Even within this design contest, we have seen an evolving trend. Initially the challenge problem started to be implemented as synthesis of co-processors for co-designing a specific computation intensive system. Today, with GPUs, FPGA boards and other flexible hardware add-ons, we often find even software solutions that compete well with the purely co-processor based co-design solutions. As in previous years, MEMOCODE'15 will include a design contest, which will pose a computational challenge that participants may solve using hardware or software on FPGAs, GPUs, and CPUs. The conference will sponsor at least one prize with a monetary award for the contest winners. Additionally, each team delivering a complete and working solution will be invited to prepare an abstract and present it at the conference, and the winning teams will be invited to contribute a short paper for presentation in the conference program. DATES Abstract submission deadline: June 12, 2015, extended Final submission deadline: June 19, 2015, extended Notification sent to authors: July 17, 2015 Camera-ready copies due: August 7, 2015 Conference: September 21-23 2015 ORGANIZATION General and Finance Chair: Andreas Gerstlauer, U. Texas, Austin Program Chairs: Constance Heitmeyer and Elizabeth Leonard, Naval Research Lab Design Contest Chair: Peter Milder, Stony Brook U. Local Chair: Mohit Tiwari, U. Texas, Austin Publicity Chair: Jean-Pierre Talpin, INRIA Publications Chair: Yi Deng, Virginia Tech _______________________________________________ Memocode mailing list [email protected] ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
