Machine Learning Interaction Ontology Mobility Artificial intelligence Quality of service Usability Dynamic epistemic logic Spectral unmixing Performance evaluation Réseaux sociaux Recherche d'information Accessibility Information Retrieval Automation Formal methods Apprentissage automatique Optimization Information systems Clustering Knowledge representation Performance Logic Game theory Protocols NoSQL Satellite IHM Similarity Emergence Cloud computing Modeling Safety Event-B Dialogue Bayesian inference Refinement Modal logic Machine learning Big data Ontologies Social media SIGEVI Data mining Signal processing Argumentation Hyperspectral imagery Simulation QoS Energy efficiency Possibilistic logic Ontologie Model checking Energy Context Design Uncertainty Cooperation Segmentation Evaluation Big Data Change detection Verification Deep learning Fuzzy sets Multifractal analysis Belief functions Internet of Things Wireless sensor networks Adaptation OLAP Social networks Software engineering Multi-agent systems Visual impairment Neural networks Formal verification Fusion Ultrasound imaging Dynamic logic Bayesian estimation Semantics Information retrieval Epistemic logic Natural language processing Visualization Estimation Delays Classification Routing Security Collaboration IoT Complexity Computational complexity Optimisation Scheduling Possibility theory Trust Planning