FMCAD 2013 - FORMAL METHODS IN COMPUTER-AIDED DESIGNCALL FOR PARTICIPATION International Conference on Formal Methods in Computer-Aided Design http://www.fmcad.org/FMCAD13 EARLY REGISTRATION DEADLINE: September 30, 2013 Venue: ====== University Place Hotel and Conference Center 310 SW Lincoln St. Portland, Oregon 97201. USA Conference Overview =================== FMCAD 2013 is the thirteenth in a series of conferences on the theory and application of formal methods in hardware and system design and verification. FMCAD provides a leading international forum to researchers and practitioners in academia and industry for presenting and discussing novel methods, technologies, theoretical results, and tools for formal reasoning about computing systems, as well as open challenges therein. FMCAD 2013 is co-located with MEMOCODE 2013, the ACM/IEEE International Conference on Formal Methods and Models for Codesign, and DIFTS 2013, the International Workshop on Design and Implementation of Formal Tools and Systems. DIFTS will be held on October 19. MEMOCODE will take place from October 18 to 19, followed by a joint FMCAD/MEMOCODE tutorial day on October 20. FMCAD will continue from October 21 to 23, 2013. Registration: ============ Early Registration Deadline: September 30, 2013 Registration details are available from the conference Web page. See URL http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD13/registration.shtml. In addition to traditional full-conference (student and regular) registrations with discounts for ACM/IEEE members, FMCAD provides discounted registration to participants who register for FMCAD and DIFTS together. FMCAD also provides single-day registrations for participants who are already registered full-conference for MEMOCODE during the early registration period (no late single-day registration available). Furthermore, note that MEMOCODE provides single-day registration to MEMOCODE for full-conference registrants of FMCAD. Technical Program ================= The technical program is available at the conference Web page. It includes 2 invited keynotes, 4 invited tutorials (jointly with MEMOCODE 2013), 23 regular papers, 7 short papers, a special session for Student Forum, and a panel. Keynotes -------- - Pranav Ashar, Chief Technology Officer, Real Intent, "Static Verification Based Signoff - A Key Enabler for Managing Verification Complexity in the Modern SoC" - Lori A. Clarke, Professor, University of Massachusetts, Amherst, "Using Process Modeling and Analysis Techniques to Reduce Errors in Healthcare" Tutorials --------- - Rajeev Alur, University of Pennsylvania: "Syntax-Guided Synthesis" - Nate Foster, Mark Reitblatt, Cole Schlesinger (Cornell University), and Arjun Guha (University of Massachussetts, Amherst): "Network Programming in Frenetic" - Jim Grundy, Intel Corporation: "Firmware Validation: Challenges and Opportunities" - Somesh Jha, Bill Harris, Tom Reps, University of Wisconsin-Madison: "Secure Programs via Game-Based Synthesis" Panel ----- - Teaching Formal Methods: Needs, Challenges, Experiences, and Opportunities Moderator: Panagiotis Manolios Student Forum ------------- FMCAD 2013 will feature a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback on it. The event will consist of 14 short presentation by student authors (selected from among 29 submissions), together with a poster corresponding to each presented topic that will be on display throughout the duration of the conference. All FMCAD participants are strongly encouraged to attend the student presentations and the subsequent poster session, and engage with the presenters throughout the duration of the conference. Local Information ================= The conference will be held at the University Place Hotel and Conference Center, Portland, Oregon. We have negotiated a special rate with the hotel for conference attendees, under group name "FMCAD". Please book early to secure the reduced rate. Please submit your individual reservation requests directly to the hotel, either by phone at +1-866-845-4647, or via an email to Bich-Hahn Le at [email protected]. The banquet will be held in Portland City Grill. For details, please see the conference web page. Co-located Events ================= - MEMOCODE, the ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013). See http://memocode.irisa.fr/2013/ - DIFTS, International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2013). See http://www.cmpe.boun.edu.tr/difts13/ - HWMCC, Hardware Model Checking Competition (HWMCC'13). See http://fmv.jku.at/hwmcc13/ Sponsors ======== - Sponsored by: FMCAD, Inc. - Technical Co-sponsor: IEEE CEDA - In-cooperation with: ACM SIGDA - Industrial Financial Support: Galois, IBM, Intel, Jasper, Mentor Graphics, Microsoft, NEC, NVIDIA, Onespin Solutions, Oski Technology, Real Intent, Synopsys, Xpliant ------------------------------------------------------------------------------ October Webinars: Code for Performance Free Intel webinars can help you accelerate application performance. Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from the latest Intel processors and coprocessors. See abstracts and register > http://pubads.g.doubleclick.net/gampad/clk?id=60133471&iu=/4140/ostg.clktrk _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
