Topics include but are not limited to:

Artificial Intelligence

• Machine Learning
• Cognitive Systems
• Games
• Robotics
• Neural Networks
• Knowledge-Based and Expert Systems


• Software Architecture
• Software Architectures for Real-time and Embedded Systems
• Software Architectures for Cloud-based applications and Services
• Functional validation and verification techniques for Software Components and Architectures


• Applications and Media
• Computer Vision
• Geometric Computing
• Scientific Visualization


• Programming Languages
• Transformation
• New Programming Language Ideas and Concepts
• Program Analysis and Verification


• Software Engineering
• Model Driven Engineering
• Parallel/Distributed Systems
• Program Comprehension and Visualization


• Data Bases
• Internet and Web-Based Database Systems
• Object-Oriented and Object-Relational Database Systems
• Similarity / Approximate Query Processing
• Scientific, Biological and Bioinformatics Data Management and Data Mining


• Cloud Computing
• Architectural models for cloud computing
• OS development for applications on clouds


• Embedded Systems
• System-level design and simulation techniques for Embedded Systems
• OS & Real-Time support for Embedded Systems
• Verification, validation, testing, debugging, and performance analysis of Embedded Systems
• Time-predictable computer architecture
• Safety-critical Embedded Systems


• Networking
• Mobile and Wireless Networks
• Network Modeling and Simulation


• Mobile Computing
• adaptive computing
• mobile device programming and applications
• mobile middleware services based on events, and object models
• visualization on handheld devices
• wireless sensor networks