Academy of Europe: Areas of Activity

ai

AI
AI and Internet of Things
AI for cybersecurity
AI programming systems
Edge AI
Emotion AI
Explainable AI
Health AI
Responsible AI
Trustworthy AI

algebra

(extensions to) AADL, stochastic Petri nets, process algebras.
Applications of logic in algebra and other fields of mathematics
Computer algebra
Computer algebra
Computer algebra and symbolic-numeric computation
Computer algebra: polynomial algorithms,theory of Groebner Bases, automated geometrical theorem proving
Formal models for distributed systems: Petri nets and process algebras
Numerical (multi-) linear algebra and algebraic geometry
Numerical linear algebra
Process Algebras and their applications
Process algebra
Process algebra
Process algebra, true concurrency semantics (event structures and message sequence charts), probabilistic process calculi

algorithm

Algorithm design and analysis
Algorithm engineering
Algorithms
Algorithms
Algorithms and complexity
Algorithms and complexity
Algorithms and complexity theory
Algorithms and data structures
Algorithms and software tools for analyzing genome rearrangements
Algorithms and software tools for computational proteomics
Algorithms and software tools for de novo antibiotics sequencing
Algorithms and software tools for de novo antibody sequencing
Algorithms and software tools for genome assembly
Algorithms and tools for the design and verification of reactive and distributed systems
Algorithms for Electronic Design Automation
Algorithms for approximately counting and randomly sampling combinatorial structures
Algorithms for graph drawing
Algorithms for network analysis
Algorithms for route planning
Algorithms for uncovering molecular mechanisms of disease from systems-level “omics” data
Analysis of Markov-chain based sampling algorithms
Analysis of algorithms
Approximation algorithms
Auction algorithms
Calendar algorithms
Combinatorial algorithms
Combinatorial algorithms and their application
Complexity of algorithms
Complexity of data structures and algorithms
Computer algebra: polynomial algorithms,theory of Groebner Bases, automated geometrical theorem proving
Computer methods and algorithms for simulating large-scale dynamic systems
Concurrent algorithms
Cryptanalysis and design of cryptographic algorithms and protocols
Data structure and algorithms
Data structures, algorithms and graph theory
Design and analysis of algorithms
Design and analysis of computer algorithms
Design of efficient algorithms
Design of monitoring, control and pricing algorithms for electric power systems
Development and analysis of efficient data structures and algorithms in VLSI CAD
Development of algorithms
Distributed algorithms
Distributed algorithms and systems
Epidemic-based algorithm
Estimation of distribution algorithms
Exact (exponential time) algorithms
Exact (exponential time) algorithms
Formal measures of quality: algorithms for quality checking, and automated synthesis of high-quality reactive systems
Graph algorithms
Graph theory and algorithms
Heuristic algorithms
High-performance distributed applications in areas like search algorithms , multimedia, eScience, semantic web and model checking
Implementation of algorithms
Machine learning theory and algorithms
Mathematical engineering algorithms and software with broad applicability
Matroid algorithms
Matroid algorithms
Networking algorithms
Numerical Algorithms
On line algorithms
Parallel algorithms
Parallel algorithms and models
Parallel and distributed algorithms
Parameterized algorithms and kernelization
Parameterized algorithms and kernelization
Performance and algorithms for databases
Polynomial, parameterized, approximation and exponential algorithms
Randomized algorithms
Symbolic computation: automated theorem proving, formal methods for software, algorithm synthesis and verification, mathematical knowledge management
Tableau algorithms
Text algorithms
Theory of algorithms
Theory of algorithms and complexity
Theory of synchronous algorithms with digital and analogue components, and its applications

analysis

3D image analysis and synthesis
3D shape analysis using spectral and metric geometric methods
Algorithm design and analysis
Algorithms for network analysis
Analysis and synthesis of asynchronous circuits
Analysis of Markov-chain based sampling algorithms
Analysis of algorithms
Analysis of audio- and video signals
Analysis of geometric structures
Analysis of historical manuscripts
Analysis of non-stationary signals
Analysis of probabilistic systems
Analysis of protein-protein interaction networks
Analysis, verification, correct specification of software systems
Automated software analysis
Average-case analysis of several online problems
Big data analysis
Bioinformatics & Data Analysis
Biological sequence analysis
Brain image analysis
Cluster analysis
Complex information search and analysis
Component-based design, modeling, and analysis of real-time systems with focus on correct-by-construction techniques
Data analysis
Data and signal analysis
Design and analysis of algorithms
Design and analysis of computer algorithms
Development and analysis of efficient data structures and algorithms in VLSI CAD
Face analysis
Genome sequence analysis
Global program analysis/optimization/verification
High-order statistics, (poly)spectra, wavelets, cyclostationary, and non-Gaussian signal analysis
Image processing and analysis
Interprocedural dataflow analysis
Large-scale economic data analysis, fusion and modeling the dynamics of economic systems
Machine-code analysis
Modelling and analysis of biological processes
Motion Analysis
Multimedia analysis, understanding and retrieval
Multimedia audio-visual database analysis
Multimedia information analysis
Multimodal analysis (physiological data, gaze, speech, gestures)
Numerical analysis
Performance analysis
Performance analysis of computer systems
Probabilistic program analysis, pointer-manipulating programs (using graph grammars), parallel programming.
Program analysis
Program analysis
Program analysis and testing
Quantitative analysis
Remotely sensed hyperspectral image analysis
Representation of uncertainty and imprecision and applications in computer science, decision analysis, control
Robustness issues in decision analysis
Scheduling and timing analysis
Security & Privacy Engineering, with focus on security requirements analysis, and mobile privacy
Shape analysis
Software quality analysis
Software testing and analysis
Static program analysis
Stochastic geometry modeling, analysis, and optimization of wireless networks
Time-frequency analysis
Uncertain Data Analysis
Unstructured text analysis

application

- Application of Bidirectional Transformation
Application of rigorous methods to software production
Application to databases
Applications of ML and DM in environmental sciences
Applications of ML and DM in life sciences
Applications of discrete mathematics in science (mathematical chemistry and bioinformatics)
Applications of equational logic in computer science
Applications of linear and constraint programming to verification problems
Applications of logic in algebra and other fields of mathematics
Applications of logic in computer science
Applications of logic to philosophy, linguistics, computer science and cognitive science
Applications of model checking to ubiquitous computing
Applications of tensors to image classification
Applications of the Fisher-Rao metric to computer vision
Applications optimization
Artificial intelligence applications for social good
Big data applications
Bioinformatics applications
Combinatorial algorithms and their application
Combinatorial optimization and its applications
Computational geometry and applications
Constraint theory and applications
Data-driven scientific applications
Decomposition of correctness proofs for hybrid systems in traffic applications
Design of system-on-chip platforms for embedded applications
Dynamic adaptation of mobile applications
High-performance distributed applications in areas like search algorithms , multimedia, eScience, semantic web and model checking
Industrial applications
Industry4.0 applications
Infinite automata and applications in the verification of infinite systems
Linguistic summaries of big data sets and applications in computer systems, business and finance
Locating and fixing application performance bottlenecks
Logic and applications to verification
Mathematical logic and its applications to computer science
Networked systems, applications, and services
Neuroscience applications
Optimization and application
Process Algebras and their applications
Refinement calculus and its applications
Representation of uncertainty and imprecision and applications in computer science, decision analysis, control
Rough set theory and applications
Smart cards, esp. Java cards, and their applications
Sport analytics applications
Stochastic processes and their applications in engineering
Theory and application of concurrency in system design
Theory of synchronous algorithms with digital and analogue components, and its applications

architecture

Architecture/compiler co-design
Computer architecture
Computer architecture
Computer architectures and systems
Computer network architectures and protocols
Efficient implementations of large-scale scientific problems on high performance computing architectures
Enterprise architectures
Interconnection network architecture
Internet architecture, protocols, community
Microprocessor architecture
Operating systems architecture and principles
Packet switch architecture
Processor Architecture
Scalable multicore systems: interprocessor communication and memory architecture
Secure medical information architectures
Sequential and parallel computer architecture
Service-oriented architecture
Software architecture
Software architecture
Software architecture and component-based development

artificial

Applied artificial intelligence
Artificial Intelligence & machine learning
Artificial Intelligence and Machine Learning foundations
Artificial Intelligence, in particular the symbolic representation of knowledge and its use for inference
Artificial Neural Networks
Artificial and Computational Intelligence, notably multivalued and fuzzy logic
Artificial and computational intelligence
Artificial inteligence
Artificial intelligence
Artificial intelligence
Artificial intelligence applications for social good
Artificial intelligence methods to model human behavior from data
Artificial intelligence, artificial life
Computer science and artificial intelligence
Decentralized artificial intelligence
Explainable artificial intelligence
Machine learning and artificial intelligence
Mathematics and artificial intelligence

automate

Automated deduction
Automated deduction
Automated planning
Automated reasoning
Automated reasoning
Automated software analysis
Automated software debugging
Automated software engineering
Automated theorem proving
Automated verification
Automated verification and proof checking
Automated verification of hardware and software systems
Automated verification of real-time, probabilistic, and infinite-state systems
Computer algebra: polynomial algorithms,theory of Groebner Bases, automated geometrical theorem proving
Connected and automated vehicles
Formal measures of quality: algorithms for quality checking, and automated synthesis of high-quality reactive systems
Symbolic computation: automated theorem proving, formal methods for software, algorithm synthesis and verification, mathematical knowledge management

automaton

Algebraic theory of automata and languages
Automata and formal languages
Automata and language theory (descriptional complexity, regulated rewriting, Marcus contextual grammars, grammar systems)
Automata models for concurrency
Automata on infinite objects
Automata over infinite words and trees
Automata theory
Automata theory
Formal language and automata theory
Formal languages and automata
Formal languages and automata
Generalized models of automata (over trees, pictures, relational structures)
Infinite automata and applications in the verification of infinite systems
Logic and automata theory
Model checking of probabilistic models, counterexample generation, abstraction, stochastic hybrid systems, timed automata
Quantum automata
Quantum information processing, quantum automata, entanglement and cryptography
Systolic and cellular automata and systems
The relation between automata and logical systems
Theory of automata
Weighted automata and quantitative logics

base

