CALL FOR PARTICIPATION International Conference on Formal Methods in Computer-Aided Design (FMCAD) Austin, Texas, USA, September 27-30, 2015
*** Early Registration until September 4, 2015 ! *** Conference page: http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/index.shtml Registration: http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/registration.shtml Program: http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/advance-program.shtml Accepted papers: http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/accepted.shtml HIGHLIGHTS FMCAD will be co-located with the MEMOCODE and SAT conferences, and with the DIFTS and ACL2 workshops. The conference program will include, in addition to regular paper presentations, tutorials by Isil Dillig (UT Austin), Priyank Kalla (Utah), Andre Platzer (CMU), and Roderick Bloem (TU Graz); new editions of the Hardware Model Checking competition and the FMCAD Student Forum; and an industrial panel discussion on 'Formal Verification in the Industry -- a 2020 Vision'. We also have confirmed keynote speakers including Sharad Malik (Princeton University) and ACM Turing Award winner E. Allen Emerson (University of Texas at Austin). IMPORTANT EVENT DATES FMCAD Tutorial Day: September 27, 2015 (joint with SAT and DIFTS) FMCAD Regular Program: September 28-30, 2015 CO-LOCATED EVENTS MEMOCODE conference: September 21-23, 2015 SAT conference: September 24-27, 2015 DIFTS workshop: September 26-27, 2015 ACL2 workshop: October 01-02, 2015 CONFERENCE SCOPE FMCAD 2015 is the fifteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. FMCAD 2015 ORGANIZATION Program chairs: Roope Kaivola, Intel Thomas Wahl, Northeastern University Publication Chair: Ruzica Piskac, Yale University Student Forum Chair: Georg Weissenbacher, Vienna University of Technology Tutorial Chairs: Malay Ganai, Atrenta Chao Wang, Virginia Tech Local Arrangements Chair & Webmaster: Shilpi Goel, The University of Texas at Austin ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
