Our Sponsors
FMCAD 2011 - 2011 Formal Methods in Computer-Aided Design (FMCAD)
Website fmcad10.iaik.tugraz.at |
Edit Freely
Category FMCAD 2011
Deadline: May 05, 2010 | Date: October 30, 2011-November 02, 2011
Venue/Country: Austin, U.S.A
Updated: 2010-09-16 17:57:40 (GMT+9)
Call For Papers - CFP
FMCAD 2011 is the eleventh 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 2011 will include a full day of tutorials.In the past, FMCAD was held in the United States on even years and its sister conference, CHARME, was held in Europe on odd years. In 2006, these two conferences decided to merge to form an annual conference with a unified international community. FMCAD is now a yearly conference.The 2011 FMCAD conference will be held in Austin, Texas from October 30th through November 2nd. Details can be found using the links on the left side of the page, and more information will be published as the conference approaches.Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.