Analysis of Markov-chain based sampling algorithms
Component based Software Engineering (CBSE)
Computer algebra: polynomial algorithms,theory of Groebner Bases, automated geometrical theorem proving
Data bases and WWW
Image synthesis and image based rendering
Invariant based programming
Methodology and techniques of decision support, based on a junction of operations research and computational intelligence
Model based testing
Perception based computing
Very large scale Knowledge Representation, in particular inference over very large knowledge bases

big

Big Data Computation
Big Data analytics
Big Data for Social Good
Big data
Big data
Big data analysis
Big data analytics
Big data applications
Big data computing
Big data computing and analytics
Big data management
Linguistic summaries of big data sets and applications in computer systems, business and finance
Multiple criteria decision aiding, ordinal data mining, preference learning, knowledge discovery from big data
Software System for Cloud Computing and Big Data

bioinformatics

Algorithmic bioinformatics
Bioinformatics
Bioinformatics
Bioinformatics & Data Analysis
Bioinformatics and biosensors
Bioinformatics and computational biology
Bioinformatics and computational systems biology
Bioinformatics applications
Genomic bioinformatics

biology

Bioinformatics and computational biology
Bioinformatics and computational systems biology
Computational biology
Computational modelling for systems biology and population biology
Computational molecular biology
Formal approaches to systems biology
Interfaces computability, physics and biology
Signal processing for optics and biology
Statistical methods for molecular biology
Structural molecular biology
Systematic and evolutionary biology
Systems biology
Systems biology and computational biomedicine
Theoretical Biology

check

(Probabilistic) model checking
Applications of model checking to ubiquitous computing
Compositional model checking
Distributed model checking
Model checking
Model checking
Probabilistic model checking
SAT-based model checking
Sanity checks in formal methods: vacuity, coverage, and query checking
Software Model Checking

cloud

Cloud and edge computing
Cloud computing
Cloud computing
Geometric machine learning and deep learning on graphs, manifolds, and point clouds
Heterogeneous networks of computers and clouds
Mobile cloud computing
Overcoming the Internet impasse via software defined networking and cloud networks
Programming environments for clusters, grids, clouds, heterogeneous and mobile systems
Software System for Cloud Computing and Big Data
Virtualization and cloud security

combinatorics

Combinatorics
Combinatorics and special functions
Combinatorics of words
Combinatorics on Words
Combinatorics with graph theory
Extremal combinatorics
Finite Combinatorics
Randomized techniques in algorithmic and combinatorics

communication

Cellular networks, heterogeneous cellular networks, millimiter-wave communications
Communication complexity
Communication protocols
Communication software
Communication theory
Communications and radar
Computer communication networks
Data and energy integrated communication networks including RF-based wireless power transfer
Data communications
Digital video communications
Efficient computer communication protocols
Energy-efficient computing and communication
Mathematical sciences communication
Mobile computing and communication
Multimedia communication and networking
Multimedia communications
Quantum communication complexity
Quantum computation, communication, teleportation and cryptography
Quantum entanglement and non-locality as new computation and communication resource
Relaying and cooperative communications
Scalable multicore systems: interprocessor communication and memory architecture
Self-organizing systems & adaptive communications
Statistical signal processing, machine learning, wireless communications, networking, sensor networks
Wireless communication systems and networks
Wireless communications and networks
Wireless mobile communications
Wireless networks and wireless communications including 6G
multimedia communication

complexity

Algorithms and complexity
Algorithms and complexity
Algorithms and complexity theory
Circuit Complexity
Circuit complexity
Communication complexity
Complexity of algorithms
Complexity of counting
Complexity of data structures and algorithms
Complexity theory
Complexity theory
Complexity theory and phase transition of problems
Computation complexity
Computational complexity
Computational complexity
Computational complexity of verification problems
Computational complexity theory
Descriptional complexity of grammars and languages
Kolmogorov complexity
Logic and complexity
Mathematical logic and complexity theory
Parameterized complexity
Proof and computational complexity theory
Proof complexity
Proof complexity
Propositional proof complexity
Quantum communication complexity
Quantum complexity theory
Quantum query complexity
Theory of algorithms and complexity

computer

3D Computer vision
Applications of equational logic in computer science
Applications of logic in computer science
Applications of logic to philosophy, linguistics, computer science and cognitive science
Applications of the Fisher-Rao metric to computer vision
Cognitive computer vision
Computer Vision
Computer aided (geometric) design
Computer algebra
Computer algebra
Computer algebra and symbolic-numeric computation
Computer algebra: polynomial algorithms,theory of Groebner Bases, automated geometrical theorem proving
Computer and network security
Computer and network security
Computer animation
Computer architecture
Computer architecture
Computer architectures and systems
Computer arithmetic
Computer assisted interventions
Computer communication networks
Computer cryptography
Computer engineering
Computer engineering
Computer graphics
Computer graphics
Computer memory systems
Computer methods and algorithms for simulating large-scale dynamic systems
Computer network architectures and protocols
Computer network design and performance
Computer networking
Computer networks
Computer networks
Computer privacy
Computer reliability and security
Computer science
Computer science
Computer science and artificial intelligence
Computer science education
Computer security
Computer security
Computer security, in particular access control and security policies
Computer simulation
Computer simulation
Computer supported cooperative work
Computer system performance evaluation
Computer systems and networks
Computer systems measurement and modeling
Computer systems performance modeling and evaluation
Computer vision
Computer vision and pattern recognition
Cryptography and computer security
Design and analysis of computer algorithms
Efficient computer communication protocols
Electrical and computer engineering
Foundations of Mathematics and Computer Science: Finitely Supported Mathematics
Foundations of computer science
Heterogeneous networks of computers and clouds
High performance computers
Human computer interaction
Linguistic summaries of big data sets and applications in computer systems, business and finance
Logic an computer science
Logic in computer science
Logic in computer science
Logical aspects of computer science
Mathematical education: logic-based mathematics education, in particular for computer scientists
Mathematical foundations of computer science
Mathematical logic and its applications to computer science
Mathematical structures useful in computer science, in particular theory of 2-structures
Performance analysis of computer systems
Philosophy and history of mathematics and computer science
Probability models in computer science and operations research
Representation of uncertainty and imprecision and applications in computer science, decision analysis, control
Sequential and parallel computer architecture
Stochastic processes in computer science
Theoretical computer science
Theoretical computer science
Theories for the origins and evolution of language using computer simulations
Variational Methods for Computer Vision

concurrency

Algebraic and categorical models of concurrency
Automata models for concurrency
Concurrency
Concurrency
Concurrency theory
Concurrency theory
Models of computation: lambda-calculus, sequentiality models, synchronous concurrency models
Process algebra, true concurrency semantics (event structures and message sequence charts), probabilistic process calculi
Semantic models for concurrency, probability and real-time
Semantics of concurrency
Theory and application of concurrency in system design
Theory of concurrency
Theory of concurrency

control

Access control in information security
Access control policies, models, and systems
Advanced Control Theory
Automatic control
Computer security, in particular access control and security policies
Design of monitoring, control and pricing algorithms for electric power systems
Information theory and control
Intelligent systems and control
Modeling and control of economic, policy and technical interactions in dynamic systems under uncertainties
Modeling and control of future electric energy systems
Multistage optimal fuzzy control, notably using dynamic programming
Neural Networks and Fuzzy Systems Algorithms and Control
Normal and emergency control of electric power systems
Representation of uncertainty and imprecision and applications in computer science, decision analysis, control
Statistical disclosure control
Systems and control

cryptography

Applied cryptography
Applied cryptography
Computer cryptography
Cryptography
Cryptography and computer security
Quantum and classical cryptography
Quantum computation, communication, teleportation and cryptography
Quantum cryptography
Quantum information processing, quantum automata, entanglement and cryptography
Symmetric key cryptography

data

Algebraic specification of data and programs
Algorithms and data structures
Algorithms for uncovering molecular mechanisms of disease from systems-level “omics” data
Artificial intelligence methods to model human behavior from data
Big Data Computation
Big Data analytics
Big Data for Social Good
Big data
Big data
Big data analysis
Big data analytics
Big data applications
Big data computing
Big data computing and analytics
Big data management
Bioinformatics & Data Analysis
Biological data management
Clustering and Data Mining
Combination of specification methods for processes, time and data
Complexity of data structures and algorithms
Constraint-based data mining
Data Analytics and Science
Data analysis
Data analytics
Data analytics, knowledge discovery and data mining
Data analytics, modeling, fusion, dynamics, applied to clinical, molecular and biological data
Data and energy integrated communication networks including RF-based wireless power transfer
Data and signal analysis
Data anonymisation
Data bases and WWW
Data centers
Data centres
Data communications
Data integration
Data integration
Data integration and sharing
Data management
Data management and data science
Data mining
Data mining
Data mining and knowledge discovery, notably for decision support systems
Data mining and machine learning
Data modeling
Data privacy
Data privacy and security
Data processing in joint time and frequency domain
Data provenance
Data provenance (lineage)
Data quality
Data science
Data science
Data science, power systems, network science, Internet-of-Things
Data security
Data security and privacy
Data structure and algorithms
Data structures
Data structures, algorithms and graph theory
Data warehousing
Development and analysis of efficient data structures and algorithms in VLSI CAD
Dynamical system theory and Identification, data science, machine learning
Genomic data science
Human-computer interaction and knowledge discovery from data (HCI-KDD)
Large-scale economic data analysis, fusion and modeling the dynamics of economic systems
Learning for data streams
Linguistic summaries of big data sets and applications in computer systems, business and finance
Logistics of data processing
Machine learning (ML) and data mining (DM)
Mining data streams
Mobile data management
Molecular and clinical data integration for precision medicine: patient stratification, biomarker discovery, drug re-purposing, disease re-classification
Multiple criteria decision aiding, ordinal data mining, preference learning, knowledge discovery from big data
Neural networks for structured data
Private data analytics
Query languages and data models
Scientific databases and data infrastructures, scientific experiment management
Semistructured data and XML
Software System for Cloud Computing and Big Data
Software engineering with emphasis on software data analytics
Spatial Temporal Data Management
Spatio-temporal data management
Telecommunications, massive datasets and data mining
Uncertain Data Analysis
Web data management
Web data processing and data extraction

database

