<div dir="ltr">Apologies for any multiple copies received. We would appreciate it if<br><div class="gmail_quote"><div dir="ltr">
you could distribute the following call for papers to any relevant mailing lists you know<br>
of.<br>
----------------------------------------------------------------------------------------------------------------------------------------------<br>
<br>DATICS: Design, Analysis and Tools for Integrated Circuits and<br>Systems event was created by a network of researchers and engineers<br>both from academia and industry. The first edition took place in Crete<br>
Island, Greece, July 22-24, 2008 (<a href="http://digilander.libero.it/systemcfl/datics" target="_blank">http://digilander.libero.it/systemcfl/datics</a>). <br><br>Main target of DATICS'09 is to bring together<br>software/hardware engineering researchers, computer scientists,<br>
practitioners and people from industry to exchange theories, ideas,<br>techniques and experiences related to all areas of design, analysis<br>and tools for integrated circuits (e.g. digital, analog and<br>mixed-signal circuits) and systems (e.g. real-time, hybrid and<br>
embedded systems).<br><br>DATICS'09 also focuses on the field of formal methods, wireless sensor<br>networks (WSNs) and low power design methodologies for integrated circuits and systems.<br><br> <br>Topics of interest include, but are not limited to, the following:<br>
<br> * digital, analog, mixed-signal designs and test<br> * RF design and test<br> * design-for-testability and built-in self test methodologies<br> * reconfigurable system design<br> * high-level synthesis<br>
* EDA tools for design, testing and verification<br> * low power design methodologies<br> * network and system on-a-chip<br> * application-specific SoCs<br> * wireless sensor networks (WSNs)<br> * specification languages: SystemC, SystemVerilog and UML<br>
* all areas of modelling, simulation and verification<br> * formal methods and formalisms (e.g. process algebras, petri-nets, automaton theory and BDDs)<br> * real-time, hybrid and embedded systems<br> * software engineering (including real-time Java, real-time UML and performance metrics)<br>
<br><br>DATICS'09 has been organised into two special sessions:<br> <br> * DATICS-IMECS'09<br> (<a href="http://digilander.libero.it/systemcfl/datics09-imecs" target="_blank">http://digilander.libero.it/systemcfl/datics09-imecs</a>) will<br>
be hosted by the International MultiConference of Engineers and<br> Computer Scientists 2009 (IMECS'09) which will take place in Hong Kong, 18-20 March, 2009.<br><br> * DATICS-ICIEA'09 <br> (<a href="http://digilander.libero.it/systemcfl/datics09-iciea" target="_blank">http://digilander.libero.it/systemcfl/datics09-iciea</a>) will <br>
be hosted by the 4th IEEE Conference on<br> Industrial Electronics and Applications (ICIEA'09) which will<br> take place in Xi'an, China, 25-27 May, 2009.<br> <br><br>Please visit the DATICS-IMECS'09 and DATICS-ICIEA'09 websites for<br>
paper submission guidelines, proceedings, publication indexing,<br>submission deadlines, International Program Committee and sponsors. <br><br>For any additional information, please contact <br><br>Dr. K.L. Man<br>University College Cork (UCC), Ireland<br>
Email: <a href="mailto:ss.datics@gmail.com" target="_blank">ss.datics@gmail.com</a><br><br></div>
</div><br></div>