====== StartingPage ====== {{StartingPage.odt|Original file}} ====== FMCAD Wiki ====== ===== Purpose: ===== 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. - [[fmcadwiki2007|FmcadWiki2007]]: The Wiki page for FMCAD 2007 - [[fmcadwiki2008|FmcadWiki2008]]: The Wiki page for FMCAD 2008 - [[fmcadwiki2009|FmcadWiki2009]]: The Wiki page for FMCAD 2009 - [[fmcadwiki2010|FmcadWiki2010]]: The Wiki page for FMCAD 2010 - [[fmcadwiki2011|FmcadWiki2011]]: The Wiki page for FMCAD 2011 - [[fmcadwiki2012|FmcadWiki2012]]: The Wiki page for FMCAD 2012 - [[fmcadwiki2013|FmcadWiki2013]]: The Wiki page for FMCAD 2013 - [[fmcadwiki2014|FmcadWiki2014]]: The Wiki page for FMCAD 2014 - [[fmcadwiki2015|FmcadWiki2015]]: The Wiki page for FMCAD 2015 - [[fmcadwiki2017|FmcadWiki2017]]: The Wiki page for FMCAD 2017 - [[fmcadwiki2019|FmcadWiki2019]]: The Wiki page for FMCAD 2019 ===== Email Lists: ===== [[emaillists|This is a link to the current FMCAD email lists]] ===== Co-Chair Resources: ===== - [[bylaws|FMCAD Bylaws]] - [[guidelines|Co-Chair Guidelines and Timelines]] - [[event|Tips for Running a Smooth Event]] ===== Publications and Copyright ===== 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 ====== ISBN numbers provided by: [[http://www.myidentifiers.com|www.myidentifiers.com]] bowker indentifier services ISBN account info (needs to be changed, since Pete Manolios is no longer handling this): email: [[mailto:pete@ccs.neu.edu|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. - 978-0-9835678-0-6: FMCAD 2010 - 978-0-9835678-1-3: FMCAD 2011 - 978-0-9835678-2-0: FMCAD 2012 - 978-0-9835678-3-7: FMCAD 2013 - 978-0-9835678-4-4: FMCAD 2014 - 978-0-9835678-5-1: FMCAD 2015 - 978-0-9835678-6-8 - 978-0-9835678-7-5 - 978-0-9835678-8-2 - 978-0-9835678-9-9