Database design
Database management
Database management
Database management systems
Database performance optimization (automatic tuning) and self-organization (autonomic computing)
Database programming languages
Database query languages
Database query optimization
Database systems
Database systems
Database systems and theory
Database technology for openData platforms - integration and consumption
Database theory
Database theory
Database theory (query languages and their power)
Databases
Databases
Deductive databases
Flexible database queries reflecting imprecise, bipolar user preferences and intentions
Information systems and databases
Main-memory database technology for analytical and transactional workloads
Multimedia audio-visual database analysis
Performance and algorithms for databases
Principles of database systems
Query processing in databases and information systems
Scientific databases and data infrastructures, scientific experiment management
Spatial databases
Support of advanced analytics (mining, forecasting, etc.) in database systems
Temporal databases

decision

Computational models of group decision making, social choice and voting, and consensus reaching
Consensus in decision making
Data mining and knowledge discovery, notably for decision support systems
Decision Sciences
Decision making
Decision support in medicine, technology, economics and environmental studie
Decision support systems
Decision theory
Electric power systems reliability management and optimal decision making under uncertainties
Intelligent decision making systems
Logic and decision procedures
Mathematical modelling in decision making
Medical decision support systems (DSS)
Methodology and techniques of decision support, based on a junction of operations research and computational intelligence
Modeling of uncertainty and imprecision in decision problems: rough set theory, fuzzy set theory
Multicriterial choice and decision making
Multiple criteria decision aiding, ordinal data mining, preference learning, knowledge discovery from big data
Representation of uncertainty and imprecision and applications in computer science, decision analysis, control
Robustness issues in decision analysis

design

- Design and Implementation of Bidirectional Languages
Algorithm design and analysis
Algorithms and tools for the design and verification of reactive and distributed systems
Algorithms for Electronic Design Automation
Authentication - security evaluation and design
Component-based design, modeling, and analysis of real-time systems with focus on correct-by-construction techniques
Computer aided (geometric) design
Computer network design and performance
Computer-aided design
Computer-aided design, test and verification of (digital) circuits and systems (VLSI CAD)
Computer-aided geometric design
Cryptanalysis and design of cryptographic algorithms and protocols
Database design
Design and Verification of safety-critical embedded systems
Design and analysis of algorithms
Design and analysis of computer algorithms
Design and evaluation of interactive multimodal user interfaces
Design of efficient algorithms
Design of monitoring, control and pricing algorithms for electric power systems
Design of system-on-chip platforms for embedded applications
Design space exploration and multi-objective optimization
Design specification and verification
Distributed systems design, queuing theory
Electronic Design Automation (EDA)
Electronic design automation
Electronic system level (ESL) design
Embedded system design
Formal methods for specification, verification, and design of reactive systems
Fundamental principles that underlie the design and the construction of distributed systems
Game theory and mechanism design
Hardware Design Automation
Hardware design
Hardware design
Key management - broadcast encryption security evaluation and design
Low-power system design
Network design
Programming language design and implementation
Programming languages design and implementation
Sampling and ADC design
Software design and development
Stream ciphers security evaluation and design
Theory and application of concurrency in system design
Universal access/design for all
VLSI design

development

Advanced program development technology
Agile software development
Algebraic development methodologies
Development and analysis of efficient data structures and algorithms in VLSI CAD
Development methods for complex industrial-scale software systems
Development methods for real-time systems
Development of algorithms
Development of critical embedded systems, mobility and context-awareness
Development of intelligent interactive systems: smart rooms, cars, clothes, offices and mobile phones.
Development of secure and efficient software and hardware implementations
Model-driven development
Software and systems engineering centered around core topics of software and systems development
Software architecture and component-based development
Software design and development
Software development
Software development environments
Software specification and formal methods of software development

digital

Asynchronous digital systems
Digital earth
Digital geometry processing
Digital health
Digital humanities
Digital image processing
Digital libraries
Digital libraries
Digital libraries and content syndication
Digital libraries and repositories
Digital mammography for breast cancer
Digital media formats and standards
Digital video
Digital video communications
Digital/electronic privacy
Theory of synchronous algorithms with digital and analogue components, and its applications

discrete

Applications of discrete mathematics in science (mathematical chemistry and bioinformatics)
Discrete and computational mathematics
Discrete applied mathematics
Discrete applied mathematics
Discrete geometry
Discrete mathematics

distribute

Blockchain and distributed ledger technology
Collaborative and distributed processes
Distributed Systems Models (Process Calculi): semantics, behavioural equivalences, logics, verification
Distributed algorithms
Distributed algorithms and systems
Distributed computing
Distributed computing
Distributed information systems
Distributed model checking
Distributed query and dataflow processing
Distributed systems
Distributed systems
Distributed systems design, queuing theory
Foundation of distributed computation
Graph Processing including Distributed Computation
High-performance distributed applications in areas like search algorithms , multimedia, eScience, semantic web and model checking
Large distributed systems
Models and languages for open distributed systems
Open distributed processing
Parallel and distributed (cloud) computing
Parallel and distributed Computing
Parallel and distributed algorithms
Parallel and distributed computing
Peer-to-peer networks and distributed retrieval
Semantic Web, in particular handling distributed, large, heterogeneous, dynamic and possibly inconsistent information
Virtual distributed systems
distributed computability
distributed computing systems

dynamic

Computer methods and algorithms for simulating large-scale dynamic systems
Data analytics, modeling, fusion, dynamics, applied to clinical, molecular and biological data
Dynamic adaptation of mobile applications
Dynamic software product lines
Large-scale economic data analysis, fusion and modeling the dynamics of economic systems
Machine dynamics
Modeling and control of economic, policy and technical interactions in dynamic systems under uncertainties
Molecular networks: interactome evolution, dynamics, alignment, function prediction
Multistage optimal fuzzy control, notably using dynamic programming
Probabilistic models of dynamic behaviour
Semantic Web, in particular handling distributed, large, heterogeneous, dynamic and possibly inconsistent information
Tone mapping and high dynamic range imaging

edge

Cloud and edge computing
Edge AI
Edge Intelligence
Edge computing
Fog computing and mobile edge computing
Mobile computing and mobile edge computing
Mobile edge computing
Multi-access Edge Computing

embed

Development of critical embedded systems, mobility and context-awareness
Embedded Software
Embedded computing systems
Embedded systems
Embedded systems
Embedded systems and cyber-physical systems
Embedded systems/Internet-of-Things
Real-time and embedded systems
Safety-critical embedded systems

engineering

Agents, agent oriented software engineering
Algorithm engineering
Automated software engineering
B Method for software engineering
Civil engineering
Component based Software Engineering (CBSE)
Computer engineering
Computer engineering
Cybernetics and systems engineering
Electrical and computer engineering
Electrical engineering
Empirical software engineering
Engineering
Engineering Adaptive Software, with focus on adaptive security and privacy
Engineering sciences
Formal methods in software engineering
Information systems engineering
Infrastructure engineering
Intelligent software engineering
Knowledge engineering
Life engineering
Mathematical engineering algorithms and software with broad applicability
Mathematical tools for software engineering
Model-driven engineering
Model-driven software engineering
Multiagent systems and agent-oriented software engineering
Neural systems engineering
Ontology engineering
Optimization in biomedical engineering
Optimization in financial engineering
Requirements engineering
Requirements engineering
Security & Privacy Engineering, with focus on security requirements analysis, and mobile privacy
Service engineering with focus on service level agreements.
Software Engineering
Software and systems engineering centered around core topics of software and systems development
Software engineering
Software engineering for AI-based systems
Software engineering with emphasis on software data analytics
Software engineering with focus on variability management and software testing.
Software engineering, with focus on requirements engineering
Software systems engineering
Stochastic processes and their applications in engineering
Structural engineering
Transportation engineering

evolutionary

Data-driven evolutionary optimization
Evolutionary computation
Evolutionary computation
Evolutionary developmental systems
Evolutionary game theory
Evolutionary optimization
Evolutionary reconstructions in Genomics
Multi-objective evolutionary optimization
Multiobjective optimization: evolutionary and interactive procedures
Systematic and evolutionary biology

formal

Automata and formal languages
Formal Languages
Formal Power Series
Formal approaches to systems biology
Formal hardware verification
Formal hardware/software co-verification
Formal language and automata theory
Formal languages and automata
Formal languages and automata
Formal measures of quality: algorithms for quality checking, and automated synthesis of high-quality reactive systems
Formal methods
Formal methods
Formal methods for specification, verification, and design of reactive systems
Formal methods for synthesis and verification
Formal methods in software engineering
Formal models for distributed systems: Petri nets and process algebras
Formal semantics
Formal specification
Formal topology
Formal verification
Formal verification and synthesis of reactive systems
Formal verification of hardware and software
Formal verification of processors and microkernels
Logics, formal methods
Sanity checks in formal methods: vacuity, coverage, and query checking
Software formal specification and verification
Software specification and formal methods of software development
Symbolic computation: automated theorem proving, formal methods for software, algorithm synthesis and verification, mathematical knowledge management

foundation

Artificial Intelligence and Machine Learning foundations
Cognition and Foundations of mathematical knowledge
Computational foundations of physics
Foundation and perception of informatics
Foundation of distributed computation
Foundations of Mathematics and Computer Science: Finitely Supported Mathematics
Foundations of algorithmic verification
Foundations of computer science
Foundations of concurrent processes
Foundations of object-oriented languages
Foundations of quantum mechanics
Mathematical foundations of computer science
Physical foundations of computation

game

Algorithmic game theory
Evolutionary game theory
Foundational issues of algorithmic game theory
Game theory
Game theory
Game theory and mechanism design
Games on graphs
Multi-Agents Games
The effective theory of infinite games

geometry

Computational geometry
Computational geometry
Computational geometry and applications
Computational geometry and object modeling
Digital geometry processing
Discrete geometry
Geometry processing
Geometry processing
Incidence geometry (combinatorial and geometric configurations, maps and polytopes)
Numerical (multi-) linear algebra and algebraic geometry
Stochastic geometry modeling, analysis, and optimization of wireless networks

graph

