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