DATICS-GPC 2013 (http://datics.org/datics-gpc-2013)
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-GPC 2013 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-GPC 2013 will be hosted by the 8th International Conference on Grid and Pervasive Computing (GPC 2013 http://www.ftrai.org/gpc2013) and takes place in Seoul, Korea 9-11 May, 2013.
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
IMPORTANT DATES
• Paper Submission Due: November 30, 2012
• Accept Notification: December 15, 2012
• Camera-ready paper Due: January 1, 2013
• Registration Due: January 15, 2013
• Conference/Workshop Dates: May 9-11, 2013
CHAIRS
• Ka Lok Man, Xi'an Jiaotong-Liverpool University (China)
• Nan Zhang, Xi'an Jiaotong-Liverpool University (China)
• Chi-Un Lei, University of Hong Kong (Hong Kong)
Contact: info@datics.org

Details of Paper Submissions, Proceedings, Indexing and Journal Publications can be found at http://datics.org/datics-gpc-2013