[ecoop-info] Call for Participation: Formal Methods in Computer-Aided Design (FMCAD), 2015

Thomas Wahl wahl at ccs.neu.edu
Tue Aug 4 17:08:13 CEST 2015


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


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).


FMCAD Tutorial Day:    September 27,    2015 (joint with SAT and DIFTS)
FMCAD Regular Program: September 28-30, 2015


MEMOCODE conference: September 21-23, 2015
SAT conference:      September 24-27, 2015
DIFTS workshop:      September 26-27, 2015
ACL2 workshop:       October   01-02, 2015


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.


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

More information about the ecoop-info mailing list