Defining corecursive functions in Coq using approximations rusu 2022/02/24 2022/02/24 Continue reading
AlgoKnot – Algorithmic and combinatorial aspects of knot theory | ANR-20-CE48-0007 cmaria 2022/02/15 2022/02/15 Continue reading
Workshop: Asymmetry in interacting particle systems, microscopic and macroscopic effects masimon 2022/02/15 2022/02/15 Continue reading
13th Workshop on Planning, Perception and Navigation of Intelligent Vehicle pmartine 2022/02/12 2022/02/12 Continue reading
FAult-aware timing behaviour for safety-critical multicore SYstems akritika 2022/02/08 2022/02/08 Continue reading