Sites Inria

Version française

Latest news

© INRIA Sophie Auvin - C comme Cryptographie

Research Teams' Seminar

Cambium Seminar

16/12/2019

This talk presents Nomos, a programming language that has been designed from scratch to address the unique challenges of programming digital contracts: describing and enforcing protocols of interaction, controlling resource usage, and tracking linear assets.

Place : Conference Room Jacques-Louis Lions 1

Guest(s) : Jan Hoffmann, Carnegie Mellon University

Keywords:

lire la suite

© INRIA Sophie Auvin - C comme Cryptographie

Research Teams' Seminar

Cambium Seminar

18/12/2019

The DeepSpec research project is a cross institution, cross project investigation to push further the science of specification and verification of software artifacts. Its ambition is crystallized into four qualities that specifications should have: they should be rich, live, two-sided and formal.

Place : Room Jacques Louis Lions 2, building C

Guest(s) : Yannick Zakowski, University of Pennsylvania

Keywords:

lire la suite

Top