~~NOCACHE~~ * INFORMATION * [[.:informations:presentation:]] * [[.:informations:contacts:]] * [[.:informations:charte:]] * [[.:egalite-fh:]] * [[.:environnement:]] * [[.:informations:annuaire:]] * [[.:informations:mentorat:]] * [[..:informations:childcare:]] * RESEARCH * **[[.:poles:asd:]]** * [[.:equipes:algocomp:]] * [[.:equipes:combi:]] * [[.:equipes:distribue:]] * [[.: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)]]**\\ * EVENTS * **[[.seminaires:evenements]]** * [[.:seminaires:irif:]] /* * [[.:seminaires:hors-series:]] */ * [[.:rencontres:irif:]] * [[.:rencontres:poles:]] * [[.:seminaires:env:]] * **[[.:seminaires:seminaires]]** * [[.:seminaires:algocomp:]] * [[.:seminaires:asd:]] * [[.:seminaires:automates:]] /* * [[.:seminaires:distribue:]] */ * [[.:seminaires:combi:]] * [[.:seminaires:adg:]] /* * [[.:seminaires:graphes:]] */ * [[.:seminaires:picube:]] * [[.:seminaires:pps:]] * [[.:seminaires:verif:]] * [[.:seminaires:doctorants:]] * **[[.seminaires:onlineseminars]]** * [[.:seminaires:greta:]] * [[.:seminaires:numeration:]] * **[[.seminaires:gt]]** * [[.:seminaires:gel:]] * [[.:seminaires:cat:]] * [[.:seminaires:laag:]] * [[.:seminaires:programmation:]] * [[.:seminaires:semantique:]] * [[.:seminaires:sms:]] * [[.:seminaires:topos:]] * [[.:seminaires:hott:]] * [[.:seminaires:types:]] * **[[.seminaires:soutenances]]** * [[.:seminaires:these:]] * [[.:seminaires:hdr:]] * MEDIATION * [[.:mediation:fdls]] * [[.:mediation:scolaire]] * [[.:portraits:index|Research profiles]] * [[https://icalp2022.irif.fr/?page_id=1111|50 Years Exhibitation]] * [[https://qubobs.irif.fr|Projet QuBOBS (quantum computing explained)]] * HIGHLIGHTS * [[.:distinctions:|Awards and Honors]] * [[.:logiciels:|Software]] * [[.:contrats:|Grants]] * [[.:international:|International Collaborations]] * [[https://epit.irif.fr|The EPIT Research School]] * [[.:formation:|Academics]] /* * [[.:logiciels:|Complete list]] * [[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]] */ * JOIN US * [[.informations:visit:]] * [[.:postes:admin]] * [[.:postes:universite]] * [[.:postes:chercheur]] * [[.:postes:postdoc]] * [[.:postes:ater]] * [[.:postes:these]] * [[.:postes:stage]] * [[.:postes:stage-scolaire]] * [[.:intranet:|INTRANET]]