Alain Delae?t
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Aymeric Fromherzonce
- Denis Merigouxonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Turning Catala into a Proof Platform for the Law | Programming Languages and the Law 2022 (ProLaLa 2022) | 2022-01-16 |
Catala becomes a proof platform that uses proof-by-refinement to simplify programs while preserving semantics, generating no-empty/no-conflict VCs for default… | ||
| nothing matches | ||