~~NOCACHE~~ * INFORMATIONS * [[..:informations:presentation:]] * [[..:informations:contacts:]] * [[..:informations:charte:]] * [[..:egalite-fh:]] * [[..:environnement:]] * [[..:informations:annuaire:]] * [[..:informations:mentorat:]] * [[..:informations:childcare:]] * [[..:informations:hceres:]] * RECHERCHE * **[[.:poles:asd:]]** * [[.:equipes:algocomp:]] * [[.:equipes:distribue:]] * [[.:equipes:combi:]] * [[.:equipes:graphes:]] * **[[.:poles:asv:]]** * [[.:equipes:automates:]] * [[.:equipes:verif:]] * **[[.:poles:pps:]]** * [[.:equipes:algebre:]] * [[.:equipes:programmes:]] * [[.:equipes:preuves:]] * [[.:equipes:picube:]]
* **[[https://cnrs.hal.science/IRIF/|PUBLICATIONS (hal)]]** * ÉVÉNEMENTS * **[[.:seminaires:evenements]]** * [[.:seminaires:irif:]] /* * [[.:seminaires:hors-series:]] */ * [[.:rencontres:irif:]] * [[.:rencontres:poles:]] * **[[.:seminaires:seminaires]]** * [[.:seminaires:algocomp:]] * [[.:seminaires:asd:]] * [[.:seminaires:automates:]] * [[.:seminaires:combi:]] * [[.:seminaires:picube:]] * [[.:seminaires:adg:]] /* * [[.:seminaires:distribue:]] */ /* * [[.:seminaires:graphes:]] */ * [[.:seminaires:pps:]] * [[.:seminaires:verif:]] * [[.:seminaires:doctorants:]] * **[[.:seminaires:onlineseminars]]** * [[.:seminaires:greta:]] * [[.:seminaires:numeration:]] * **[[.:seminaires:gt]]** * [[.:seminaires:cat:]] * [[.:seminaires:gel:]] * [[.:seminaires:sms:]] * [[.:seminaires:hott:]] * [[.:seminaires:laag:]] * [[.:seminaires:programmation:]] * [[.:seminaires:semantique:]] * [[.:seminaires:topos:]] * [[.:seminaires:types:]] * **[[.:seminaires:soutenances]]** * [[.:seminaires:these:]] * [[.:seminaires:hdr:]] * MÉDIATION * [[.:mediation:fdls]] * [[.:mediation:confcrypto]] * [[.:mediation:scolaire]] * [[.:portraits:index|Portraits de recherche]] * [[https://icalp2022.irif.fr/?page_id=1111|Exposition 50 ans]] * [[https://qubobs.irif.fr/fr/|Projet QuBOBS (quantum computing explained)]] * POINTS CLÉS * [[.:distinctions:| Prix et distinctions]] * [[.:logiciels:|Logiciels]] * [[.:contrats:|Contrats]] * [[.:international:|Collaborations internationales]] * [[https://epit.irif.fr|L'école thématique EPIT]] * [[.:formation:|Formation]] /* * LOGICIELS * [[.:logiciels:|Tous les logiciels]] * [[https://www.irif.fr/~jch/software/babel/|Babel]] * [[http://www.cduce.org|CDuce]] * [[https://coq.inria.fr|Coq]] * [[http://cshore.cs.rhul.ac.uk|C-SHORe]] * [[http://www.mancoosi.org/cudf/|CUDF]] * [[http://kappalanguage.org| Kappa]] * [[http://ocsigen.org/|Ocsigen]] * [[https://stamina.labri.fr/|Stamina]] * [[http://vaucanson-project.org/|Vaucanson]] */ * REJOIGNEZ-NOUS * [[..:informations:visit:]] * [[.:postes:admin]] * [[.:postes:universite]] * [[.:postes:chercheur]] * [[.:postes:postdoc]] * [[.:postes:ater]] * [[.:postes:these]] * [[.:postes:stage]] * [[.:postes:stage-scolaire]] * [[.:intranet:|INTRANET]]