DATICS workshop in the International Conference on Future Information Technology, Beijing, China

Abbrevation

DATICS-FUTURETECH

Link

http://datics.org/datics/datics-futuretech-2016

City

Beijing

Country

China

Deadline Paper

2016-01-15

Start Date

2016-04-20

End Date

2016-04-22

Abstract

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–FUTURETECH 2016 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: 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