Scientific visualization and illustrative visualization

Contributor Tobias Isenberg, Inria, tobias.isenberg@inria.fr Summary Illustrative visualization takes inspiration from the long tradition of traditional illustration, in which illustrators have developed numerous excellent techniques to convey complex scientific principles, techniques,…

Continuer la lecture Scientific visualization and illustrative visualization

Progressive analytics

Point of contact Jean-Daniel Fekete, Université Paris-Saclay & Inria, Jean-Daniel.Fekete@inria.fr Summary We live in an era where data is abundant and growing rapidly; databases storing big data sprawl past memory and…

Continuer la lecture Progressive analytics

Visualizations beyond the desktop

Point of contact Petra Isenberg, Inria, petra.isenberg@inria.fr Summary Visualization fundamentally studies how people work with, react to, understand, or interact with (mostly) digital representations of data. With its focus on people,…

Continuer la lecture Visualizations beyond the desktop

Knowledge acquisition from heterogeneous sources

Point of contact Fabian Suchanek, Télécom Paris, suchanek@enst.fr Summary Many applications in AI require knowledge about the real world: chatbots, intelligent assistants, decision support systems, or dialog systems. The goal of…

Continuer la lecture Knowledge acquisition from heterogeneous sources

Universality of proofs

Point of contact Chantal Keller, LISN, Chantal.Keller@lri.fr Summary Many paradigms and proof systems have been developed to mechanizelogical reasoning: interactive and automatic theorem provers, proofcheckers, programming languages with strong guaranties,…

Continuer la lecture Universality of proofs

Certified Certification Tools

Point of contact Virgile Prevosto, CEA List Summary Formal software verification tools are themselves programs, hence can contain bugs. Therefore,they should themselves be verified as much as possible, to minimize…

Continuer la lecture Certified Certification Tools

Towards Continuous Verification

Point of contact Virgile Prevosto, CEA List Summary Formal verification is usually understood as taking place in a traditional V development cycle, i.e., occurring at a late stage, over stable and…

Continuer la lecture Towards Continuous Verification

Trusted Artificial Intelligence

Point of contact Virgile Prevosto, CEA List Summary Deep learning and neural networks have been extremely successful in many different domains. However, when it comes to trust an AI algorithm…

Continuer la lecture Trusted Artificial Intelligence

Quantum computation models and programming

Point of contact Virgile Prevosto, CEA ListPablo Arrighi, LISNBenoît Valiron, LISN Summary Even though a real quantum processor is not there yet, there are already algorithms and programming languages dedicated…

Continuer la lecture Quantum computation models and programming