DATICS-IMECS 2014 - DATICS WORKSHOP IN THE INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTIESTS 2014

WORKSHOP IN THE INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTIESTS 2014 (IMECS 2014)
The IMECS 2014 is organized by the International Association of Engineers (IAENG), a non-profit international association for the engineers and the computer scientists. The conference has the focus on the frontier topics in the theoretical and applied engineering and computer science subjects. The IMECS conferences serve as good platforms for our members and the entire engineering community to meet with each other and to exchange ideas. IMECS 2014 will take place in Hong Kong, 12-14 March, 2014. URL: http://www.iaeng.org/IMECS2014
AIMS AND SCOPE OF DATICS-IMECS 2014 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-IMECS 2014 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
Topics of interest include, but are not limited to, the following:
Circuits, Systems and Communications:
Design, Simulation and Test of Digital, Analog, Mixed Mode and RF Circuits and Systems
Processor Design and Embedded Systems
VLSI, ASIC, FPGA, SoC and MPSoC
Computer Aided Design and Electronic Design Automation
Circuits and Systems for Communications
Power Systems and Power Electronic Circuits
Nonlinear Circuits and Systems
Control Theory Topics in Circuits and Systems
Signal Processing
Circuits and Systems for Biomedical Applications
Circuits and Systems for Energy Harvesting
Circuits and Systems for Cryptography
Circuits and Systems for Low Power Applications
Computer Aided Verification
Computer Aided Interconnect Analysis and Optimization
Circuit/Device Modeling and Simulation
Formal Modelling and Analysis of Circuits and Systems
SystemC, SystemVerilog and Transcation Level Modelling
Self-Correcting/Self-Healing Circuits and Systems
Cyber-Physical Systems
Battery Management Systems
Photovoltaic System Design
Computer Science, Software Engineering and Information Technology:
Formal Methods, Graph Theory, Process Algebras, Petri-Nets, Automaton Theory, BDDs and UML
Equivalence Checking, Model Checking, SAT-based Methods, Compositional Methods and Probabilistic Methods
Average-Case Analysis and Worst-Case Analysis
Numerical Algorithms
Software Developed to Solve Science
Computational Biology and Bioinformatics
Intelligent Systems
Internet and Web Systems
Real-Time, Hybrid, Embedded and Cyber-Physical Systems
Agent and Autonomous Systems
Scientific Computing and Applications
Computer and Information Science
Computer Networks and Data Communications
Distributed Systems, Grid Computing and Services Computing
Design and Programming Methodologies for Network Protocols and Applications
Wireless Sensor Networks
E-Business Design and Applications
Financial Mathematics
Computer-Aided Design and Manufacturing
Computer Architecture
Computer Control and Robotics
Computer Graphics, Animation, and Virtual Reality
Computers in Education and Learning Technologies
Computer Modeling and Simulations
Computer Security and Privacy
Computer Vision and Pattern Recognition