DATICS workshop in the International MultiConference of Engineers and Computer Scientists 2018

DATICS-IMECS 2018


Databases & Information Systems Information Theory



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 2018 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 2018 will be hosted by the International MultiConference of Engineers and Computer Scientists 2018 (IMECS 2018 http://www.iaeng.org/IMECS2018) and takes place in Hong Kong 14-16 March, 2018.
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
GENERAL CHAIRS
Ka Lok Man, Xi'an Jiaotong-Liverpool University (China)
Tomas Krilavičius, Baltic Institute of Advanced Technologies and Vytautas Magnus University (Lithuania)
Seungmin Rho, Sungkyul University (Republic of Korea)
Contact: info@datics.org