https://europroofnet.github.io/deliverable1/ https://europroofnet.github.io/deliverable10/ https://europroofnet.github.io/deliverable11/ https://europroofnet.github.io/deliverable12/ https://europroofnet.github.io/deliverable15/ https://europroofnet.github.io/deliverable3/ https://europroofnet.github.io/deliverable4/ https://europroofnet.github.io/deliverable5/ https://europroofnet.github.io/deliverable6/ https://europroofnet.github.io/deliverable7/ https://europroofnet.github.io/deliverable9/ https://europroofnet.github.io/Prague23/Hula https://europroofnet.github.io/Prague23/Johannson https://europroofnet.github.io/Prague23/Rawson https://europroofnet.github.io/accepted_itcgs/ https://europroofnet.github.io/accepted_stsms/ https://europroofnet.github.io/dk-meeting3-access/ https://europroofnet.github.io/Access/ https://europroofnet.github.io/Activities/ https://europroofnet.github.io/wg2-geo24-admin/ https://europroofnet.github.io/tptp23-meeting-admin/ https://europroofnet.github.io/wg2-tptptp24-admin/ https://europroofnet.github.io/dk-meeting3-admin/ https://europroofnet.github.io/women-epn-2024-admin/ https://europroofnet.github.io/women-epn-2025-admin/ https://europroofnet.github.io/women-epn-2023-admin/ https://europroofnet.github.io/SSA24-admin/ https://europroofnet.github.io/PAT23-admin/ https://europroofnet.github.io/PC24-admin/ https://europroofnet.github.io/wg3-dresden24-admin/ https://europroofnet.github.io/lausanne24-admin/ https://europroofnet.github.io/wg3-timisoara-admin/ https://europroofnet.github.io/wg4-tbilisi24-admin/ https://europroofnet.github.io/wg4-cambridge23-admin/ https://europroofnet.github.io/wrqt-2025-admin/ https://europroofnet.github.io/wg6-vienna-admin/ https://europroofnet.github.io/wg6-leuven-admin/ https://europroofnet.github.io/wg6-vienna-admin/ https://europroofnet.github.io/inter-wg-24-admin/ https://europroofnet.github.io/dk-meeting-july2023-admin/ https://europroofnet.github.io/dk-meeting2-admin/ https://europroofnet.github.io/wg1-gruissan24-admin/ https://europroofnet.github.io/wg5-edinburgh25-admin/ https://europroofnet.github.io/wg5-vienna24-admin/ https://europroofnet.github.io/Prague23-admin/ https://europroofnet.github.io/LFPSI25-Ambrus/ https://europroofnet.github.io/LFPSI25-Andrej/ https://europroofnet.github.io/conferences/ https://europroofnet.github.io/contact/ https://europroofnet.github.io/dedukti-school-2022/ https://europroofnet.github.io/deliverables/ https://europroofnet.github.io/description/ https://europroofnet.github.io/eligibility/ https://europroofnet.github.io/events/ https://europroofnet.github.io/LFPSI25-Florian/ https://europroofnet.github.io/Food/ https://europroofnet.github.io/LFPSI25-Fr%C3%A9d%C3%A9ric/ https://europroofnet.github.io/funding-June-2022/ https://europroofnet.github.io/gender-balance/ https://europroofnet.github.io/grants/ https://europroofnet.github.io/groups/ https://europroofnet.github.io/Hotels/ https://europroofnet.github.io/ https://europroofnet.github.io/itcg-daily-allowance/ https://europroofnet.github.io/jobs/ https://europroofnet.github.io/LFPSI25/ https://europroofnet.github.io/wg6-genoa/local-info https://europroofnet.github.io/mc-meetings/ https://europroofnet.github.io/wg-meeting-XXX-admin/ https://europroofnet.github.io/wg2-geo24/ https://europroofnet.github.io/tptp23-meeting/ https://europroofnet.github.io/dk-meeting3/ https://europroofnet.github.io/wg2-symposium/ https://europroofnet.github.io/wg2-geo25/ https://europroofnet.github.io/wg2-meeting1/ https://europroofnet.github.io/MCLP/ https://europroofnet.github.io/FMPSI26/ https://europroofnet.github.io/women-epn-2022/ https://europroofnet.github.io/women-epn-2024/ https://europroofnet.github.io/women-epn-2025/ https://europroofnet.github.io/women-epn-2023/ https://europroofnet.github.io/Kutaisi25/ https://europroofnet.github.io/Kutaisi24/ https://europroofnet.github.io/wg3-dresden24/ https://europroofnet.github.io/wg3-meeting1/ https://europroofnet.github.io/wg3-Sept2025/ https://europroofnet.github.io/wg3-timisoara/ https://europroofnet.github.io/WG4_Orsay25/ https://europroofnet.github.io/wg4-tbilisi24/ https://europroofnet.github.io/cambridge-2023/ https://europroofnet.github.io/WRQT2025/ https://europroofnet.github.io/wg6-vienna/ https://europroofnet.github.io/wg6-leuven/ https://europroofnet.github.io/wg6-genoa/ https://europroofnet.github.io/Fontainebleau24/ https://europroofnet.github.io/dk-meeting1/ https://europroofnet.github.io/inter-wg-24/ https://europroofnet.github.io/dk-meeting-july2023/ https://europroofnet.github.io/dk-meeting2/ https://europroofnet.github.io/WG1+4-meeting-Sep2023/ https://europroofnet.github.io/wg1-gruissan24/ https://europroofnet.github.io/inter-wg-25/ https://europroofnet.github.io/Nogent25/ https://europroofnet.github.io/wg5-edinburgh25/ https://europroofnet.github.io/wg5-vienna24/ https://europroofnet.github.io/Prague23/ https://europroofnet.github.io/wg4-meeting1/ https://europroofnet.github.io/_pages/MC/meeting4/minutes/ https://europroofnet.github.io/news/ https://europroofnet.github.io/objectives/ https://europroofnet.github.io/wg6-vienna/participants/ https://europroofnet.github.io/wg6-genoa/participants/ https://europroofnet.github.io/work-plan-1/ https://europroofnet.github.io/wg3-dresden24-program/ https://europroofnet.github.io/wg3-meeting1-program/ https://europroofnet.github.io/wg3-Sept2025-program/ https://europroofnet.github.io/wg4-meeting1-program/ https://europroofnet.github.io/wg6-vienna/programme/ https://europroofnet.github.io/wg6-leuven/programme/ https://europroofnet.github.io/wg6-genoa/programme/ https://europroofnet.github.io/projects/ https://europroofnet.github.io/publications/ https://europroofnet.github.io/reimbursement-rules/ https://europroofnet.github.io/schools/ https://europroofnet.github.io/MCLP_submission/ https://europroofnet.github.io/Symposium/ https://europroofnet.github.io/wg3-Sept2025-talks/ https://europroofnet.github.io/teaching/ https://europroofnet.github.io/tools/ https://europroofnet.github.io/wg/ https://europroofnet.github.io/mc-meeting2-wg1/ https://europroofnet.github.io/_pages/MC/meeting3/wg1/ https://europroofnet.github.io/wg1/ https://europroofnet.github.io/wg2/ https://europroofnet.github.io/wg3-meeting-timisoara-program/ https://europroofnet.github.io/wg3/ https://europroofnet.github.io/wg4/ https://europroofnet.github.io/wg5-aitp22/ https://europroofnet.github.io/wg5/ https://europroofnet.github.io/wg6-kickoff-stockholm/programme.html https://europroofnet.github.io/wg6-kickoff-stockholm/ https://europroofnet.github.io/wg6/ https://europroofnet.github.io/whoops/ https://europroofnet.github.io/_pages/FMPSI26/old/ https://europroofnet.github.io/_pages/MC/meeting4/wg1/ https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/Naming/ https://europroofnet.github.io/_pages/admin/ https://europroofnet.github.io/_pages/Acknowledgment.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting1/WBP-AGA-CA20111-1_14049.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting1/minutes.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting2/WBP-AGA-CA20111-2_14841.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting2/WBP-AGA-CA20111-2_15839.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting2/gender-balance.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting2/minutes.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting2/plan.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting2/stsm.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting2/summary.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting2/wg2.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting2/wg3.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting2/wg4.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting2/wg5.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting2/wg6.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting3/minutes.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting3/plan.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting3/stsm.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting3/summary.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting3/training.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting3/wg2.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting3/wg3.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting3/wg5.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting3/wg6.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting4/grants.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting4/plan.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting4/summary.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting4/wg2.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting4/wg3.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting4/wg5.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting5/gender-balance.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting5/gilles.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting5/grants.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting5/summary.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting5/wg1.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting5/wg2.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting5/wg3.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting5/wg4.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting5/wg5.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MC/meeting5/wg6.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/BuszkowskiSSLCTE.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/2025-MCLP-Sana.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/AndrijaMCLP.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/Angelov%20MCLP.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/Bechet-Foret-MCLP-2025.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/Bekki2025MCLP.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/BuszkowskiSSLCTE.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/De_Lon_Natural_Language_Understanding_In_Natural_Proof_Checking.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/MCLP%20Alves.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/MCLP%20JVilladsen.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/MCLP-2025-tran-minh-gonnord-narboux-yalep.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/MCLP25%20Flexiformal.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/MCLP_MAURICIO.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/MossMCLP.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/PathakMCLP.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/Roussanka-mclp.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/Roussanka-parinfo-ttaa.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/Zaiser%20-%20Automatic%20InFormalization%20via%20LLM%20ProbProg.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/deGroote.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/pitsiladis-mclp2025-presentation.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/MCLP/slides-MCLP/ranta-informath-mathcompling-2025.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WEPN/2022/abstracts/WEPN_2022_Dardha.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WEPN/2022/abstracts/WEPN_2022_Kaserovic.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WEPN/2022/abstracts/WEPN_2022_Ledein.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WEPN/2022/abstracts/WEPN_2022_VujosevicJancic.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WEPN/2022/slides/MilenaVujosevicJanicic_Nantes_2022.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WEPN/2022/slides/WEPN-Amelie-Ledein.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WEPN/2022/slides/WEPN2022-discussion.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WEPN/2023/abstracts/WEPN_2023_paper_Edmonds.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WEPN/2023/abstracts/WEPN_2023_paper_Milovancevic.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WEPN/2023/abstracts/WEPN_2023_paper_Slusarz.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WEPN/2023/slides/biernacka.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WEPN/2023/slides/dragana.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WEPN/2023/slides/edmonds_wepn.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Fontainebleau24/abdelghani.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Fontainebleau24/anne.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Fontainebleau24/frederic.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Fontainebleau24/guillaume.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Fontainebleau24/melanie.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Fontainebleau24/olivier.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Fontainebleau24/rish.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Fontainebleau24/theo.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Fontainebleau24/thomas.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Jun2022/amelie.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Jun2022/bruno.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Jun2022/catherine.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Jun2022/claudio.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Jun2022/discussion.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Jun2022/francois.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Jun2022/frederic.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Jun2022/gabriel.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Jun2022/gilles.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Jun2022/guillaume.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Jun2022/michael.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Jun2022/thiago_and_jesper.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Sep2023/alethe.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Sep2023/category_theory.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Sep2023/set_theory.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Sep2023/transport.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Sep2023/universes.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG1/Val_d_Ajol25/benjamin.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Aug2022/Burel.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Aug2022/Fontaine_Steen_BM_slides.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Aug2022/Notzli.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Aug2022/Steen_Intro.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Aug2022/Urban.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Geometry25/report_WG2-_GEO25_Meeting.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Jul2023/burel.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Jul2023/dowek.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Jul2023/schulz.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Jul2023/steen.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Jul2023/stolze.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Jul2023/taprogge.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Symposium/slides/AlessioC.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Symposium/slides/Andreotti-slides.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Symposium/slides/EuroProofNet-9-2025-MPBonacina-talk.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Symposium/slides/FlorianPollitt.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Symposium/slides/HaiXia.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Symposium/slides/JulieCailler.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Symposium/slides/Roussanka-li-mtta.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Symposium/slides/Taprogge.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Symposium/slides/VTrelat.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Symposium/slides/ciaran-talk.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Symposium/slides/lachnitt-slides.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG2/Symposium/slides/vampireToDedukti.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Report_WG3meetingDresden.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/27-01-Alicia-Villanueva.pdf 2026-03-19T15:30:17+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/27-02-Vincent-Cheval.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/27-03-Georgio-Nicolas.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/27-04-Ilias-Cherkaoui.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/27-05-Andreas-Berg.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/27-06-Samuel-Ortiz.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/27-07-Carsten-Weinhold.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/27-08-Angelo-Ruocco.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/27-09-Ghada-Arfaoui.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/27-10-Ian-Oliver.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/27-11-Ayse-Sayin.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/28-01-thomas-fossati.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/28-02-arto-niemi-v3.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/28-03-Ionut-Mihalcea.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/28-04-Hannes-Tschofenig.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/28-05-Tobias-Reiher.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/28-06-MuhammadUsama-Sardar.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/28-07-Richard-Zak.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/28-08-Rui-Almeida.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/28-09-LiliaGeorgieva.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/28-10-Horatiu-Cheval.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/28-11-Andrei-Mogage.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/28-12-Volker-Stolz.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Dresden24/Slides/28-13-jannik-maehn.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2022/2022-02-10-EPN-WG3-Kickoff-Meeting_Conejero.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2022/2022JoostenEPNTalk.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2022/CPF_presentation_Thiemann.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2022/EPN_presentation_Blanqui.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2022/ReportWG3meeting.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2022/WG3-presentation-kick-off-p1.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2022/WG3-presentation-kick-off-p2.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2022/WG3_Tools_Benchmarks_Kovacs.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2022/escobar-part1.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2022/presentation_Ravara.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/ParticipantsWG3Timisoara.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/ReportWG3TimisoaraMeeting.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/Slides/AhmedVerification.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/Slides/AmelieFramework.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/Slides/CarstenTermination.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/Slides/DirkVerification.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/Slides/DorelMatching.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/Slides/HoratiuMatching.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/Slides/JanMatching.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/Slides/KTraian.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/Slides/LiliaProgram.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/Slides/MadalinaEPN.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/Slides/MehmetIsawaMorii.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/Slides/MuhammadTools.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/Slides/PaminaRAPID.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/Slides/WolframKEY.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Feb2023/Slides/ZaferTriCera.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Sept2025/MCLP-2025-tran-minh-gonnord-narboux-yalep.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Sept2025/Roussanka-parinfo-ttaa.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Sept2025/mongodb_europroof.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Sept2025/presentation_Esen.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Sept2025/presentation_Kosmatov_Cache_coloring_verrification.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Sept2025/presentation_Moehle.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Sept2025/presentation_dubois.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Sept2025/presentation_erascu.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Sept2025/presentation_ravara.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Sept2025/wg-3-hiep_Separation_Logic_is_incomplete.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Sept2025/wg3_deliverables.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Sept2025/wg3_plural.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG3/Sept2025/wg3_welcome.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Cambridge23/alwardani.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Cambridge23/berry.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Cambridge23/collins.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Cambridge23/de_lon.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Cambridge23/farmer.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Cambridge23/groza.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Cambridge23/horowitz.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Cambridge23/koepke.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Cambridge23/loukanova.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Cambridge23/miller.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Cambridge23/rao.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Cambridge23/schroeder.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Orsay25/abdulaziz.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Orsay25/asher.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Orsay25/boldo.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Orsay25/boutry-narboux.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Orsay25/cohen.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Orsay25/eberl.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Orsay25/forster.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Orsay25/himmel.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Orsay25/magaud.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Orsay25/massot.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Orsay25/merten.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Orsay25/rothgang.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Orsay25/sozeau.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Orsay25/stark.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Orsay25/weide.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Sep22/baanen.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Sep22/brasca.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Sep22/freitas.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Sep22/gonthier.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Sep22/kornilowicz.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Sep22/maggesi.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Sep22/narboux.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Sep22/rabe.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Sep22/ringer.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Sep22/rowe.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Sep22/sacerdoti.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Sep22/stathopoulos.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Sep22/tassi.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Tbilisi24/arielly.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Tbilisi24/ayala.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Tbilisi24/magaud.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG4/Tbilisi24/sacerdoti.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/EPN_Deliverable_14___CNL_white_paper.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/1.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/10.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/11.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/12.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/13.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/14.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/15.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/16.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/17.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/18.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/19.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/2.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/20.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/22.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/23.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/24.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/25.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/26.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/27.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/3.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/4.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/5.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/6.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/7.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/8.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/9.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/Barket.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/DelRio.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/Parsert.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/Petkovic.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/Zombori.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/pres/Barket.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/pres/Bartek.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/pres/Dore.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/pres/Hajdu.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/pres/Hozzova.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/pres/Hula.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/pres/Johannson%20.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/pres/Petkovic.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/pres/Rawson.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/pres/Schulz.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Prague23/pres/Zombori.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Vienna24/abstracts/Barket.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Vienna24/abstracts/Bruni.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Vienna24/abstracts/B%C3%A1rtek.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Vienna24/abstracts/Granberry.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Vienna24/abstracts/Li.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Vienna24/abstracts/Parsert.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Vienna24/abstracts/Shminke.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Vienna24/abstracts/Suda.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Vienna24/abstracts/%C3%96zkaynak.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Vienna24/abstracts/%C5%9Alusarz.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Vienna24/slides/Barket.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Vienna24/slides/B%C3%A1rtek.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Vienna24/slides/Cerna.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Vienna24/slides/Shminke.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG5/Vienna24/slides/Suda.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/altenkirch.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/bouverot-dupuis.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/damato.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/de-pascalis.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/dore.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/gavazzo.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/giusto.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/kovacs.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/lamiaux.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/laretto.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/najmaei.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/neumann.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/north.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/novotny.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/perticone.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/petrakis.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/ranalter.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/sabelli.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/spadetto.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Genova/talks/winterhalter.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Leuven/slides/ahrens.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Leuven/slides/blazy.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Leuven/slides/ceulemans.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Leuven/slides/felicissimo.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Leuven/slides/frey.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Leuven/slides/jchen.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Leuven/slides/lennonbertrand.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Leuven/slides/loukanova.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Leuven/slides/ltchen.pdf 2026-03-19T15:30:18+00:00 https://europroofnet.github.io/_pages/WG6/Leuven/slides/poiret.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Leuven/slides/szamozvancev.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Leuven/slides/tsampas.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Leuven/slides/winterhalter.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Leuven/slides/zwart.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Vienna/slides/bocquet.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Vienna/slides/bradley.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Vienna/slides/dore.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Vienna/slides/felicissimo.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Vienna/slides/gratzer.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Vienna/slides/lafont.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Vienna/slides/mogelberg.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Vienna/slides/moreau.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Vienna/slides/mortberg.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Vienna/slides/nuyts.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Vienna/slides/pujet.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Vienna/slides/rasekh.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/WG6/Vienna/slides/uemura.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/schools/Kutaisi24/pres/Andrea.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/schools/Kutaisi24/pres/Andrea_2.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/schools/Kutaisi24/pres/David.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/schools/Kutaisi24/pres/Michael.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/schools/Kutaisi24/pres/Peter.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/schools/Kutaisi24/pres/Zar.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/schools/Kutaisi24/pres/celine.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ahman-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ahman-app24.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ahman-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ahrens-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ahrens-app25.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ahrens-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/alber-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/alber-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/alidra-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/almeida-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/altenkirch-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/altenkirch-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/alves-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/alves-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/amilon-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/amilon-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/andrei-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/andrei-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/annus-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/annus-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/arkor-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/arkor-app24.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/arkor-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/arkor-rep24.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/barbosa-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/barbosa-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/barket-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/bense-TYPES-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/bense-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/blanqui-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/blanqui-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/boukir-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/boukir-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/boutry-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/buday-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/buday-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/cailler-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/cailler-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/cerna-IJCAR-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/cerna-IJCAR-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/cerna-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/cerna-app24.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/cerna-rep24.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/chabassier-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/chabassier-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/cherubini-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/cherubini-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/cheval-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/cheval-app24.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/cheval-app25.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/cheval-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/cheval-rep2.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/cheval-rep25.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/choudhury-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/choudhury-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ciccone-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ciccone-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ciccone2-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ciccone2-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/coen-app25.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/coltellacci-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/damato-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/damato-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/dilavore-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/dilavore-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/dore-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/dore-app2.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/dore-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/dore-rep2.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/dumbrava-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/dumbrava-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/dunne-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/dunne-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/felicissimo-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/felicissimo-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/fernandez-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/fernandez-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/fernandez2-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ford-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ford-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/gallego-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/gallego-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/geran-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/geran-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/giannini-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/giannini-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/guilloud-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/guilloud-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/herrmann-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/herrmann-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/jalali-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/jalali-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/joram-TYPES-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/joram-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/kesner-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/kesner-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/kogkalidis-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/kogkalidis-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/konjoh-selabi-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/konjoh-selabi-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/kovacs-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/kovacs-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/kutsia-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/kutsia-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ledein-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ledein-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ljungstrom-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ljungstrom-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/lucanu-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/lucanu-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/lumsdaine-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/lumsdaine-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/manighetti-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/manighetti-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/mcdermott-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/mcdermott-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/mcilree-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/mcilree-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/melkonian-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/melkonian-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/michel-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/michel-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/mikhail-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/mikhail-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/milovancevic-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/milovancevic-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/moehle-rotondi-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/mordido-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/mordido-app25.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/mordido-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/nalbach-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/nalbach-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/nantes-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/nantes-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/narboux-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/narboux-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/neumann-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/neumann-app25.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/neumann-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/neumann-rep25.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/pak-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/pak-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/pascalis-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/pascalis-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/perhac-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/perhac-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/pocas-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/pujet-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/pujet-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/pun-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/pun-app25.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/pun-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/pun-rep25.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ramos-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ranta-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/ranta-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/rogers-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/rogers-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/roman-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/roman-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/rowe-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/rowe-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/sacerdoti-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/sacerdoti-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/santo-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/santo-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/sardar-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/sardar-app24.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/sardar-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/sardar-rep24.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/sardar1-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/sardar2-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/saville-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/saville-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/seidl-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/seidl-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/setzer-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/setzer-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/slusarz-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/spadetto-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/spadetto-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/steen-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/steen-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/stolz-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/stolz-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/tabet-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/tabet-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/taprogge-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/taprogge-app25.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/taprogge-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/taprogge-rep25.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/traversie-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/traversie-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/treglia-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/treglia-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/tuosto-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/tuosto-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/vaishnav-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/vaishnav-app25.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/vaishnav-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/vaisshnav-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/wan-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/wan-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/xie-FSCD-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/xie-FSCD-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/zombori-app.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/_pages/stsm/zombori-rep.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/assets/wg6/stockholm-kickoff-slides/awodey-europroofnet-stockholm-slides.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/assets/wg6/stockholm-kickoff-slides/basold-europroofnet-stockholm-slides.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/assets/wg6/stockholm-kickoff-slides/dore-europroofnet-stockholm-slides.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/assets/wg6/stockholm-kickoff-slides/emmenegger-europroofnet-stockholm-slides.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/assets/wg6/stockholm-kickoff-slides/frey-europroofnet-stockholm-slides.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/assets/wg6/stockholm-kickoff-slides/kovacs-europroofnet-stockholm-slides.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/assets/wg6/stockholm-kickoff-slides/petkovic-komel-europroofnet-stockholm-slides.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/assets/wg6/stockholm-kickoff-slides/petrakis-europroofnet-stockholm-slides.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/assets/wg6/stockholm-kickoff-slides/soloviev-europroofnet-stockholm-slides.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/assets/wg6/stockholm-kickoff-slides/stenzel-europroofnet-stockholm-slides.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/assets/wg6/stockholm-kickoff-slides/uemura-europroofnet-stockholm-slides.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/assets/wg6/stockholm-kickoff-slides/van-der-weide-europroofnet-stockholm-slides.pdf 2026-03-19T15:30:19+00:00 https://europroofnet.github.io/assets/wg6/stockholm-kickoff-slides/winterhalter-europroofnet-stockholm-slides.pdf 2026-03-19T15:30:19+00:00