Olivier Danvy
where else to find them
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 3 in the filters
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| How Computer Science Was Introduced at Yale-NUS College | SPLASH-E 2025 | 2025-10-18 |
Yale‑NUS runs a 10‑year experiment that introduces liberal‑arts undergraduates to computing through Aristotle’s four causes, analogies (cooking, knitting… | ||
| On a simple problem due to Yves Bertot | SAS 2025 | 2025-10-13 |
Starts from Bertot’s puzzle that the product of two consecutive naturals is even and proves the general claim that the product of m consecutive integers is… | ||
| Nested Summations | JENSFEST 2024 | 2024-10-22 |
This work claims explicit formulas that express Fibonacci, Lucas, Jacobstahl and Jacobstahl‑Lucas sequences as finitely nested finite sums, gives the… | ||
| nothing matches | ||