Latest news
Research Teams' Seminar
Cambium Seminar
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:
Research Teams' Seminar
Cambium Seminar
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