Algorithmic graph minors
Algorithmic graph minors
Algorithmic graph theory
Algorithms for graph drawing
Combinatorics with graph theory
Computational graph theory, algorithms, models
Data structures, algorithms and graph theory
Games on graphs
Geometric machine learning and deep learning on graphs, manifolds, and point clouds
Graph Mining
Graph Processing including Distributed Computation
Graph algorithms
Graph coloring
Graph models of DNA sequencing
Graph rewriting systems
Graph structure
Graph theory and algorithms
Graphs and networks
Intersection and tolerance graphs
Knowledge graph
Layouts and morphisms on graphs
Parallel graph computations
Perfect graphs
Pursuit-evasion and graph searching
Theory of graph transformations

hardware

Automated verification of hardware and software systems
Development of secure and efficient software and hardware implementations
Formal hardware verification
Formal hardware/software co-verification
Formal verification of hardware and software
Hardware Design Automation
Hardware design
Hardware design
Hardware optimization
Hardware safety and security
Hardware/software co-design
Hardware/software interaction

high

Efficient implementations of large-scale scientific problems on high performance computing architectures
High Performance Computing (HPC)
High performance and datacenter networking
High performance computers
High performance computing
High performance computing
High quality audio coding
Teaching mathematics and programming in high school
Tone mapping and high dynamic range imaging

image

3D image analysis and synthesis
Applications of tensors to image classification
Biomedical signal and image processing
Brain image analysis
Digital image processing
Image Understanding and Interpretation
Image and signal processing
Image and video processing
Image and video processing
Image and video search
Image compression
Image features extraction
Image processing
Image processing
Image processing and analysis
Image quality
Image synthesis and image based rendering
Imaging
Mathematical image processing
Medical image processing
Remote sensing image processing
Remotely sensed hyperspectral image analysis
Signal and image processing
Signal and image processing
Video and image processing
image/video processing

information

Access control in information security
Aggregation of information
Algorithmic information theory
Algorithmic information theory
Complex information search and analysis
Computing under unknown/partial information
Distributed information systems
Fundamental investigations concerning (quantum) information
Information agents
Information extraction and knowledge harvesting
Information extraction, sentiment extraction
Information forensics and security
Information fusion
Information protection
Information retrieval
Information retrieval in Internet
Information security
Information systems
Information systems and databases
Information systems engineering
Information systems modelling
Information theory
Information theory and control
Management of uncertain information
Multi-modal information systems
Multimedia information analysis
Quantum Information Science
Quantum information
Quantum information processing resources ( entanglement, non-locality)
Quantum information processing, quantum automata, entanglement and cryptography
Quantum information theory
Query processing in databases and information systems
Scalable information retrieval systems
Search and information retrieval
Secure medical information architectures
Semantic Web, in particular handling distributed, large, heterogeneous, dynamic and possibly inconsistent information
Web information retrieval
XML and semi-structured information

intelligence

Applied artificial intelligence
Artificial Intelligence & machine learning
Artificial Intelligence and Machine Learning foundations
Artificial Intelligence, in particular the symbolic representation of knowledge and its use for inference
Artificial and Computational Intelligence, notably multivalued and fuzzy logic
Artificial and computational intelligence
Artificial intelligence
Artificial intelligence
Artificial intelligence applications for social good
Artificial intelligence methods to model human behavior from data
Artificial intelligence, artificial life
Collective intelligence and urban computing
Computation Intelligence
Computational intelligence
Computational intelligence
Computer science and artificial intelligence
Decentralized artificial intelligence
Edge Intelligence
Explainable artificial intelligence
Interaction in Ambient Intelligence environments
Machine learning and artificial intelligence
Mathematics and artificial intelligence
Methodology and techniques of decision support, based on a junction of operations research and computational intelligence
Process intelligence
Swarm intelligence
Wireless sensor network and ambient intelligence

interaction

Analysis of protein-protein interaction networks
Hardware/software interaction
Human computer interaction
Human-computer interaction
Human-computer interaction and knowledge discovery from data (HCI-KDD)
Interaction
Interaction in Ambient Intelligence environments
Interaction in pervasive environments
Interaction techniques for augmented realities
Modeling and control of economic, policy and technical interactions in dynamic systems under uncertainties
Multi modal computing and interaction

internet

AI and Internet of Things
Future internet technologies
Information retrieval in Internet
Internet & Multimedia technologies
Internet architecture, protocols, community
Internet economics
Internet of Things
Internet of Things
Internet of Vehicles
Internet security and privacy
Internet technologies
Internet technologies and blockchain
Overcoming the Internet impasse via software defined networking and cloud networks

knowledge

Artificial Intelligence, in particular the symbolic representation of knowledge and its use for inference
Cognition and Foundations of mathematical knowledge
Data analytics, knowledge discovery and data mining
Data mining and knowledge discovery, notably for decision support systems
Human-computer interaction and knowledge discovery from data (HCI-KDD)
Information extraction and knowledge harvesting
Knowledge & educational technologies
Knowledge discovery
Knowledge engineering
Knowledge graph
Knowledge management
Knowledge management, representation and organization
Knowledge representation
Knowledge representation and reasoning
Knowledge representation and reasoning
Medical knowledge representation, in particular the formalisation of medical guidelines and medical trials
Multiple criteria decision aiding, ordinal data mining, preference learning, knowledge discovery from big data
Symbolic computation: automated theorem proving, formal methods for software, algorithm synthesis and verification, mathematical knowledge management
Very large scale Knowledge Representation, in particular inference over very large knowledge bases

language

- Design and Implementation of Bidirectional Languages
Algebraic theory of automata and languages
Automata and formal languages
Automata and language theory (descriptional complexity, regulated rewriting, Marcus contextual grammars, grammar systems)
Compilers for programming languages
Concurrent programming languages
Coordination languages and models
Database programming languages
Database query languages
Descriptional complexity of grammars and languages
Domain specific languages
Formal Languages
Formal language and automata theory
Formal languages and automata
Formal languages and automata
Foundations of object-oriented languages
Models and languages for open distributed systems
Natural language generation
Natural language processing
Natural language processing
Natural language understanding
Ontology languages
Pattern languages
Principles of programming languages
Process description languages
Programming language design and implementation
Programming language theory
Programming language types and semantics
Programming languages
Programming languages
Programming languages and compilers
Programming languages design and implementation
Programming languages for concurrent systems
Programming languages for distributed systems
Query languages
Query languages and data models
Semantics and syntax of programming languages
Semantics of coordination languages
Semantics of parallel programming languages
Semantics of programming languages
The Lustre data-flow synchronous language
Theories for the origins and evolution of language using computer simulations
Use of natural language in the representation of systems and reasoning schemes

learning

Artificial Intelligence & machine learning
Artificial Intelligence and Machine Learning foundations
Computational machine learning
Data mining and machine learning
Deep learning
Deep learning
Deep learning Systems
Deep reinforcement learning
Dynamical system theory and Identification, data science, machine learning
Enhanced learning
Ensemble learning
Geometric machine learning and deep learning on graphs, manifolds, and point clouds
Human-centered machine learning
Interpretable machine learning
Large-scale machine learning
Learning and clustering
Machine Learning
Machine learning
Machine learning (ML) and data mining (DM)
Machine learning and artificial intelligence
Machine learning and technology for healthcare
Multi-objective machine learning
Multiple criteria decision aiding, ordinal data mining, preference learning, knowledge discovery from big data
Neuronal networks and Machine Learning
Reinforcement Learning
Statistical signal processing, machine learning, wireless communications, networking, sensor networks
Trustworthy machine learning
Visual Learning

logic

Applications of equational logic in computer science
Applications of logic in algebra and other fields of mathematics
Applications of logic in computer science
Applications of logic to philosophy, linguistics, computer science and cognitive science
Artificial and Computational Intelligence, notably multivalued and fuzzy logic
Coherent logic
Computational logic
Computational logic
Constraint/logic/functional programming theory and implementation
Description logic
Description logics
Distributed Systems Models (Process Calculi): semantics, behavioural equivalences, logics, verification
General logic, in particular, model theory and modal logic
Inductive logic programming
Logic
Logic
Logic an computer science
Logic and applications to verification
Logic and automata theory
Logic and complexity
Logic and decision procedures
Logic and finite model theory
Logic and verification
Logic in computer science
Logic in computer science
Logic of computation
Logic programming
Logic programming
Logic synthesis
Logics and type theory
Logics for specification and verification
Logics of programs (dynamic logic)
Logics, formal methods
Many-valued logic
Mathematical logic
Mathematical logic
Mathematical logic and its applications to computer science
Mathematical logic and complexity theory
Modal and temporal logics
Modal logic
Model theory of mathematical logic
Non-classical logics
Temporal and modal logics
Temporal logic
Temporal logic and model-checking
Temporal logics
Weighted automata and quantitative logics

machine

Abstract Machines
Applied machine learning
Artificial Intelligence & machine learning
Artificial Intelligence and Machine Learning foundations
Computational machine learning
Data mining and machine learning
Dynamical system theory and Identification, data science, machine learning
Geometric machine learning and deep learning on graphs, manifolds, and point clouds
Human-centered machine learning
Interactive machine learning with the Human-in-the-Loop
Interpretable machine learning
Large-scale machine learning
Machine Learning
Machine dynamics
Machine ethics
Machine learning
Machine learning (ML) and data mining (DM)
Machine learning and artificial intelligence
Machine learning and technology for healthcare
Machine learning theory and algorithms
Machine translation
Multi-objective machine learning
Neuronal networks and Machine Learning
Statistical signal processing, machine learning, wireless communications, networking, sensor networks
Trustworthy machine learning

management

AI-driven compliance management
Big data management
Biological data management
Business Process Management with focus on prediction, and key performance indicators.
Business process management
Data management
Data management and data science
Database management
Database management
Database management systems
Electric power systems reliability management and optimal decision making under uncertainties
Identity and privacy management
Key management - broadcast encryption security evaluation and design
Knowledge management
Knowledge management, representation and organization
Management of large projects for industry
Management of uncertain information
Marketing and management
Mobile data management
Process management
Professional life time management
Scientific databases and data infrastructures, scientific experiment management
Software engineering with focus on variability management and software testing.
Spatial Temporal Data Management
Spatio-temporal data management
Symbolic computation: automated theorem proving, formal methods for software, algorithm synthesis and verification, mathematical knowledge management
Total quality management
Web data management

mathematical

