Summary Information-theoretic security guarantees security even if the adversary has unlimited computing power, by contrast with cryptography where the adversary is assumed to have bounded computational power. Hence, information-theoretic security…
Point of contact Jules Françoise, LISN Summary Machine Learning (ML) is a powerful tool for building applications that perform complex tasks using computational models estimated from data. While it has…
Point of contact Zoubida Kedad, Adam, David, Université Paris-SaclayStéphane Lopes, Adam, David, Université Paris-Saclay Summary The web of data represents a huge information space consisting of an increasing number of…
Summary Distributed computing utilizes coding theory to leverage data/computation redundancy to mitigate fundamental bottlenecks in large-scale distributed computing, including communication bandwidth, straggler’s (i.e., slow or failing nodes) delay, privacy and…
Summary Even though a real quantum processor is not there yet, there are already algorithms and programming languages dedicated to quantum computing, as well as proposals for verifying their properties.…
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,…
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…
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,…
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…
Point of contact Chantal Keller, LMF, 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,…