DATICS-ITQM 2013 - DATICS WORKSHOP IN THE FIRST INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND QUANTITATIVE MANAGEMENT (ITQM 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