DATICS-GPC 2013

DATICS-GPC 2013 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

Who should Attend

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.