INTSPEI Supports Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems (DTVCS 2008)

April 2, 2008 - Kiev (Ukraine) – New York – The International Software & Productivity Engineering Institute (INTSPEI) announced that it will partner with the Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems (DTVCS 2008), which will be hosted at the IASTED International Conference on Circuits and Systems (CS 2008) in Kailua-Kona, Hawaii, USA on August 18-20, 2008.

Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems (DTVCS 2008) invites software and hardware engineering researchers, computer scientists and industry luminaries to share theories, proven techniques and experiences related to all areas of design, testing and formal verification techniques for integrated circuits and systems.

Topics of interest include, but are not limited to theory and foundations: model checking, SAT-based methods, use of PSL, compositional and probabilistic methods, testing and verification applications, etc. Contributions to UML and formal paradigms based on process algebras, Petri-nets, automaton theory and BDDs in the context of design, formal verification techniques are also encouraged.

“The integrated circuits and systems industry is continuing to expand and develop quickly,” said the DTVCS 2008 chairman, Dr. Ka Lok Man. “The DTVCS 2008 aims to gather all interested researchers and practitioners to exchange ideas and to understand developmental and investigational trends.”


“We are happy to support DTVCS 2008,” said Dr. Anatoliy Doroshenko, Research Director of INTSPEI. “We are sure that the support of scientific conferences and events will help us better communicate our vision to the professional environment and expedite the development of the IT field.”


About IASTED and DTVCS 2008

The International Association of Science and Technology for Development - IASTED (http://www.iasted.org) is a non-profit organization devoted to promoting economic and cultural advancement. Established in 1977, IASTED organizes multidisciplinary conferences for academics and professionals, mainly in the fields of engineering, science, and education. IASTED holds conferences and courses in both industrialized and developing nations.

Details about DTVCS can be found at: http://digilander.libero.it/systemcfl/dtvcs


About INTSPEI

The International Software and Productivity Engineering Institute (INTSPEI, http://www.intspei.com) is a corporation with offices in New York and Kiev (Ukraine). INTSPEI develops and distributes advanced productivity and software engineering methodologies and tools based on the original award-winning research conducted by its founders since 2001.

Contact Information

Tatyana Taganskaya

Product and Marketing Manager

INTSPEI

Contact via E-mail