Hot topics

LabEx Digicosme is currently identifying research topics considered as hot by the international research community and on which at least one of these conditions is met: several teams within DigiCosme…

Continuer la lecture Hot topics

Universality of proofs

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,…

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 Pablo Arrighi, LMFMarc Baboulin, LISNSébastien Bardin, CEAVirgile Prevosto, CEA ListBenoît Valiron, LMFRenaud Vilmart, LMF Summary Even though a real quantum processor is not there yet, there are…

Continuer la lecture Quantum computation models and programming

Security and Privacy Properties

Point of contact Virgile Prevosto, CEA List Summary Historically, formal methods have mostly focused on proving safety properties of critical embedded systems, which were relatively isolated. With the advent of…

Continuer la lecture Security and Privacy Properties

Distributed microbiological systems

Point of contact Matthias Függer, LMF, mfuegger@lsv.frThomas Nowak, LISN, thomas.nowak@lri.fr Summary In the past few decades, synthetic biology has laid considerable focus on the re-programming of cells as computing machines. They have…

Continuer la lecture Distributed microbiological systems