[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
FMCAD 2017: CALL FOR PARTICIPATION International Conference on Formal Methods in Computer-Aided Design (FMCAD) TU Wien, Vienna, Austria, October 2-6, 2017 http://www.fmcad.org/FMCAD17 FMCAD Tutorial Day: October 2, 2017 FMCAD Regular Program: October 3-6, 2017 Part of the FMCAD 2017 program: - FMCAD Student Forum - Hardware Model Checking Competition 2017 - Symposium in memoriam of Helmut Veith Co-located event: MEMOCODE 2017 (http://memocode.irisa.fr/2017/) CONFERENCE SCOPE FMCAD 2017 is the seventeenth 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 ground-breaking 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. REGISTRATION Early Registration Deadline: September 02, 2017 Registration Deadline: September 29, 2017 Registration details are available on http://fmcad.org/FMCAD17/registration TECHNICAL PROGRAM The program comprises presentations of 25 regular papers and 4 tool papers, 3 tutorials and 2 keynotes, a student forum, the Hardware Model Checking Competition, and a symposium in memoriam Helmut Veith. Details are available on the web-site: http://fmcad.org/FMCAD17 KEYNOTES - Byron Cook (Amazon, University College London) "Formal Verification, Model Checking, and Constraints for Security of the Cloud" - Wilfried Steiner (TTTech) "Formal Methods in Industrial Dependable Systems Design" TUTORIALS - Shin'ichiro Matsuo (MIT Media Lab/CELLOS Consortium/BSafe.network) "How Formal Methods and Analysis Helps Security of Entire Blockchain-based Systems" - Cas Cremers (Oxford University) "Symbolic Security Analysis using the Tamarin Prover" - Jade Alglave (Microsoft Research, University College London) "Consistency Properties of Parallel/Distributed Programs in cat" STUDENT FORUM AND HELMUT VEITH SYMPOSIUM The FMCAD student forum consists of short presentations and posters of doctoral students presenting their work-in-progress. The Symposium in memoriam Helmut Veith features talks on model checking, synthesis, distributed algorithms, and security, as well as a LogicLounge on Teaching Logic in Computer Science. SPONSORS - Sponsored by FMCAD, Inc. - Technical Co-sponsor: IEEE - In-cooperation with: ACM SIGPLAN/SIGSOFT - Financial support: Amazon, ARM, BMVIT, Centaur Technology, DiffBlue, Galois, Microsoft, NSF, Oski Technology, Real Intent, Synopsys, TTTech, WWTF