- Program Calculation and Mathematical Structure of Programs
Cognition and Foundations of mathematical knowledge
History of mathematical sciences
Mathematical Programming
Mathematical economics
Mathematical education: logic-based mathematics education, in particular for computer scientists
Mathematical engineering algorithms and software with broad applicability
Mathematical foundations of computer science
Mathematical image processing
Mathematical logic
Mathematical logic
Mathematical logic and its applications to computer science
Mathematical logic and complexity theory
Mathematical modelling in decision making
Mathematical sciences communication
Mathematical structures useful in computer science, in particular theory of 2-structures
Mathematical tools for software engineering
Model theory of mathematical logic
Parallel computing in mathematical programming
Semantics of programming, mathematical basis of computing, esp. coalgebra and quantum computing
Symbolic computation: automated theorem proving, formal methods for software, algorithm synthesis and verification, mathematical knowledge management

method

3D shape analysis using spectral and metric geometric methods
Application of rigorous methods to software production
Artificial intelligence methods to model human behavior from data
B Method for software engineering
Bio-inspired optimization methods
Combination of specification methods for processes, time and data
Computer methods and algorithms for simulating large-scale dynamic systems
Development methods for complex industrial-scale software systems
Development methods for real-time systems
Formal methods
Formal methods
Formal methods for specification, verification, and design of reactive systems
Formal methods for synthesis and verification
Formal methods in software engineering
Graph-theoretic problem decomposition methods that can be used for recognizing large classes of tractable instances of hard problems
Logics, formal methods
Numerical methods and simulations
Probabilistic methods
Randomized methods
Sanity checks in formal methods: vacuity, coverage, and query checking
Software specification and formal methods of software development
Statistical methods for molecular biology
Symbolic computation: automated theorem proving, formal methods for software, algorithm synthesis and verification, mathematical knowledge management
Variational Methods for Computer Vision
Verification of numerical software by means of sound, but approximate methods

mining

Clustering and Data Mining
Constraint-based data mining
Data analytics, knowledge discovery and data mining
Data mining
Data mining
Data mining and knowledge discovery, notably for decision support systems
Data mining and machine learning
Graph Mining
Machine learning (ML) and data mining (DM)
Mining data streams
Mining software archives
Mining software repositories
Mining software specifications
Multiple criteria decision aiding, ordinal data mining, preference learning, knowledge discovery from big data
Process mining
Telecommunications, massive datasets and data mining
Web search and mining

mobile

Autonomous mobile robotics
Development of intelligent interactive systems: smart rooms, cars, clothes, offices and mobile phones.
Dynamic adaptation of mobile applications
Fog computing and mobile edge computing
Mobile cloud computing
Mobile computing
Mobile computing
Mobile computing and communication
Mobile computing and mobile edge computing
Mobile computing and wireless metworks
Mobile crowd sensing
Mobile data management
Mobile edge computing
Mobile multimedia
Mobile systems & sensor networking
Mobile wireless networks
Programming environments for clusters, grids, clouds, heterogeneous and mobile systems
Security & Privacy Engineering, with focus on security requirements analysis, and mobile privacy
Wearable and mobile computing systems
Wireless mobile communications

model

(Probabilistic) model checking
Access control policies, models, and systems
Algebraic and categorical models of concurrency
Applications of model checking to ubiquitous computing
Artificial intelligence methods to model human behavior from data
Automata models for concurrency
Combinatorial models for optimization
Compositional model checking
Computational graph theory, algorithms, models
Computational models of group decision making, social choice and voting, and consensus reaching
Coordination languages and models
Coordination models
Distributed Systems Models (Process Calculi): semantics, behavioural equivalences, logics, verification
Distributed model checking
Electric power systems modeling
Finite model theory
Formal models for distributed systems: Petri nets and process algebras
General logic, in particular, model theory and modal logic
Generalized models of automata (over trees, pictures, relational structures)
Geometric models of very large systems and assemblies
Graph models of DNA sequencing
High-performance distributed applications in areas like search algorithms , multimedia, eScience, semantic web and model checking
Information systems modelling
Large-scale economic data analysis, fusion and modeling the dynamics of economic systems
Large-scale system modelling
Logic and finite model theory
Markov regime models
Model based testing
Model checking
Model checking
Model checking of probabilistic models, counterexample generation, abstraction, stochastic hybrid systems, timed automata
Model theory of mathematical logic
Model transformations
Modeling
Modeling computations in the living cell
Modeling hybrid systems
Modeling notations
Models and languages for open distributed systems
Models of biological systems
Models of computation
Models of computation: lambda-calculus, sequentiality models, synchronous concurrency models
Models of sequential and parallel computational systems
Parallel algorithms and models
Parallel programming models
Probabilistic model checking
Probabilistic models of dynamic behaviour
Probability models in chemistry and physics
Probability models in computer science and operations research
Query languages and data models
SAT-based model checking
Semantic models for concurrency, probability and real-time
Service modeling
Software Model Checking
Stochastic models
Stochastic models in marine science
Stochastic wave models
Tertiary models of RNA structures
Theoretical models for wireless networks and sensor networks

molecular

Algorithms for uncovering molecular mechanisms of disease from systems-level “omics” data
Computational molecular biology
Data analytics, modeling, fusion, dynamics, applied to clinical, molecular and biological data
Molecular and clinical data integration for precision medicine: patient stratification, biomarker discovery, drug re-purposing, disease re-classification
Molecular computing
Molecular networks: interactome evolution, dynamics, alignment, function prediction
Molecular programming
Natural computing, including molecular computing, computation in living cells, self-assembly, and theory of biochemical reactions
Statistical methods for molecular biology
Structural molecular biology

multimedia

High-performance distributed applications in areas like search algorithms , multimedia, eScience, semantic web and model checking
Internet & Multimedia technologies
Mobile multimedia
Multimedia
Multimedia
Multimedia analysis, understanding and retrieval
Multimedia analytics
Multimedia audio-visual database analysis
Multimedia communication and networking
Multimedia communications
Multimedia computing
Multimedia computing
Multimedia indexing and retrieval
Multimedia information analysis
Multimedia security
Networked multimedia systems
multimedia communication
multimedia signal processing
multimedia systems

natural

Natural computation
Natural computing
Natural computing (DNA Computing and Membrane Computing)
Natural computing (DNA computing, membrane computing)
Natural computing, including molecular computing, computation in living cells, self-assembly, and theory of biochemical reactions
Natural language generation
Natural language processing
Natural language processing
Natural language understanding
Use of natural language in the representation of systems and reasoning schemes

network

(Mobile) social networks
5G networks and services
Agent systems and complex networks
Algorithms for network analysis
Analysis of protein-protein interaction networks
Analytical performance evaluation and optimization of wireless systems and networks
Artificial Neural Networks
Bayesian networks
Brain networks
Cellular networks, heterogeneous cellular networks, millimiter-wave communications
Complex networks
Complex networks
Computer and network security
Computer and network security
Computer communication networks
Computer network architectures and protocols
Computer network design and performance
Computer networks
Computer networks
Computer systems and networks
Data and energy integrated communication networks including RF-based wireless power transfer
Data science, power systems, network science, Internet-of-Things
Disruption tolerant networks
Graphs and networks
Heterogeneous networks of computers and clouds
Interconnection network architecture
Mobile wireless networks
Molecular networks: interactome evolution, dynamics, alignment, function prediction
Network Function Virtualization
Network aware programming
Network design
Network measurements and traffic characterization
Network performance debugging
Network science
Network trust and security
Network virtualization
Networking algorithms
Networks
Neural Networks and Fuzzy Systems Algorithms and Control
Neural networks
Neural networks for structured data
Neuronal networks and Machine Learning
On-line social networks security & privacy
Overcoming the Internet impasse via software defined networking and cloud networks
Overlay networks
Peer-to-peer networks
Peer-to-peer networks and distributed retrieval
Quantum network coding
Security and privacy in networks
Sensor networks
Social Networks
Social networks
Software Defined Networks
Statistical signal processing, machine learning, wireless communications, networking, sensor networks
Stochastic geometry modeling, analysis, and optimization of wireless networks
Telecommunication systems and networks
Theoretical models for wireless networks and sensor networks
Wireless communication systems and networks
Wireless communications and networks
Wireless network security
Wireless networks
Wireless networks
Wireless networks and wireless communications including 6G
Wireless sensor network and ambient intelligence

optimization

- Optimization of Functional programs
Analytical performance evaluation and optimization of wireless systems and networks
Applications optimization
Approximation of NP-hard optimization problems
Bio-inspired optimization methods
Combinatorial and Global Optimization
Combinatorial models for optimization
Combinatorial optimization
Combinatorial optimization
Combinatorial optimization and its applications
Data-driven evolutionary optimization
Database performance optimization (automatic tuning) and self-organization (autonomic computing)
Database query optimization
Design space exploration and multi-objective optimization
Evolutionary optimization
Global program analysis/optimization/verification
Hardware optimization
Multi-objective evolutionary optimization
Multiobjective optimization: evolutionary and interactive procedures
Optimization
Optimization
Optimization and application
Optimization in E-commerce
Optimization in biomedical engineering
Optimization in financial engineering
Optimization in supply chains
Optimization in telecommunications
Optimization of complex systems
Polygon mesh generation & optimization
Query processing and optimization
Stochastic geometry modeling, analysis, and optimization of wireless networks
Variable Neighborhood Search - general heuristic for solving optimization problems

parallel

Concurrent and parallel programming
Massively parallel computing
Models of sequential and parallel computational systems
Parallel algorithms
Parallel algorithms and models
Parallel and distributed (cloud) computing
Parallel and distributed Computing
Parallel and distributed algorithms
Parallel and distributed computing
Parallel and distributed systems
Parallel and distributed systems
Parallel computing
Parallel computing
Parallel computing and routing
Parallel computing in mathematical programming
Parallel graph computations
Parallel programming models
Probabilistic program analysis, pointer-manipulating programs (using graph grammars), parallel programming.
Semantics of parallel programming languages
Sequential and parallel computer architecture

pattern

Computer vision and pattern recognition
Pattern Recognition
Pattern classification
Pattern languages
Pattern matching
Pattern recognition

performance

Analytical performance evaluation and optimization of wireless systems and networks
Business Process Management with focus on prediction, and key performance indicators.
Computer network design and performance
Computer system performance evaluation
Computer systems performance modeling and evaluation
Database performance optimization (automatic tuning) and self-organization (autonomic computing)
Efficient implementations of large-scale scientific problems on high performance computing architectures
High Performance Computing (HPC)
High performance and datacenter networking
High performance computers
High performance computing
High performance computing
Locating and fixing application performance bottlenecks
Network performance debugging
Performance analysis
Performance analysis of computer systems
Performance and algorithms for databases
Performance evaluation
Performance modelling

