_{Original file}

This wiki is a repository of information related to the FMCAD organization, which helps support and organize the FMCAD (Formal Methods in Computer-Aided Design) conference series.

1. FmcadWiki2007: The Wiki page for FMCAD 2007
2. FmcadWiki2008: The Wiki page for FMCAD 2008
3. FmcadWiki2009: The Wiki page for FMCAD 2009
4. FmcadWiki2010: The Wiki page for FMCAD 2010
5. FmcadWiki2011: The Wiki page for FMCAD 2011
6. FmcadWiki2012: The Wiki page for FMCAD 2012
7. FmcadWiki2013: The Wiki page for FMCAD 2013
8. FmcadWiki2014: The Wiki page for FMCAD 2014
9. FmcadWiki2015: The Wiki page for FMCAD 2015
10. FmcadWiki2017: The Wiki page for FMCAD 2017
11. FmcadWiki2019: The Wiki page for FMCAD 2019

This is a link to the current FMCAD email lists

1. FMCAD Bylaws
2. Co-Chair Guidelines and Timelines
3. Tips for Running a Smooth Event

FMCAD owns the copyright on our papers since 2010. We make arrangements for IEEE and ACM to distribute these papers through their online libraries, though they do not own the copyright. Hence there should be no mention of IEEE or ACM in any paper footnotes. This was added erroneously in recent years; please make sure the Publications Chair is aware of this.

ISBN numbers provided by: www.myidentifiers.com bowker indentifier services ISBN account info (needs to be changed, since Pete Manolios is no longer handling this): email: pete@ccs.neu.edu passwd: Tprkj8-912GTY Panagiotis Manolios company name: FMCAD Inc I have email from Bowker Identifier Services from 4/15/11 giving me the following ISBNs.

1. 978-0-9835678-0-6: FMCAD 2010
2. 978-0-9835678-1-3: FMCAD 2011
3. 978-0-9835678-2-0: FMCAD 2012
4. 978-0-9835678-3-7: FMCAD 2013
5. 978-0-9835678-4-4: FMCAD 2014
6. 978-0-9835678-5-1: FMCAD 2015
7. 978-0-9835678-6-8
8. 978-0-9835678-7-5
9. 978-0-9835678-8-2
10. 978-0-9835678-9-9