DATICS-IMECS 2013 (http://datics.org/datics-imecs-13)
DATICS Workshops (http://datics.org) 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 2013 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.
DATICS-IMECS 2013 will be hosted by the International MultiConference of Engineers and Computer Scientists 2013 (IMECS 2013 http://www.iaeng.org/IMECS2013) and takes place in Hong Kong 13-15 March, 2013.
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
IMPORTANT DATES
• Deadline for Workshop papers: December 8, 2012
• Camera-Ready Papers Due & Registration Deadline: 10 January, 2013
• DATICS-IMECS 2013: 13-15 March, 2013

CHAIRS
• Ka Lok Man, Xi'an Jiaotong-Liverpool University (China)
• Nan Zhang, Xi'an Jiaotong-Liverpool University (China)
• Chi-Un Lei, University of Hong Kong (Hong Kong)
Contact: info@datics.org

Details of Paper Submissions, Proceedings, Indexing and Journal Publications can be found at http://datics.org/datics-imecs-13