Call for participation: ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign.
http://www.memocode-conference.com MEMOCODE 2011 is the ninth in a series of successful international conferences aimed at researchers and practitioners in the field of the design of modern hardware and software system. The conference explores ways in which future design methods can benefit from new results on formal methods. PLEASE BOOK ACCOMODATION as soon as possible. Cambridge is a popular tourist destination (especially in July). INVITED SPEAKERS * Tony Hoare (Microsoft Research). Algebraic technique of classifying languages in families. * Mark Shand (Zoran). A Case Study of Hardware Software Co-Design in a Consumer ASIC. * Anna Slobodova (Centaur Technology). A Flexible Formal Verification Framework for Industrial Scale Validation. TUTORIAL SPEAKERS * Dan Ghica <http://www.cs.bham.ac.uk/~drg/> (University of Birmingham). Functional interfaces in higher-level synthesis * Christopher Jefferson<http://www.cs.st-andrews.ac.uk/~caj/> (University of St. Andrews). Minion: a Fast and Scalable Constraint Solver. * Peter Sewell<http://www.cl.cam.ac.uk/~pes20/> (University of Cambridge). TBD. SOCIAL EVENTS On Monday 11 July we have arranged punting on the river Cam and a BBQ. On the evening of Tuesday 12 July we have arranged a formal dinner at St John's college. No activities have been arranged for the evening of Sunday 10 July. There are many restaurants and bars in the centre of Cambridge. SCOPE The ninth MEMOCODE conference will attract researchers and practitioners who create methods, tools, and architectures for the design of hardware/software systems. These systems face increasing design complexity including tighter constraints on timing, power, costs, and reliability. MEMOCODE seeks submissions that present novel formal methods and design techniques addressing these issues to create, refine, and verify hardware/software systems. We also invite application-oriented papers, and especially encourage submissions that highlight the design perspective of formal methods and models, including success stories and demonstrations of hardware/software codesign. Furthermore, we invite poster presentations describing ongoing work with promising preliminary results. Topics of interest for this conference include (but are not limited to): * system- and transaction-level modeling and verification, abstraction and refinement between different modeling levels, formal, semi-formal, and specification-driven verification, * design and verification methods for composition of concurrent systems: multi-core platform architectures, systems-on-chip, networks-on-chip, * formal methods and tools for hardware and software verification including theorem proving, decision procedures, * non-traditional and domain-specific design languages for hardware and software, novel models of computation, and new design paradigms that unify hardware and software design, * system-level estimation of performance and power in heterogeneous hardware/software architectures, * applications and demonstrators of formal design methodologies and case studies of innovative system-level design flows, * modeling and reuse of intellectual property at system-level, and * design abstraction and high-level design demonstrating productivity and quality in generating and validating RTL and software. PROCEEDINGS Conference proceedings will be published by the IEEE Computer Society. Please consider downloading the MEMOCODE 2011 poster and printing it out and putting on your door, notice boards etc. Thank you. _______________________________________________ Memocode mailing list [email protected] https://lists.cs.columbia.edu/cucslists/listinfo/memocode ------------------------------------------------------------------------------ EditLive Enterprise is the world's most technically advanced content authoring tool. Experience the power of Track Changes, Inline Image Editing and ensure content is compliant with Accessibility Checking. http://p.sf.net/sfu/ephox-dev2dev _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
