Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
ASL2020/ | 2020-09-07 20:24 | - | ||
Caen/ | 2020-05-30 13:45 | - | ||
CanadaDecembre2019/ | 2019-12-08 19:55 | - | ||
ICJ/ | 2020-01-22 23:36 | - | ||
IMSsummerschool_peada.pdf | 2019-03-26 16:36 | 448K | ||
PEADA_NLSummerschool.pdf | 2019-03-26 16:36 | 331K | ||
TalkCAPP/ | 2020-11-17 08:52 | - | ||
WDCM-2021-slips.zip | 2021-07-01 10:34 | 8.6M | ||
WDCM-2021-slips/ | 2024-11-21 09:32 | - | ||
berlin_odoc/ | 2024-09-04 10:15 | - | ||
campus_du_libre.html | 2024-11-23 00:21 | 2.2M | ||
campus_du_libre.md | 2024-11-23 00:21 | 11K | ||
ccr2018.pdf | 2019-03-26 16:36 | 447K | ||
cea.html | 2024-11-15 16:25 | 575K | ||
ejcim_peada.pdf | 2019-03-26 16:36 | 703K | ||
gt-cal2017-a_recursion_and_randomness.pdf | 2019-03-26 16:36 | 463K | ||
gt-cal2017-a_recursion_and_randomness_en.pdf | 2019-03-26 16:36 | 454K | ||
mfcs_bm-peada.pdf | 2019-03-26 16:36 | 308K | ||
mirage/ | 2023-07-12 10:41 | - | ||
node_modules/ | 2023-03-31 15:40 | - | ||
odoc_3.html | 2024-06-07 10:52 | 641K | ||
package-lock.json | 2023-03-31 15:40 | 17K | ||
package.json | 2023-03-31 15:40 | 79 | ||
presentations/ | 2023-06-06 17:45 | - | ||
schoenfield_semin_lacl.pdf | 2019-03-26 16:36 | 226K | ||
semiautoIRIF_en.pdf | 2019-03-26 16:36 | 573K | ||
slides-45/ | 2019-11-21 12:32 | - | ||
slides-js/ | 2019-11-18 17:28 | - | ||
slides2.svg | 2019-11-13 17:56 | 550K | ||
slides_CTA/ | 2020-10-06 10:14 | - | ||
slip-js/ | 2019-12-03 17:07 | - | ||
tech_talk_pres/ | 2023-04-20 09:50 | - | ||
tikz-slipshow/ | 2020-11-01 15:13 | - | ||
zaragoza-presentation/ | 2022-09-08 15:45 | - | ||