The topics of interest include but not limited to:

• Algebra and Formal Aspects
• ATPG and SAT
• Automatic Reasoning
• Bio-Inspired and Novel
• Hardware Algorithms
• Communication Systems
• Computer Arithmetic
• Computer Security
• Data Bases
• Data Mining
• Decision Diagram
• Fuzzy Logic and Soft Computing
• Image Processing
• Logic Design and Switching Theory
• Logic Programming
• Machine Learning and Robotics
• Mathematical Fuzzy Logic
• Medical and Wellness Care Technology
• Nano Technology and Computer Security
• Opto-Electronics
• Index Generation Functions
• Quantum Computing
• Quantum Cryptography
• Quantum Devices
• Signal Processing
• Single Electrons
• Spectral Techniques
• Superconductivity
• Web Intelligence
• Verification
• Philosophical Aspects