[TYPES/announce] International Workshop: DATICS-ISPA'11 (EI Indexed)

[SS DATICS]

=====================================================================
Apologies for any multiple copies received. We would appreciate it if
you could distribute the following call for papers to any relevant
mailing lists you know of.


International Workshop: DATICS-ISPA'11
CALL FOR PAPERS

http://datics.nesea-conference.org/datics-ispa2011
Busan, Korea, 26-28 May, 2011.
=====================================================================

Aims and Scope of DATICS-ISPA’11 Workshop:

DATICS Workshops were initially created by a network of researchers
and engineers both from academia and industry in the areas of Design,
Analysis and Tools for Integrated Circuits and Systems. Recently,
DATICS has been extended to the fields of Communication, Computer
Science, Software Engineering and Information Technology.
The main target of DATICS-ISPA’11 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 aspects of DATICS.

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

Circuits, Systems and Communications:

digital, analog, mixed-signal, VLSI, asynchronous and RF design
processor and memory
DSP and FPGA/ASIC-based design
synthesis and physical design
embedded system hardware/software co-design
CAD/EDA methodologies and tools
statistical timing analysis and low power design methodologies
network/system on-a-chip and applications
hardware description languages, SystemC and SystemVerilog
simulation, verification and test technology
semiconductor devices and solid-state circuits
fuzzy and neural networks
communication signal processing
mobile and wireless communications
peer-to-peer video streaming and multimedia communications
communication channel modeling
antenna
radio-wave propagation

Computer Science, Software Engineering and Information Technology:

equivalence checking, model checking, SAT-based methods, compositional
methods and probabilistic methods
graph theory, process algebras, petri-nets, automaton theory, BDDs and UML
formal methods
distributed, real-time and hybrid systems
reversible computing and biocomputing
software architecture and design
software testing and analysis
software dependability, safety and reliability
programming languages, tools and environments
face detection and recognition
database and data mining
image and video processing
watermarking
artificial intelligence
average-case analysis and worst-case analysis
design and programming methodologies for network protocols and applications
coding, cryptography algorithms and security protocols
evolutionary computation
numerical algorithms
e-commerce



Please note that all accepted papers will be included in IEEE Xplore
and indexed by EI Compendex. After workshop, several special issues of
international journals such as IJDATICS and IJCECS will be arranged
for selected papers.

For more details about DATICS-ISPA'11, please visit
http://datics.nesea-conference.org/datics-ispa2011