GoingToMeet

Aims and Scope

The main target of the Special Session: DATICS 2008 of the WSEAS CSCC multi-conference (http://www.wseas.org/conferences/2008/greece/icc/) is to bring together software/hardware engineering researchers, computer scientists, practitioners and people from industry to exchange theories, ideas, techniques and experiences related to all areas of design, analysis and tools for integrated circuits (e.g. digital, analog and mixed-signal circuits) and systems (e.g. real-time, hybrid and embedded systems). The special session also focuses on the field of formal methods and low power design methodologies for integrated circuits.

Topics of interest include, but are not limited to, the following:

* digital, analog, mixed-signal designs and test
* RF design and test
* design-for-testability and built-in self test methodologies
* reconfigurable system design
* high-level synthesis
* EDA tools for design, testing and verification
* low power design methodologies
* network and system on-a-chip
* application-specific SoCs
* specification languages: SystemC, SystemVerilog and UML
* all areas of modelling, simulation and verification
* formal methods and formalisms (e.g. process algebras, petri-nets, automaton theory and BDDs)
* real-time, hybrid and embedded systems
* software engineering (including real-time Java, real-time UML and performance metrics)