DATICS-IMECS 20 2013 - DATICS-IMECS 2013

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