Keywords

• Algorithms and discrete structures: algorithms and complexity; models of computation, computability, language theory; combinatorics, graph theory
• Computation: computer arithmetic, symbolic computation, high-performance computing, other computing paradigms
• Programming and software sciences: programming languages, semantics, compilation; proof theory and automated theorem proving; operational safety, model-checking, program analysis; software engineering; software architectures
• Networks and distributed systems: management of resource and distributed infrastructures and their impacts; network protocols, services, and analysis; algorithms; virtualization
• Artificial intelligence and data science: management of complex, imperfect, (semi-)structured data; machine learning, data mining, and information retrieval; knowledge engineering and representation, reasoning
• Operations research and decision theory: discret optimization, mathematical programming, constraint satisfaction; scheduling, logistics; computational social choice, algorithmic game theory, multi-agent systems
• Computer security: cryptology; network, system, data and software security; privacy and communication protection
• Quantum computing: algorithms, information, computation
• Computational life sciences: bio-informatics, data and knowledge analysis on living organisms; integration and management of health data
• Informatics in interaction with other disciplines: models, methods, and applications designed for or inspired by other sciences; computational approaches to major societal challenges