Index of /panglesd/slides

	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	2025-06-23 07:18	2.3M
	campus_du_libre.md	2024-12-22 20:20	11K
	campus_du_libre_old.html	2024-12-22 20:21	2.2M
	campus_font_embedded_test.html	2025-09-01 20:09	4.9M
	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
	funocaml.html	2025-09-15 13:39	14M
	funocaml_mobile.html	2025-09-15 13:42	5.4M
	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
	main.html	2025-09-11 18:46	14M
	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
	offsite2025/	2025-06-20 12:16	-
	offsite_2025/	2025-06-25 03:28	-
	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/	2025-01-27 18:08	-
	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	-