Souheib Baarir
Souheib Baarir
Affiliation: Sorbonne Université, CNRS, LIP6, F-75005 Paris, France Université Paris Lumières, Université Paris Nanterre Nanterre, France
Talks
(WST)
PaSTTeL: Parallel analysiS framework for Termination and non-Termination of Lasso programs · Termination of Loops
Pages in this Program
Program
Program on Saturday, 25 July 2026
WST on Saturday, 25 July 2026
WST Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