privacy

Computer privacy
Data privacy
Data privacy and security
Data security and privacy
Digital/electronic privacy
Engineering Adaptive Software, with focus on adaptive security and privacy
Identity and privacy management
Internet security and privacy
On-line social networks security & privacy
Privacy and anonymity
Privacy computing
Resiliency, security, and privacy of distributed systems
Scalable privacy protection
Security & Privacy Engineering, with focus on security requirements analysis, and mobile privacy
Security and privacy
Security and privacy in networks

probabilistic

Analysis of probabilistic systems
Automated verification of real-time, probabilistic, and infinite-state systems
Model checking of probabilistic models, counterexample generation, abstraction, stochastic hybrid systems, timed automata
Particular probabilistic systems
Probabilistic methods
Probabilistic model checking
Probabilistic models of dynamic behaviour
Probabilistic program analysis, pointer-manipulating programs (using graph grammars), parallel programming.
Probabilistic verification
Process algebra, true concurrency semantics (event structures and message sequence charts), probabilistic process calculi

problem

Applications of linear and constraint programming to verification problems
Approximation of NP-hard optimization problems
Average-case analysis of several online problems
Complexity theory and phase transition of problems
Computational complexity of verification problems
Counting and approximation the solution of problems
Decidability problems
Efficient implementations of large-scale scientific problems on high performance computing architectures
Graph-theoretic problem decomposition methods that can be used for recognizing large classes of tractable instances of hard problems
Modeling of uncertainty and imprecision in decision problems: rough set theory, fuzzy set theory
Online knapsack problems
Online randomized k-server problems
Satisfiability problems
The LPN (Learning Parity in Noise) problem
Variable Neighborhood Search - general heuristic for solving optimization problems

processing

Audio processing and voice conversion
Biomedical signal and image processing
Biomedical signal processing
Data processing in joint time and frequency domain
Digital geometry processing
Digital image processing
Distributed query and dataflow processing
Geometry processing
Geometry processing
Image and signal processing
Image and video processing
Image and video processing
Image processing
Image processing
Image processing and analysis
Mathematical image processing
Medical image processing
Multi view video processing
Multiscale dataflow processing
Natural language processing
Natural language processing
Nonlinear signal processing
Open distributed processing
Quantum information processing resources ( entanglement, non-locality)
Quantum information processing, quantum automata, entanglement and cryptography
Query processing
Query processing and optimization
Query processing in databases and information systems
Radar signal processing
Remote sensing image processing
Signal and image processing
Signal and image processing
Signal processing
Signal processing
Signal processing for optics and biology
Statistical signal processing, machine learning, wireless communications, networking, sensor networks
Video and image processing
Video processing and coding
Web data processing and data extraction
image/video processing
multimedia signal processing

programming

Answer set programming
Applications of linear and constraint programming to verification problems
Concurrent and parallel programming
Concurrent programming languages
Constraint programming
Constraint programming
Constraint/logic/functional programming theory and implementation
Database programming languages
Functional Programming
Functional programming
Inductive logic programming
Invariant based programming
Language-based programming environments
Logic programming
Logic programming
Mathematical Programming
Molecular programming
Multistage optimal fuzzy control, notably using dynamic programming
Network aware programming
Object-oriented programming
Object-oriented programming, object technology
Parallel computing in mathematical programming
Parallel programming models
Principles of programming languages
Probabilistic program analysis, pointer-manipulating programs (using graph grammars), parallel programming.
Programming languages
Programming languages
Programming languages for concurrent systems
Programming languages for distributed systems
Reactive, Real-Time, Synchronous programming
Semantics and syntax of programming languages
Semantics of parallel programming languages
Semantics of programming languages
Semantics of programming, mathematical basis of computing, esp. coalgebra and quantum computing
Synchronous programming of reactive systems

proof

Automated verification and proof checking
Decomposition of correctness proofs for hybrid systems in traffic applications
Proof and computational complexity theory
Proof assistants
Proof complexity
Proof complexity
Proof theory
Proof theory and recursion theory
Propositional proof complexity
Termination proofs

quality

Data quality
Formal measures of quality: algorithms for quality checking, and automated synthesis of high-quality reactive systems
High quality audio coding
Image quality
Software quality
Software quality
Software quality analysis
Total quality management
Video quality

quantum

Adiabatic quantum computation
Fault tolerant quantum computing
Foundations of quantum mechanics
Fundamental investigations in quantum physics, theory, experiments and paradoxes
Quantum Computing
Quantum Information Science
Quantum and classical cryptography
Quantum automata
Quantum circuits
Quantum communication complexity
Quantum complexity theory
Quantum computation
Quantum computation, communication, teleportation and cryptography
Quantum computations
Quantum computing
Quantum cryptography
Quantum entanglement and non-locality as new computation and communication resource
Quantum information
Quantum information processing resources ( entanglement, non-locality)
Quantum information processing, quantum automata, entanglement and cryptography
Quantum information theory
Quantum network coding
Quantum optics, neutron interferometry, neutron, atom and molecule optics, mesoscopic physics
Quantum physics
Quantum query complexity
Quantum random walks
Quantum randomness and quantum computing
Quantum teleportation
Semantics of programming, mathematical basis of computing, esp. coalgebra and quantum computing

query

Database query languages
Database query optimization
Distributed query and dataflow processing
Flexible database queries reflecting imprecise, bipolar user preferences and intentions
Quantum query complexity
Query languages
Query languages and data models
Query processing
Query processing and optimization
Query processing in databases and information systems
Sanity checks in formal methods: vacuity, coverage, and query checking

reasoning

Approximate reasoning
Geometric reasoning
Knowledge representation and reasoning
Knowledge representation and reasoning
Model-based and qualitative reasoning
Non—monotonic and temporal reasoning
Temporal reasoning

recognition

Computer vision and pattern recognition
Face recognition
Pattern Recognition
Pattern recognition

representation

Artificial Intelligence, in particular the symbolic representation of knowledge and its use for inference
Feature representation
Knowledge management, representation and organization
Knowledge representation
Knowledge representation and reasoning
Knowledge representation and reasoning
Medical knowledge representation, in particular the formalisation of medical guidelines and medical trials
Representation of uncertainty and imprecision and applications in computer science, decision analysis, control
Use of natural language in the representation of systems and reasoning schemes
Very large scale Knowledge Representation, in particular inference over very large knowledge bases
Volume and Octree representations

science

