DATICS'09 - Call For Papers

2008-08-11 Thread 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.
--

DATICS: Design, Analysis and Tools for Integrated Circuits and
Systems event was created by a network of researchers and engineers
both from academia and industry. The first edition took place in Crete
Island, Greece, July 22-24, 2008 (
http://digilander.libero.it/systemcfl/datics).

Main target of DATICS'09 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).

DATICS'09 also focuses on the field of formal methods, wireless sensor
networks (WSNs) and low power design methodologies for integrated circuits
and systems.


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
* wireless sensor networks (WSNs)
* 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)


DATICS'09 has been organised into two special sessions:

* DATICS-IMECS'09
  (http://digilander.libero.it/systemcfl/datics09-imecs) will
  be hosted by the International MultiConference of Engineers and
  Computer Scientists 2009 (IMECS'09) which will take place in Hong
Kong, 18-20 March, 2009.

* DATICS-ICIEA'09
  (http://digilander.libero.it/systemcfl/datics09-iciea) will
  be hosted by the 4th IEEE Conference on
  Industrial Electronics and Applications (ICIEA'09) which will
  take place in Xi'an, China, 25-27 May, 2009.


Please visit the DATICS-IMECS'09 and  DATICS-ICIEA'09 websites for
paper submission guidelines, proceedings, publication indexing,
submission deadlines, International Program Committee and sponsors.

For any additional information, please contact

Dr. K.L. Man
University College Cork (UCC), Ireland
Email: [EMAIL PROTECTED]
--
http://mail.python.org/mailman/listinfo/python-list

International Workshop: DATICS-ISPA'11 (EI Indexed)

2010-12-14 Thread SS DATICS
Dear authors,

=
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
-- 
http://mail.python.org/mailman/listinfo/python-list