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 sensor networking and signal processing to environmental monitoring
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 systems: joint source and channel coding, image compression
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
Distributed signal processing and communications: sensor networks, self-organized systems
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 & overlay 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 signal processing and communications: sensor networks, self-organized systems
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
Multimedia technologies & serious 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 dimensional signal processing: plenacoustic, plenoptic sampling and reconstruction
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
Communication systems: joint source and channel coding, image compression
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 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 signal processing: wavelet theory, filter banks, sampling theory
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

multimedia

High-performance distributed applications in areas like search algorithms , multimedia, eScience, semantic web and model checking
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
Multimedia technologies & serious games
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
Distributed signal processing and communications: sensor networks, self-organized systems
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 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

particular

Artificial Intelligence, in particular the symbolic representation of knowledge and its use for inference
Computer security, in particular access control and security policies
General logic, in particular, model theory and modal logic
Mathematical education: logic-based mathematics education, in particular for computer scientists
Mathematical structures useful in computer science, in particular theory of 2-structures
Medical knowledge representation, in particular the formalisation of medical guidelines and medical trials
Particular probabilistic systems
Semantic Web, in particular handling distributed, large, heterogeneous, dynamic and possibly inconsistent information
Theory of concurrent systems, in particular theory of Petri nets, theory of transition systems, and theory of traces
Very large scale Knowledge Representation, in particular inference over very large knowledge bases

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

Applications of sensor networking and signal processing to environmental monitoring
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
Distributed signal processing and communications: sensor networks, self-organized systems
Geometry processing
Geometry processing
High dimensional signal processing: plenacoustic, plenoptic sampling and reconstruction
Image and signal processing
Image and video processing
Image and video processing
Image processing
Image processing
Image processing and analysis
Mathematical image processing
Mathematical signal processing: wavelet theory, filter banks, sampling theory
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

AREAS OF ACTIVITY - Informatics

AREAS OF ACTIVITY - Informatics

Search options:

AREAS OF ACTIVITY - Informatics

AREAS OF ACTIVITY - Informatics