Applications of ML and DM in environmental sciences
Applications of ML and DM in life sciences
Applications of discrete mathematics in science (mathematical chemistry and bioinformatics)
Applications of equational logic in computer science
Applications of logic in computer science
Applications of logic to philosophy, linguistics, computer science and cognitive science
Computational Social Sciences
Computational social science
Computational social science
Computer science
Computer science
Computer science and artificial intelligence
Computer science education
Data Analytics and Science
Data management and data science
Data science
Data science
Data science, power systems, network science, Internet-of-Things
Decision Sciences
Dynamical system theory and Identification, data science, machine learning
Engineering sciences
Foundations of Mathematics and Computer Science: Finitely Supported Mathematics
Foundations of computer science
Genomic data science
History of mathematical sciences
History of science
Interface between the life sciences and the physical sciences
Logic an computer science
Logic in computer science
Logic in computer science
Logical aspects of computer science
Mathematical foundations of computer science
Mathematical logic and its applications to computer science
Mathematical sciences communication
Mathematical structures useful in computer science, in particular theory of 2-structures
Network science
Philosophy and history of mathematics and computer science
Probability models in computer science and operations research
Process science
Quantum Information Science
Representation of uncertainty and imprecision and applications in computer science, decision analysis, control
Stochastic models in marine science
Stochastic processes in computer science
Theoretical computer science
Theoretical computer science
Web science
[Science fiction samples|http://www.iicm.tugraz.at/maurer]

security

Access control in information security
Authentication - security evaluation and design
Computer and network security
Computer and network security
Computer reliability and security
Computer security
Computer security
Computer security, in particular access control and security policies
Cryptography and computer security
Cyber security
Cyber-physical security
Data privacy and security
Data security
Data security and privacy
E-business security
Engineering Adaptive Software, with focus on adaptive security and privacy
Hardware safety and security
Information forensics and security
Information security
Internet security and privacy
Key management - broadcast encryption security evaluation and design
Multimedia security
Network trust and security
On-line social networks security & privacy
Resiliency, security, and privacy of distributed systems
Security
Security & Privacy Engineering, with focus on security requirements analysis, and mobile privacy
Security and privacy
Security and privacy in networks
Security of physical systems
Security vulnerabilities
Software defined radio security
Software security
Specification and verication for security protocols and software
Stream ciphers security evaluation and design
Virtualization and cloud security
Wireless network security

semantics

Axiomatic semantics
Distributed Systems Models (Process Calculi): semantics, behavioural equivalences, logics, verification
Formal semantics
Logical semantics
Process algebra, true concurrency semantics (event structures and message sequence charts), probabilistic process calculi
Program verification and semantics
Programming language types and semantics
Semantics
Semantics
Semantics and syntax of programming languages
Semantics enactment and formalisation
Semantics of computation
Semantics of concurrency
Semantics of coordination languages
Semantics of parallel programming languages
Semantics of programming languages
Semantics of programming, mathematical basis of computing, esp. coalgebra and quantum computing
Structural operational semantics and its meta-theory
Type systems and semantics

signal

Analysis of audio- and video signals
Analysis of non-stationary signals
Biomedical signal and image processing
Biomedical signal processing
Data and signal analysis
High-order statistics, (poly)spectra, wavelets, cyclostationary, and non-Gaussian signal analysis
Identification of regulatory signals
Image and signal processing
Nonlinear signal processing
Radar signal processing
Signal and image processing
Signal and image processing
Signal processing
Signal processing
Signal processing for optics and biology
Statistical signal processing, machine learning, wireless communications, networking, sensor networks
multimedia signal processing

social

(Mobile) social networks
Artificial intelligence applications for social good
Big Data for Social Good
Computational Social Sciences
Computational models of group decision making, social choice and voting, and consensus reaching
Computational social science
Computational social science
On-line social networks security & privacy
Social Choice Theory
Social Computing
Social Networks
Social computing
Social media
Social networking and trust
Social networks

software

Agents, agent oriented software engineering
Agile software development
Algorithms and software tools for analyzing genome rearrangements
Algorithms and software tools for computational proteomics
Algorithms and software tools for de novo antibiotics sequencing
Algorithms and software tools for de novo antibody sequencing
Algorithms and software tools for genome assembly
Analysis, verification, correct specification of software systems
Application of rigorous methods to software production
Automated software analysis
Automated software debugging
Automated software engineering
Automated verification of hardware and software systems
B Method for software engineering
Certified software
Cloud-based software
Communication software
Component based Software Engineering (CBSE)
Development methods for complex industrial-scale software systems
Development of secure and efficient software and hardware implementations
Dynamic software product lines
Embedded Software
Empirical software engineering
Engineering Adaptive Software, with focus on adaptive security and privacy
Formal hardware/software co-verification
Formal methods in software engineering
Formal verification of hardware and software
Gaudi software factory
Generating software tests
Hardware/software co-design
Hardware/software interaction
Incremental software construction
Intelligent software engineering
Mathematical engineering algorithms and software with broad applicability
Mathematical tools for software engineering
Mining software archives
Mining software repositories
Mining software specifications
Model-based software production
Model-driven software engineering
Multiagent systems and agent-oriented software engineering
Overcoming the Internet impasse via software defined networking and cloud networks
Self-adaptive and self-organizing software
Self-managing software
Software
Software Defined Networks
Software Engineering
Software Model Checking
Software System for Cloud Computing and Big Data
Software analytics
Software and systems engineering centered around core topics of software and systems development
Software architecture
Software architecture
Software architecture and component-based development
Software crowdsourcing
Software defined radio security
Software design and development
Software development
Software development environments
Software engineering
Software engineering for AI-based systems
Software engineering with emphasis on software data analytics
Software engineering with focus on variability management and software testing.
Software engineering, with focus on requirements engineering
Software evolution
Software formal specification and verification
Software libraries
Software quality
Software quality
Software quality analysis
Software security
Software specification
Software specification and formal methods of software development
Software systems
Software systems
Software systems engineering
Software testing
Software testing
Software testing and analysis
Software testing and debugging
Software tools
Software verification
Specification and verication for security protocols and software
Symbolic computation: automated theorem proving, formal methods for software, algorithm synthesis and verification, mathematical knowledge management
System and software requirements
System software
Verification of numerical software by means of sound, but approximate methods
Verified software

specification

Algebraic specification of data and programs
Algebraic specifications
Analysis, verification, correct specification of software systems
Circuit specification and synthesis
Combination of specification methods for processes, time and data
Design specification and verification
Formal methods for specification, verification, and design of reactive systems
Formal specification
Logics for specification and verification
Mining software specifications
Modeling and specification formalisms
Software formal specification and verification
Software specification
Software specification and formal methods of software development
Specification and verication for security protocols and software
Theoretical and practical aspects of concurrent systems specification and verification

stochastic

(extensions to) AADL, stochastic Petri nets, process algebras.
Model checking of probabilistic models, counterexample generation, abstraction, stochastic hybrid systems, timed automata
Stochastic systems
Stochastic behavioural modelling and verification
Stochastic geometry modeling, analysis, and optimization of wireless networks
Stochastic models
Stochastic models in marine science
Stochastic processes and their applications in engineering
Stochastic processes in computer science
Stochastic wave models

structure

- Program Calculation and Mathematical Structure of Programs
Algorithms and data structures
Algorithms for approximately counting and randomly sampling combinatorial structures
Analysis of geometric structures
Automatic structures
Complexity of data structures and algorithms
Computable structures
Data structure and algorithms
Data structures
Data structures, algorithms and graph theory
Development and analysis of efficient data structures and algorithms in VLSI CAD
Graph structure
Mathematical structures useful in computer science, in particular theory of 2-structures
Neural networks for structured data
Ordered structures
Predicting structured outputs
Structure from motion
Tertiary models of RNA structures

synthesis

3D image analysis and synthesis
Analysis and synthesis of asynchronous circuits
Automatic synthesis of connectors for heterogeneous systems.
Circuit specification and synthesis
Formal measures of quality: algorithms for quality checking, and automated synthesis of high-quality reactive systems
Formal methods for synthesis and verification
Formal verification and synthesis of reactive systems
Game-based approach to automatic verification and synthesis
Image synthesis and image based rendering
Logic synthesis
Symbolic computation: automated theorem proving, formal methods for software, algorithm synthesis and verification, mathematical knowledge management
Synthesis
Wave field synthesis

technology

Advanced program development technology
Assistive technologies
Blockchain and distributed ledger technology
Blockchain technology
Database technology for openData platforms - integration and consumption
Decision support in medicine, technology, economics and environmental studie
Education technologies
Flexible process technologies
Future internet technologies
Hypermedia systems and personalization technology
Internet & Multimedia technologies
Internet technologies
Internet technologies and blockchain
Knowledge & educational technologies
Machine learning and technology for healthcare
Main-memory database technology for analytical and transactional workloads
Object-oriented programming, object technology
Ultrasound technologies

temporal

Modal and temporal logics
Non—monotonic and temporal reasoning
Spatial Temporal Data Management
Temporal and modal logics
Temporal databases
Temporal logic
Temporal logic and model-checking
Temporal logics
Temporal reasoning

test

Computer-aided design, test and verification of (digital) circuits and systems (VLSI CAD)
Generating software tests
Model based testing
Program analysis and testing
Software testing
Software testing
Software testing and analysis
Software testing and debugging
Testing
Testing and verification

theoretical

Theoretical Biology
Theoretical and practical aspects of concurrent systems specification and verification
Theoretical computer science
Theoretical computer science
Theoretical models for wireless networks and sensor networks

theory

Advanced Control Theory
Algebraic coding theory
Algebraic theory of automata and languages
Algorithmic game theory
Algorithmic graph theory
Algorithmic information theory
Algorithmic information theory
Algorithms and complexity theory
Aspects of number theory
Automata and language theory (descriptional complexity, regulated rewriting, Marcus contextual grammars, grammar systems)
Automata theory
Automata theory
Axiomatic set theory
Category theory
Category theory
Combinatorial group theory
Combinatorial theory
Combinatorics with graph theory
Communication theory
Compiler theory
Complexity theory
Complexity theory
Complexity theory and phase transition of problems
Computability theories
Computability theory
Computational complexity theory
Computational graph theory, algorithms, models
Computational-complexity theory
Computer algebra: polynomial algorithms,theory of Groebner Bases, automated geometrical theorem proving
Concurrency theory
Concurrency theory
Connections with semigroup theory
Constraint theory and applications
Constraint/logic/functional programming theory and implementation
Data structures, algorithms and graph theory
Database systems and theory
Database theory
Database theory
Database theory (query languages and their power)
Decidable theories
Decision theory
Distributed systems design, queuing theory
Domain theory
Dynamical system theory and Identification, data science, machine learning
Evolutionary game theory
Finite model theory
Formal language and automata theory
Foundational issues of algorithmic game theory
Fundamental investigations in quantum physics, theory, experiments and paradoxes
Game theory
Game theory
Game theory and mechanism design
General logic, in particular, model theory and modal logic
Graph theory and algorithms
Group theory
Homotopy type theory
Information theory
Information theory and control
Learning theory
Learning theory
Location theory - Operational research field where variables represent facility locations
Logic and automata theory
Logic and finite model theory
Logics and type theory
Machine learning theory and algorithms
Mathematical logic and complexity theory
Mathematical structures useful in computer science, in particular theory of 2-structures
Matrix Theory
Model theory of mathematical logic
Modeling of uncertainty and imprecision in decision problems: rough set theory, fuzzy set theory
Natural computing, including molecular computing, computation in living cells, self-assembly, and theory of biochemical reactions
Programming language theory
Proof and computational complexity theory
Proof theory
Proof theory and recursion theory
Quantum complexity theory
Quantum information theory
Rough set theory and applications
Social Choice Theory
The effective theory of infinite games
Theories for the origins and evolution of language using computer simulations
Theory and application of concurrency in system design
Theory of algorithms
Theory of algorithms and complexity
Theory of automata
Theory of computation
Theory of concurrency
Theory of concurrency
Theory of concurrent systems
Theory of concurrent systems, in particular theory of Petri nets, theory of transition systems, and theory of traces
Theory of distributed systems
Theory of graph transformations
Theory of programming
Theory of programming
Theory of scheduling
Theory of synchronous algorithms with digital and analogue components, and its applications
Type theory
Type theory
Unification theory

thing

type

Homotopy type theory
Intersection types
Logics and type theory
Programming language types and semantics
Session types
Type systems and semantics
Type theory
Type theory

verification

- Validation and Verification of Bidirectional Transformations
Algorithmic verification
Algorithms and tools for the design and verification of reactive and distributed systems
Analysis, verification, correct specification of software systems
Applications of linear and constraint programming to verification problems
Automated verification
Automated verification and proof checking
Automated verification of hardware and software systems
Automated verification of real-time, probabilistic, and infinite-state systems
Automatic verification
Automatic verification of finite-state systems
Computational complexity of verification problems
Computer-aided design, test and verification of (digital) circuits and systems (VLSI CAD)
Computer-aided verification
Design and Verification of safety-critical embedded systems
Design specification and verification
Distributed Systems Models (Process Calculi): semantics, behavioural equivalences, logics, verification
Formal hardware verification
Formal methods for specification, verification, and design of reactive systems
Formal methods for synthesis and verification
Formal verification
Formal verification and synthesis of reactive systems
Formal verification of hardware and software
Formal verification of processors and microkernels
Foundations of algorithmic verification
Game-based approach to automatic verification and synthesis
Global program analysis/optimization/verification
Infinite automata and applications in the verification of infinite systems
Logic and applications to verification
Logic and verification
Logics for specification and verification
Modeling and verification
Probabilistic verification
Program verification
Program verification and semantics
Programm verification
Software formal specification and verification
Software verification
Stochastic behavioural modelling and verification
Symbolic computation: automated theorem proving, formal methods for software, algorithm synthesis and verification, mathematical knowledge management
Testing and verification
Theoretical and practical aspects of concurrent systems specification and verification
Verification
Verification and validation
Verification of distributed systems
Verification of numerical software by means of sound, but approximate methods
Verification of sequential and concurrent programs
Verification of systems with infinitely many states

video

Analysis of audio- and video signals
Digital video
Digital video communications
Image and video processing
Image and video processing
Image and video search
Multi view video processing
Streaming video
Video and image processing
Video coding
Video compression
Video processing and coding
Video quality
Video streaming
Video surveillance
image/video processing

vision

3D Computer vision
Applications of the Fisher-Rao metric to computer vision
Cognitive computer vision
Computational vision
Computer Vision
Computer vision
Computer vision and pattern recognition
Variational Methods for Computer Vision

web

High-performance distributed applications in areas like search algorithms , multimedia, eScience, semantic web and model checking
Semantic Web
Semantic Web and Web 2.0
Semantic Web, in particular handling distributed, large, heterogeneous, dynamic and possibly inconsistent information
Semantic web
Web data management
Web data processing and data extraction
Web information retrieval
Web science
Web search and mining

wireless

Analytical performance evaluation and optimization of wireless systems and networks
Data and energy integrated communication networks including RF-based wireless power transfer
Mobile computing and wireless metworks
Mobile wireless networks
Statistical signal processing, machine learning, wireless communications, networking, sensor networks
Stochastic geometry modeling, analysis, and optimization of wireless networks
Theoretical models for wireless networks and sensor networks
Wireless communication systems and networks
Wireless communications and networks
Wireless mobile communications
Wireless network security
Wireless networking
Wireless networks
Wireless networks
Wireless networks and wireless communications including 6G
Wireless sensing
Wireless sensing and networking
Wireless sensor network and ambient intelligence

other

(Interactive) Granular Computing
(Symbolic) loop transformations and compilation
- Automatic Parallelization
3D User interfaces
3D animation
3D content
3D depth sensors
5G Beyond/6G
Abstract interpretation
Abstract interpretation
Abstraction, refinement, and counterexamples
Affective Computing
Agent-based computing
Algorithmic mathematics
Algorithmic randomness
Alternative splicing
Applied mathematics
Applied statistics and mathematics
Asynchronous circuits
Augmented reality
Augmented reality
Authentication and secret sharing
Automatic documentation tools
Automatic hypertext/Web-site generation
Autonomic computing
Autonomic computing
Autonomous Systems
Autonomous systems
Bibliometrics
Bidirectional Transformation
Bio-inspired computing
Biomarkers
Biometrics
Blockchain
Boolean Satisfiability
Boolean functions
Brain atlasing
Brain diseases
Bridging membrane computing and process calculi
CPU-GPU hybrid and cooperative computing
Camera calibration
Cancer screening
Church-Turing thesis
Circuits and VLSI
Cluster computing
Cognitive neuroscience
Cognitive user modeling and conceptualization
Commodity Beowulf clusters
Communicating systems
Comparative genomics
Compilers
Complex (adaptive) systems
Complex system
Complex systems
Computability
Computability
Computability (levels of undecidability)
Computation
Computation for federated analytics, blockchain systems
Computational Biomedicine
Computational brain imaging
Computational education
Computational linguistics
Computational neuroscience
Computational neuroscience
Computational scientific discovery
Computational thinking, curriculum, education
Computational topology
Computer-aided detection and diagnosis (CAD)
Computing Continuum
Computing with words
Conceptual modeling
Concurrent computation
Concurrent object
Conformance checking
Connected and autonomous vehicles
Constraint Satisfaction
Constraint scheduling
Constructive Mathematics
Context-aware computing
Cooperative systems, scientic computing
Critical infrastructures and their interdependencie
Crowd-sourcing
Cryptograhpy
Cryptology
Cryptology (cryptography and cryptanalysis)
Cryptopoetry
Cultural heritage
Cyber forensics
Cyber-physical systems
Cyber-physical-social systems
Cyberphysical systems resiliency
Cybersecurity
DB & IR integration (database systems & information retrieval)
DNA Sequencing by hybridization
Data-centered business processes
Decidability and undecidability questions
Decoding of linear binary block codes
Dependable computing
Dependable, reliable, and secure computing
Diophantine equations
Discretization of space, time and value
Domain decomposition
E-Commerce
Electric vehicles
Electronic commerce
Electronic imaging techniques
Elliptic PDE
Embodied cognition
Emergency services
Emerging transport solutions
Energy informatics
Energy-efficient computing
Energy-efficient networking
Enterprise computing systems
Enterprise modeling
Error correcting codes
Evolution of metabolic pathways and regulatory systems
Exact computation
Execution visualization
Experimental learning environments with animated characters
Exponential sums over finite fields
FPGA accelerators
FPT
Fault diagnosis
Fault tolerance
Feature subset selection
Field-programmable gate arrays (FPGAs)
Fog computing
Free viewpoint rendering
Functional genomics
Fuzzy preference modelling
Fuzzy systems
General purpose graphics processing units
Geoinformatics
Geometric modeling
Gossip-based networking
Grammars and rewriting systems
Graphical processing units (GPUs)
Graphics systems
Great principles of computing
Grid computing
Hardware-software co-design
Health informatics
Healthcare informatics
Heterogeneous Computing
Heterogeneous computing systems
High-performance computing
High-performance computing
History and prospects of informatics
History of computing
History of mathematics
Human behavior understanding
Human motivation
Hw Accelerators
Hypermedia
Indexing
Industrial mathematics
Industry 4.0
Infinitary rewriting
Infinite words
Informatics
Informatics and simulation
Information-centric networking
Initiator of membrane computing (details at [http://ppage.psystems.eu])
Integrated systems
Intelligent Systems dealing with complex phenomena
Intelligent Transportation Systems
Intelligent Unmanned Systems
Intelligent critical infrastructure systems
Intelligent inlormation systems
Intelligent systems
Interactive geometric modeling
Interactive theorem proving
Internetworking
Interoperability assessment
Intrusion detection system
Kernelization
Lambda calculus
Lambda calculus and term rewriting
Large scale analytics
Linear dynamical systems (decision, control, and synthesis problems)
List comprehension
Local computations
Lower bounds
MRMC (probabilistic model checker), libalf (learning communicating finite-state automata), COMPASS (AADL analysis tool-set)
Mathematics
Mathematics of conflict
Medical imaging
Membrane Computing (Natural Computing)
Membrane computing
Message passing interface
Metabolic reconstruction and functional annotation of genes and proteins
Metagenomics
Metamaterials, metasurfaces, and reconfigurable intelligent surfaces
Microelectronics
Middleware
Minima philosophica
Mixed reality
Model-checking
Multi-agent systems
Multi-agent systems
Multi-core systems
Multi-label classification
Multiagent systems
Multiresolution
Multiresolution modeling
Multivariate algorithmics
Negotiation and cooperation in mixed open environments (including humans)
Networking
Networks-on-chip
Neuro-symbolic systems
Neurocomputing
Neurocomputing
Neuroimaging
Neurology
Neuromodulation
Non-standard computing
Nonlinear dimensionality reduction and self-organization
Ontologies
Operating system
Operating systems
Operating systems
Operational Research
Operations research
Operations research
Optical flow
Originator of the Z notation
P2P systems
Parallelizing compilers
Parallelizing compilers
Peer-to-peer infrastructures
Perceptual measurement techniques
Personalization
Pervasive computing
Pervasive computing systems
Petri nets
Petri nets
Philosophy of computing
Point-based graphics
Porting source code
Possibilities and limitations of Darwinian evolution
Power Aware Computing
Process discovery
Profiling
Program correctness
Program repair
Program slicing
Program slicing
Programming environments
Programming methodology
Project scheduling, including multiple category resources, multiple job modes, multiple criteria and uncertainty.
Psychoacoustics
Public health
Public transit planning and optimisation
Reaction systems
Real-time systems
Recommender systems
Recommender systems
Reconfigurable and adaptive computing systems
Reconfigurable computing
Resource-aware distributed execution and logical agents
Rewrite systems
Robotics
Robotics
Robotics and automation
Runtime systems
SAT algorithms
Satisfiability
Scientific experimentation with focus on replicability and automation.
Scientometrics and bibliometrics
Self-managing and adaptive systems
Self-organizing robotic systems
Semirings
Sequences
Service computing
Service oriented computing
Service-oriented computing
Service-oriented computing
Shannon entropy
Shared memory
Similarity sensitive hashing
Simulation
Smart Grids as a means of implementing sustainable IT-enabled electricity services
Smart connectivity systems
Smart contracts
Smart energy
Smart grid
Smart sensing
Societal implications of informatics
Sociotechnical systems
Soft computing
Software-defined networking
Softwaretechnology
Sorting
Spatial modulation for multiple-antenna systems
Stable Matchings
Statistics
Statistics and the environment
Statistics education
Statistics in ophthalmology
Statistics of DNA sequences
Steganography
Storage systems
Subdivision surfaces
Supercomputers
Supercomputing
Support for realtime/righttime-analytics in data-warehouse infrastructures
Surveillance
Sustainable computing
Symbolic computation
Synchronization
Systems and Cybernetics
Systems interoperability
Systems-on chip
Systems-on-chip
Tangible and perceptive user interfaces
Telematics in education
Term rewriting
Term rewriting
Term rewriting systems
Text Similarity
Text generation
Theorem proving
Three-dimensional graphics and realism
Tilings
Timing guarantees for hard real-time systems
Topology
Transcriptional regulation
Treewidth
Treewidth
Ubiquitous computing
Ubiquitous/pervasive computing
Ultra-wide band (impulse radio) systems
Urban computing
User interfaces
User modeling, adaptation, personalization, profiling, contextualization
User preferences and personalization
VLSI systems
Video-streaming
Virtual reality
Virtual reality
Visual computing
Visual neuroscience
Visual perception
Visualization
Workflow automation
[NetInteractive Documents|https://austria-forum.org/af/AEIOU/NID]
dependability
e-Learning
e-Science
e-Science
eScience

AREAS OF ACTIVITY - Informatics

AREAS OF ACTIVITY - Informatics

Search options:

AREAS OF ACTIVITY - Informatics

AREAS OF ACTIVITY - Informatics