[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] DATICS-IMECS'12 CFP



We apologize for multiple copies

DATICS-IMECS'12 CFP
===================

Dear Sir/Madam,

We welcome you to participate as speakers, attendees, sponsors and
exhibitors at the DATICS-IMECS'12
(http://datics.nesea-conference.org/datics-imecs2012).
We are looking forward for your participation in DATICS-IMECS'12.
Please let us know if you have any questions.

Please find below the details about DATICS-IMECS'12.

Sincerely,

DATICS-IMECS'12
===========================================================
International Workshop: DATICS-IMECS'12
CALL FOR PAPERS
http://datics.nesea-conference.org/datics-imecs2012
Email: ss.datics@gmail.com
Hong Kong, 14-16 March, 2012
===========================================================

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'12 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

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

Deadline for full paper submission: 8 December 2011
Notification of acceptance: TBD
Deadline for authors' registration: 10 January 2012
Deadline for final manuscript submission: 10 January 2012
Conference Dates: 14-16 March 2012

Paper submission, proceedings, indexing and journal publication information can
be found at http://datics.nesea-conference.org/datics-imecs2012