http://www.iccd-conference.org/Links to past and future meetings in the series.Submissions consistent with this theme are particularly encouraged,
but manuscripts on any topic from the scope of ICCD are welcome (for a more
detailed list of topics check our
). Manuscript preparation
and submission instructions and a link to the paper submission page can be
We cordially
waiting for hand_moderationICCD2009IEEEINTERNATIONALCONFERENCEONCOMPUTERDESIGNGENERALINFORMATION
Links to the series Symposium on Theoretical Aspects of Computer Science.
Category:
Random Quote:
Antibes Juan-les-Pins, France, 14 - 16 March 2002
Dresden, Germany, 15 - 17 February 2001
Proceedings as served by:
Trier (Trèves) , Germany,
Paris, France, 25 - 27 February 1998
München (Munich), Germany
Saarbrücken (Sarrebruck), Germany
on T heoretical A spects in C omputer
waiting for hand_moderation
A series of conferences on computer aided verification dedicated to the formal analysis of hardware and software.
Category:
Random Quote:
Welcome to the home page of CAV,
The International Conference on
Computer Aided Verification
The CAV conference is dedicated to the theory and practice of computer
aided formal analysis methods for hardware and software systems. It
has traditionally drawn contributions from researchers as well
waiting for hand_moderation
IEEE hosts more than 300 conferences each year in a wide range of technical, professional, standards, education, and career-related subjects.
Category:
Random Quote:
Overview of the IEEE conference program - learn, present, publish, volunteer.
The world's leading professional association
for the advancement of technology
IEEE Conferences and Meetings
From local meetings to international conferences,
IEEE offers you access to a conference community
that will help you meet your professional goals.
IEEE sponsors more than 300
Joining mailing list will entitle you
to receive occasional emails informing you of news and
updates to the site and any special offers that may be
of interest to you.