Sitemap This is a sitemap over all available pages ordered by namespaces. actualites dest nouvelle_version sources 2017-01-02-popl-2017-organized-by-irif 2017-01-30-amos-korman-article-le-monde 2017-03-01-erc-project-combitop-starts-guillaume-chapuy 2017-06-15-victor-lanvin-acm-student-research-competition-grand-finals 2017-07-10-anr-mealym-closing-meeting 2017-09-01-berenice-oger-arrival 2017-09-01-college-mathieu 2017-10-06-guillaume-lagarde-sylvain-perifel-soda-paper 2017-10-10-pole-pps-rentree 2017-11-01-college-fraigniaud 2017-11-06-newcomers-day 2017-11-15-workshops-on-restricted-data-acess-models-and-iqc 2017-11-22-french-israeli-workshop-on-foundations-of-computer-science 2017-11-25-pole-asv-rentree 2017-11-27-maurice-nivat-scientific-day 2017-11-29-amina-doumane-prix-these-sif 2017-11-29-wenjie-fang-prix-these-sif 2017-12-19-cifre-alessandro-luongo 2018-01-05-baczowski-itcs-information-dissemination 2018-01-11-anr-fredda-kickoff-2018 2018-01-18-scientific-day-for-maurice-nivat 2018-01-27-lia-infinis-presented-cnrs-rio-newsletter 2018-02-01-on-the-fly-quantum-money-transaction-implemented 2018-02-02-amina-doumane-prix-la-recherche 2018-02-04-laurent-viennot-au-palais-de-la-decouverte 2018-02-05-p7-3-postes-ouverts 2018-02-07-movep2018 2018-02-27-constantin-enea-organise-2pit2018 2018-02-27-fsmp-20-phd-positions 2018-03-02-stoc-presentation-kosowski 2018-03-08-monika-hanzinger-distinguished-talk 2018-03-21-anr-project-delta-meeting 2018-03-21-anr-project-descartes-meeting 2018-03-21-kappa-presented-at-ismb2018 2018-04-03-numeration-2018 2018-04-06-victor-lanvin-google-phd-frellowship 2018-04-23-lics-paper-6 2018-04-27-delia-kesner-iuf 2018-05-04-miklos-santha-debat 2018-05-11-workshop-biological-algorithms 2018-05-21-lics-paper-pierre-vial 2018-05-25-lics-paper-marie-kerjean 2018-05-30-tous-femmes-du-numerique 2018-05-31-lics-paper-paul-andre-mellies 2018-06-01-claire-mathieu-colloquium-approximation-algorithms 2018-06-01-college-rosen 2018-06-06-distinguished-papadimitrou 2018-06-06-softwareheritage-unesco 2018-06-06-types2018 2018-06-15-doumane-ackerman-prize 2018-06-27-cijm 2018-06-29-lics-paper-crubille 2018-07-06-avocs 2018-07-10-sl-comp 2018-07-29-focs 2018-07-29-ludovic-patey-prix-thiesse-de-rosemont-demassieux 2018-08-01-michel-habib-retirement 2018-08-09-filofocs-french-israeli-workshop 2018-09-04-workshop-duall-duality-and-quantifyers 2018-09-07-quantera-workshop-joint-waterloo 2018-09-11-pole-asd-rentree 2018-09-14-coa-days 2018-09-15-wendy-workshop-emergent-algorithm 2018-10-04-software-heritage-cacm 2018-10-05-post-doc-call 2018-10-07-irif-rentree 2018-10-07-salomaa-prize-jean-eric-pin 2018-10-08-crecogi-elica-gdrill-plenary-meeting 2018-10-08-maths-en-ville 2018-10-09-paper-selected-sozeau-icfp2018 2018-10-10-daniela-petrisan-arrival 2018-10-12-adrien-guatto-arrival 2018-10-12-claire-mathieu-arrival 2018-10-12-pierluigi-crescenzi-arrival 2018-11-05-epit-2019-bdd 2018-11-05-pole-pps-rentree 2018-11-09-graph_theory_in_paris 2018-11-10-distinguished-helihy 2018-11-10-gdri_ll 2018-11-10-vip 2018-11-12-quantum-flagship-qia 2018-11-17-popl19 2018-11-19-mahsa-shirmahammad-arrival 2018-11-20-qip19 2018-11-20-soda19 2018-11-21-itcs19 2018-11-26-soda-18 2018-11-29-vmcai_2019 2018-12-01-college-fauconnier 2018-12-01-college-sozeau 2018-12-03-santha-itcs19 2018-12-09-ahmed-humboldt 2018-12-13-constantin-enea-popl19 2018-12-19-fabian-reiter-sif18 2018-12-21-qip-frederic-magniez 2019-01-01-college-tasson 2019-01-08-amaury_pouly_arrival 2019-01-09-jeremy-siek-visit 2019-01-10-pole-asv-day 2019-01-16-papier-popl-castagna-anvin-petrucciani 2019-01-17-alea-school 2019-01-17-coa-workshop 2019-01-23-cimpa 2019-01-23-umi-filofocs 2019-01-30-fredda-anr-meeting 2019-02-01-college-delporte 2019-02-01-journee-cartes 2019-02-01-uri-zwick-visit 2019-02-04-alves-visit 2019-02-15-jacm-paper_pierre_fraigniaud_amos_korman_yoav_rodeh 2019-02-15-lemonde_fabian_reiter 2019-02-19-prix_larecherche_amaury_pouly 2019-03-05-distinguished-tarjan 2019-03-14-fsmp-21-phd-positions 2019-03-14-p7-4-postes-ouverts 2019-03-15-fsmp-cours-chaire 2019-03-17-idf-30-phd-positions 2019-03-26-workshop-anr-distancia 2019-04-05-penny-haxell-visit 2019-04-08-college-workshop 2019-04-08-distinguished-hastad 2019-04-16-visite-ins2i 2019-04-19-ater 2019-04-19-iordanis-kerenidis-cnrs-journal 2019-04-19-lics19 2019-04-23-graph_theory_in_paris 2019-04-23-sergio-rajsbaum-visit 2019-04-26-icalp19 2019-05-07-claire-mathieu-france-culture 2019-05-09-cpge 2019-05-10-constantin-enea-iuf 2019-05-25-mikael-rabie-icalp19 2019-05-30-cav-papers-2019 2019-06-11-kamil_khadiev_visit 2019-06-21-summer_school_cimpa 2019-06-28-irif_enf_of_academic_year 2019-07-14-graph-workshop 2019-07-14-plc-workshop 2019-08-26-journees_pps 2019-09-03-leonid-libkin-chaire 2019-09-06-patrick-dehornoy-deces 2019-09-10-postdoc-call 2019-09-11-focs19-best-paper 2019-09-17-irif-rentree 2019-09-17-ppdp09-10year-award 2019-09-18-fsmp-cours-chaire 2019-09-23-wgt2020 2019-09-24-sylvain-schmitz-arrival 2019-09-24-valia_mitsou_arrival 2019-09-25-sam-van-gool-arrival 2019-09-25-soda20 2019-10-01-geoffroy-couteau-arrival 2019-10-02-hugo-ferree-arrival 2019-10-08-distinguished-grohe-mitchell-peytonjones 2019-10-08-fetedelascience-perifel 2019-10-08-fetedelascience2019 2019-10-08-soda20-mathieu 2019-10-16-medaille-claire-mathieu 2019-10-23-marie-kerjean-prix-l-oreal-unesco 2019-10-29-college-seminar 2019-11-01-journee-gdr-bim 2019-11-07-iordanis-kerenidis-sirteq 2019-11-20-yann-regis-gianas-tezos-workshop 2019-12-10-michele-pagani-popl20 2019-12-11-popl20 2019-12-13-raphaelle-crubille-prix-these-sif 2019-12-23-claire-mathieu-academie-des-sciences 2020-01-06-distinguished-grohe 2020-01-07-claire-mathieu-simon-mauras-soda20-paper 2020-01-07-michel-habib-laurent-viennot-soda20-paper 2020-01-10-matthieu-josuat-verges 2020-01-10-u-paris-1-poste-ouvert 2020-01-13-iordanis-kerenidis-report-quantum-technologies 2020-01-15-emilio-gallego-arrival 2020-01-21-journee-asd 2020-01-27-pps-pihoc-diapason-workshop 2020-01-30-jfla2020 2020-02-06-sylvain-perifel-caleidoscope 2020-02-07-bourse-master-irif 2020-02-27-pldi20 2020-03-05-distinguished-mitchell 2020-04-07-ocaml-mooc 2020-04-07-seminars-irif-bbb 2020-04-07-valerie-berthe-workshop-mcf 2020-04-15-john-conway-deces 2020-04-17-icalp20 2020-04-20-lics20 2020-04-23-icalp20-paper-colcombet-barozzini-clemente-parys 2020-04-23-icalp20-paper-fraigniaud-paz 2020-04-23-icalp20-paper-magniez-nayak 2020-04-27-claire-mathieu-interview 2020-04-27-icalp20-paper-crubille-barak-lago 2020-04-30-numeration-owns 2020-05-11-anr-hosigra-meeting 2020-05-11-ec20-paper-simon-mauras 2020-05-11-tcs4f 2020-05-20-amos-korman-sirocco2020-prize 2020-05-22-jean-krivine-sciences-pop 2020-06-15-fscd-delia-kesner 2020-06-22-amos-korman-sirocco2020-prize-talk 2020-06-22-rp20-sylvain-schmitz 2020-06-25-tommaso-petrucciani-prix-these-gpl 2020-07-06-motion-6-juillet-2020 2020-07-16-enka-blanchard-psl-prize 2020-08-18-fsmp-david-peleg 2020-08-18-fsmp-thomas-vidick 2020-08-18-icml-kerenidis 2020-08-28-debate-delia 2020-09-01-numeration-owns 2020-09-04-baptiste-louf-paper 2020-09-11-lectures-thomas-vidick 2020-09-15-mikael-rabie-arrival 2020-09-21-program-paris-region 2020-09-30-journees-pps-2020 2020-10-01-adrian-vladu-arrival 2020-10-02-postdoc-call-2020 2020-10-15-liat-peterfreund-prix-l-oreal-unesco 2020-10-21-crypto20-couteau 2020-10-21-soda21-santha 2020-11-02-nicolas-behr-arrival 2020-11-06-crypto20-couteau-hartmann 2020-11-06-soda21-claire-mathieu 2020-11-20-academie-turin-delia-kesner 2020-11-20-papiers-popl-2021 2020-11-25-pl-curien-prix2020-academie-des-sciences 2020-12-04-conference-socs202 2020-12-21-michele-pagani-popl21 2020-12-22-ahmed-bouajjani-popl21 2020-12-22-claudia-faggian-popl21 2020-12-23-galene 2021-01-04-college-magniez 2021-01-04-fraigniaud-itcs21 2021-01-05-couteau-itcs21 2021-01-15-valerie-berthe-gdr-amf 2021-01-22-pagani-yunes-emergence-en-recherche 2021-01-22-quantum-technologies 2021-01-29-laplante-projet-vicinity 2021-01-29-u-paris-3-postes-ouverts 2021-02-10-pihoc-pps-diapason-2021 2021-02-18-kerenidis-nature 2021-02-23-charte-membres-irif 2021-03-09-interview-femmes 2021-03-12-journee-gdr-im 2021-03-20-pps-days 2021-03-26-anr_maveriq_kickoff 2021-04-08-wolfram-greta 2021-04-09-arrivee-mirna 2021-04-22-blog-binaire 2021-04-23-lics21-papers 2021-04-29-anr-hosigra 2021-04-29-pgsm-master 2021-05-10-fsmp-maths-sport 2021-05-10-icalp21-papers 2021-05-18-ralph-sarkis-lics21 2021-05-19-lagos21-papers 2021-05-21-hugo-herbelin-lics21 2021-05-21-hugo-moeneclaey-lics21 2021-05-25-canadam21-papers 2021-05-26-portrait-dagand 2021-06-02-antoine-allioux-lics21 2021-06-02-thomas-ehrhard-lics21 2021-06-08-entretien-college-de-france 2021-06-09-claudia-faggian-lics21 2021-06-09-paul-andre-mellies-lics21 2021-06-14-miklos-santha-ccc21 2021-06-16-colloque-college-de-france 2021-06-17-nicolas-behr-act21 2021-06-18-offre-de-these-graphes 2021-06-21-mecanique-quantique 2021-06-28-sous-groupe-cache-miklos-santha 2021-06-29-prix-de-these-sif-gilles-kahn 2021-06-30-sander-gribling-icalp21 2021-07-07-claire-mathieu-icalp21 2021-07-08-colcombet-casares-icalp21 2021-07-08-colcombet-jaquard-icalp21 2021-07-19-colloque-quantum-computing-cdf 2021-07-19-irs-2021 2021-07-19-issac-2021 2021-07-26-synthese-nationale-des-mathematiques 2021-08-20-siam-2021 2021-08-24-slc-2021 2021-08-26-concur-t-o-t-award 2021-08-27-communique-claire-mathieu-cnrs 2021-08-30-category-theory-conference-2021 2021-09-01-eurocomb-21 2021-09-03-eurocomb-21-aubian-charbit 2021-09-03-eurocomb-21-naserasr-wang 2021-09-03-eurocomb-21-yiting 2021-09-03-korman-vacus-scientific-reports 2021-09-03-workshop-cycles 2021-09-07-sergio-rajsbaum-visitor 2021-09-14-oded-maler-best-paper-award 2021-09-27-conference-cryptography 2021-09-29-ateliers-fete-de-la-science-2021 2021-10-07-journee-rentree-pps-2021 2021-10-19-test_of_time_award_rv21 2021-10-25-internship-2021 2021-10-29-pgsm_master_2022 2021-11-04-journee-asv-2021 2021-11-08-accepted-papers-neurips-2021 2021-11-08-journee-asd-2021 2021-11-24-accepted-papers-popl-2022 2021-11-25-focs21-accepted-paper 2021-11-25-popl-accepted-paper-giuseppe-castagna 2021-11-29-portrait-matej-stehlik 2021-12-01-conference-75ans-fabrice-kordon 2021-12-02-hpcqs_project 2021-12-02-visiteur-serge-massar 2021-12-13-ifip-fellow-jacques-sakarovitch 2021-12-13-popl-accepted-paper-delia-kesner 2021-12-17-popl-2022 2022-01-18-stacs_2022 2022-02-03-icalp_2022 2022-02-03-portrait-simon-apers 2022-02-04-deadline-cfp-icalp-2022 2022-02-07-osec-prix-logiciel-libre 2022-02-08-prix-chancellerie-louf 2022-02-10-poste-mc 2022-02-11-jfs-2022 2022-03-02-accepted-papers-stacs-2022-gribling 2022-03-02-accepted-papers-stacs-habib-2022 2022-03-04-table-ronde-1-75-lip6 2022-03-09-table-ronde-2-75-lip6 2022-03-10-program-pause-solidarity-ukraine 2022-03-15-jeudis-du-campus 2022-03-17-pgsm-master-irif-2022 2022-03-28-portrait-mohammed-foughali 2022-04-04-postes-ater 2022-04-08-cocktail-75_ans 2022-04-12-interview-icalp-fsmp 2022-04-14-world-quantum-day 2022-04-26-icalp-2022-registration 2022-04-27-smarts-up_call 2022-05-04-icalp-2022-accepted-papers 2022-05-05-casares-colcombet-lehtinen-icalp2022 2022-05-05-gaetan-doueneau-tabot-icalp2022 2022-05-05-programme-75-ans 2022-06-07-conference-types22-papers 2022-06-07-issac22-papers 2022-06-07-olivier-carton-iuf 2022-06-07-podc22-papers 2022-06-07-workshop-differential-programming 2022-06-07-workshop-labyrinth-of-combinatorics 2022-06-22-conference-highlights_2022 2022-07-07-icalp-2022-irif 2022-07-07-mfps-2022 2022-07-13-focs_2022 2022-07-13-fpsac_2022 2022-07-18-etaps_2023 2022-07-18-phd_in_cyber-physical_systems_verification_learning 2022-07-25-knuth-price-2022 2022-07-25-podc-2022-fraigniaud 2022-07-27-csgt-2022-zhouningxin-wang 2022-07-28-floc-accepted-paper 2022-08-08-eapls-best-paper-award-2022 2022-08-08-horizon-europe-beginners 2022-08-11-interview-la-recherche-goldberg 2022-08-11-prix-de-these-sif-gilles-kahn 2022-08-26-podc-2022-vacus-korman 2022-08-31-baptiste-louf-prix-these-chancellerie 2022-09-02-coa-2022 2022-09-02-etaps-2023 2022-09-02-houcine-best-paper 2022-09-02-podcast-decode-quantum 2022-09-02-prix-irene-joliot-curie-2022 2022-09-02-prix-lovelace-babbage 2022-09-07-ecole-ete-nairobi 2022-09-19-prix-test-of-time-lics-2022 2022-09-28-workshop-thomas-ehrhard 2022-10-21-fdls2022-initiation-informatique 2022-10-21-fdls2022-parcours-quantique 2022-10-21-interviews-fsmp-icalp-2022 2022-10-21-portrait-sylvain-douteau 2022-10-21-quantech-seminar-cycle-fall-2022 2022-10-24-hal-collection 2022-10-24-onglet-mediation 2022-10-24-postdocs-position 2022-10-25-prix-national-cs-mexique 2022-10-27-accepted-papers-soda-2023 2022-10-27-gaetan-douenau-tabot-best-student-papers 2022-11-02-laureats-chancellerie-2022 2022-11-07-fraigniaud-workshop 2022-11-14-nomination-iuf-olivier-carton 2022-11-14-soda2023-adrian-vladu 2022-11-14-soda2023-guillaume-chapuy 2022-11-16-assises-des-maths 2022-11-18-eqsi-launch 2022-11-18-synthese-nationale-mathematiques 2022-11-23-cap-2022 2022-11-23-itcs-2023 2022-11-25-prix-informatique-lovelace-babbage 2022-11-30-itcs-2023-laplante 2022-12-06-portrait-lauren-k-williams 2022-12-12-prix-de-these-jonas-landman 2022-12-14-bouajjani-honorary-doctor 2022-12-14-portrait-marie-albenque 2023-01-11-lafi-2023 2023-01-13-internship-ls2n-irif 2023-01-16-article-decoupage-electoral 2023-01-25-emission-arret-sur-images 2023-01-27-postdoc-anr-vesyam 2023-02-10-chatgpt-sqool-tv 2023-02-10-loreal-unesco-young-talents-award-2023 2023-02-10-portrait-these-victor-lanvin 2023-02-10-qubobs-best-poster-award-2023 2023-02-13-recrutement-assist-com 2023-02-14-jfs-2023 2023-02-27-engineer-position 2023-02-27-stoc-2023-accepted-paper 2023-03-06-conference-video-perifel-fdls-2022 2023-03-06-portrait-these-abhishek-de 2023-03-06-portrait-these-farzad-jafarrahmani 2023-03-07-ami-mediation-scientifique 2023-03-07-jacm-articles-2022 2023-03-10-journees-nationales-gdr-im-2023 2023-03-24-epit-2023 2023-04-05-coreact-kickoff 2023-04-06-eatcs_fellow 2023-05-04-arrivee_assistante_communication 2023-05-04-claire_mathieu_-_article_la_croix 2023-05-04-j.pps 2023-05-05-irif_graphs_seminar 2023-05-11-francois_metayer_days 2023-05-15-concur_test-of-time_award_2023 2023-05-31-article_blog_binaire-_controle_acces_site_porno 2023-06-29-journees_annuelles_du_gt_combalg_2023 2023-07-12-anr_2023 2023-07-21-eatcs_fellow 2023-09-05-nomination_amelie_gheerbrant_vd_vies_des_campus_et_vie_etudiante 2023-09-06-erc_guillaume_geoffroy 2023-09-11-papier_mo_foughali 2023-09-11-welcome_day 2023-09-14-fresque_du_numerique 2023-09-27-database_theory_in_paris 2023-10-30-sarah_winter 2023-11-16-mathematiques_en_mouvement 2023-11-21-csl_2024 2023-11-21-hceres 2023-11-21-popl_accepted_papers_2024 2023-11-21-soda_2024 2023-11-23-gabriel_scherer 2023-11-24-hdr_sylvain_perifel 2023-11-30-guillaume_baudart 2023-12-07-claire_mathieu_-_conseil_presidentiel_de_la_science 2023-12-11-on_eteint_on_reflechit_on_discute_-_cryptommonaies 2023-12-12-simon_peyton_jones_rerun_-_dts 2023-12-13-complexity_days_2023 2023-12-22-des_preuves_et_des_programmes_fsmp 2023-12-22-pasqal_quantum_challenge 2023-12-22-pl_fsmp 2024-01-02-resignation_c._mathieu 2024-01-09-imre_simon_test-of-time_award_2024 2024-01-15-prix_de_these_gilles_kahn_2023 2024-01-18-le_monde_sciences_vincent_juge 2024-01-24-imdea 2024-01-29-recrutement 2024-01-30-veronique_cortier_-_dts 2024-01-31-huma_claire_mathieu 2024-02-01-david_saulpic 2024-02-05-offre_emploi 2024-03-12-fsmp_horizon_maths 2024-03-15-digital_commons 2024-03-19-podcast_fc 2024-03-27-arrivee_marie-jose 2024-03-27-tayssir_touilli_dr 2024-03-28-bms_godeaux_prize_mirna 2024-03-28-helena_rasiowa_award_2025 2024-04-10-dts_omer_reingold 2024-04-10-pint_of_science_2024 2024-04-12-veronique_cortier_rerun_-_dts 2024-05-27-trophees_marocains_du_monde 2024-05-30-jfp14 2024-05-30-poste_gestionnaire 2024-05-30-poste_ir_dev_log 2024-06-06-2024_alonzo_church_award 2024-06-12-new_elixir_version 2024-06-20-lc2024_pa_mellies 2024-06-26-msca_actions_delia 2024-07-03-assistant_en_gestion_financiere_et_comptable 2024-07-03-charge-e_de_la_gestion_financiere_et_comptable 2024-07-03-gestionnaire_financier-e_et_comptable 2024-07-03-talk_imt 2024-07-05-ijcar_2024_bpa 2024-07-05-ijcar_press_article 2024-07-05-petri_nets_2024_bpa 2024-07-09-aila_thomas_ehrhard 2024-07-11-day_on_probabilities 2024-07-16-book_the_french_school_of_programming 2024-07-19-re 2024-07-29-gelene 2024-08-26-delia_lambda_world 2024-09-02-visite_ashwin_nayak 2024-09-05-award_robin_vacus 2024-09-11-publication_book 2024-09-18-formats_best_paper_award 2024-09-19-parite_stage_3e 2024-09-25-convention_cnrs 2024-09-30-decompilateurs_jl_krivine 2024-10-04-fds2024 2024-10-18-arrivee_melissa_godde 2024-10-24-conf_upc_3 2024-10-24-innovation_prize_s_rasjbaum 2024-10-31-dexter_kozen 2024-11-05-2025_erc_synergie_grant 2024-11-12-gt_lvp_gdr_gpl_2024 2024-11-26-popl_2025 2024-11-28-ackermann_award_2025 2024-12-11-kpn 2025-01-06-2025_new_year 2025-01-07-chafia_dordoigne_arrivee 2025-01-22-3rd_paris_acts 2025-01-30-esop_2025 2025-01-30-fossacs_2025 2025-02-10-cnrs_edition_computing 2025-02-10-stoc_acm 2025-02-17-science_vie_s_laplante 2025-02-18-flash_opti_david_saulpic 2025-02-18-flash_opti_simon_apers 2025-03-10-aaai_2025_best_paper 2025-03-14-podcast_cnrs_g_couteau Toutes les anciennes actualités archives_2017 archives_2018 archives_2019 archives_2020 archives_2021 archives_2022 archives_2023 archives_2024 archives_2025 archives IRIF Newsletter Focus actualites msg notion publi anr anr-ducat anr-enedisc calculator commissions contrats db distinctions egalite-fh en environnement equipes essai evenements formation fraigniaud-workshop gt gt-coa gt-scalp gtp informations inria international intranet livres logiciels mediation pi.r2 playground poles portraits postes publications quantech_paris reciprog rencontres seminaires templates users wiki AGaPe mini-workshop agenda ANR Project ENEDISC ANR PRC project Probabilistic Programming Semantics (PPS) ANR PRC project Probabilistic Programming Semantics (PPS) bandeau Bienvenue à l'IRIF Groupe de Travail Blockchain carrousel Egalités Événements GDRI Linear Logic (GDRI-LL) Actualités Bienvenue logop7cnrs logoupcnrs MoMA (Modern Optimization Methods and Models in Algorithm Design) Motion du 6 juillet 2020 navbar pagefooter Scientific Meeting in Honor of Pierre-Louis Curien ANR PPS 4th general meeting ANR PPS 4th general meeting ANR PPS 5th meeting Fourth PPS meeting - Jan 2023 4-6 Joint PPS - PIHOC - DIAPASoN Workshop Joint PPS - PIHOC - DIAPASoN Workshop robots twitter Workshop on Topological Combinatorics