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]> CALL FOR PARTICIPATION 12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE'14) Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland, October 19-21, 2014 Collocated with FMCAD 2014 WEBSITE http://www.memocode-conference.com OVERVIEW The 12th ACM-IEEE International Conference on Methods and Models for System Design (MEMOCODE’14) will be held in Lausanne, Switzerland on October 19-21, 2014. This year, for the second time, MEMOCODE will be collocated with the FMCAD conference, providing attendees the opportunity to attend joint tutorial sessions and keynotes. It will provide an excellent venue for researchers working on formal methods for CAD, and methodologies and models for embedded hardware and/or software design. In the past, MEMOCODE emphasized co-design as its primary focus, but over the last decade, the clear boundaries between system components implemented in hardware, firmware, software, middleware or applications have blurred. This evolution in system design practices has necessitated a change in the title of the conference to cater to the needs of today's industry and research practices. MEMOCODE's main agenda is to bring together researchers in software design, hardware design, as well as hardware/software co-design, and exchange ideas, research results, lessons learned from each other and apply them to each other's areas. We want to emphasize the importance of models and methodologies in correct system design, and provide a platform for researchers and industry practitioners who work in any or all components of the system stack - hardware, firmware, middleware, software, architecture and applications. KEYNOTES This year, MEMOCODE’14 features three exciting keynote talks on * “Proving (and revisiting) what programs do not”, by Bertrand Meyer, ETH Zurich and Eiffel * “Security and privacy in implantable medical devices: an ongoing concern”, by Wayne Burleson, University of Massachusetts at Amherst * “A framework for modeling architectures and their properties”, by Joseph Sifakis, EPFL TUTORIALS MEMOCODE’14 tutorial day is jointly organized with FMCAD’14 and comprises the following lectures * “Efficient symbolic execution for software testing”, by Johannes Kinder, Royal Holloway, University of London * “Challenges in Bit-Precise Reasoning”, by Armin Biere, Johannes Kepler University, Linz * “Challenging Problems in Industrial Formal Verification”, by Ziyad Hanna,Cadence Design Systems * “A Tour of CVC4: How it works, and how to use it”, by Morgan Deters et al. 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. This year, we introduce a software tool contest along with our traditional design contest to interest more software developers in taking part in MEMOCODE and showcase their skills in making software tools that instantiate methodologies and model-based approaches to system design. PROGRAM The detailed program of MEMOCODE’14 is available on the conference website at http://memocode.irisa.fr/2014/#prog REGISTRATION Secure online registration is available from EPFL at http://inform.epfl.ch/?form=Memocode_2014 or from the website at http://memocode.irisa.fr/2014/#reg The deadline for early registration is September 17th., 2013. For any question or comment please contact the organizers at mailto:[email protected] _______________________________________________ Memocode mailing list [email protected] ------------------------------------------------------------------------------ Want excitement? Manually upgrade your production database. When you want reliability, choose Perforce. Perforce version control. Predictably reliable. http://pubads.g.doubleclick.net/gampad/clk?id=157508191&iu=/4140/ostg.clktrk _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
