DATICS-IMECS 2018 is a Workshop dedicated to topics in areas such as Computer Science, Communication, Information Technology and Software Engineering, including:
- Computer Science, Software Engineering and Information Technology
- Model Checking, Equivalence Checking, Compositional Methods, SAT-based Methods and Probabilistic Methods
- Graph Theory, Formal Methods, Petri-Nets, Process Algebras, BDDs, Automaton Theory and UML
- Numerical Algorithms
- Average-Case Analysis and Worst-Case Analysis
- Computational Biology and Bioinformatics
- Software Developed to Solve Science
- Internet and Web Systems
- Intelligent Systems
- Agent and Autonomous Systems
- Real-Time, Hybrid, Embedded and Cyber-Physical Systems
- Computer and Information Science
- Scientific Computing and Applications
- Distributed Systems, Grid Computing and Services Computing
- Computer Networks and Data Communications
- Wireless Sensor Networks
- Design and Programming Methodologies for Network Protocols and Applications
- Financial Mathematics
- E-Business Design and Applications
- Computer Architecture
- Computer-Aided Design and Manufacturing
- Computer Graphics, Animation, and Virtual Reality
- Computer Control and Robotics
- Computer Modeling and Simulations
- Computers in Education and Learning Technologies
- Computer Vision and Pattern Recognition
- Computer Security and Privacy
- Circuits, Systems and Communications
- Processor Design and Embedded Systems
- Design, Simulation and Test of Digital, Analog, Mixed Mode and RF Circuits and Systems
- Computer Aided Design and Electronic Design Automation
- ASIC, VLSI, SoC, FPGA and MPSoC
- Power Systems and Power Electronic Circuits
- Circuits and Systems for Communications
- Control Theory Topics in Circuits and Systems
- Nonlinear Circuits and Systems
- Circuits and Systems for Biomedical Applications
- Signal Processing
- Circuits and Systems for Cryptography
- Circuits and Systems for Energy Harvesting
- Computer Aided Verification
- Circuits and Systems for Low Power Applications
- Circuit/Device Modeling and Simulation
- Computer Aided Interconnect Analysis and Optimization
- SystemC, SystemVerilog and Transcation Level Modelling
- Formal Modelling and Analysis of Circuits and Systems
- Cyber-Physical Systems
- Self-Correcting/Self-Healing Circuits and Systems
- Photovoltaic System Design
- Battery Management Systems
DATICS-IMECS 2018 brings together engineers and researchers both from industry and academia in the areas of Analysis, Design and Tools for Integrated Systems and Circuits, including computer scientists and software/hardware engineering researchers.
DATICS - Design, Analysis and Tools for Integrated Circuits and Systems