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