===== Formation ===== L'IRIF est membre de l'[[http://www.informatique.univ-paris-diderot.fr/|UFR d'informatique]] de l'Université Paris Cité, et accueille également en son sein plusieurs membres de l'[[https://www.math.univ-paris-diderot.fr|UFR de mathématiques]]. A ce titre ses membres sont impliqués dans les enseignements de ces UFR de la Licence au Master à l'Université Paris Cité, ainsi qu'à l'[[https://eidd.univ-paris-diderot.fr|Ecole d'ingénieur Denis Diderot]] et à l'[[https://iut.univ-paris-diderot.fr|IUT Paris Diderot]]. L'IRIF est associé à l'école doctorale des Sciences Mathématiques de Paris Centre ([[https://www.math.univ-paris-diderot.fr/formations/doctorats/index|ED 386]]). La formation doctorale est aussi dispensée par plusieurs écoles de recherche dispensées annuellement par des membres de l'IRIF. L'[[http://www.informatique.univ-paris-diderot.fr/|UFR d'informatique]] est impliquée dans plusieurs actions pédagogiques visant à promouvoir l'informatique auprès d'un public le plus large possible. Enfin, les membres de l'IRIF sont à l'initiative de plusieurs projets pédagogiques, individuels ou collectifs, auprès du grand public. ==== Formation à la recherche ==== == Masters == L'IRIF est principalement impliqué dans les parcours des masters informatique et mathématiques de l'Université Paris Cité : * [[https://wikimpri.dptinfo.ens-cachan.fr/doku.php|Master Parisien de Recherche en Informatique (MPRI)]] : Master recherche de l'UFR d'Informatique de l'Université Paris Cité, en partenariat avec les ENS de Paris et Paris-Saclay, l'Ecole Polytechnique et Inria Paris. * [[http://www.math.univ-paris-diderot.fr/m2lmfi/|Logique Mathématique et Fondements de l'Informatique (LMFI)]] : Master recherche de l'UFR de Mathématiques en partenariat avec l'UFR d'Informatique de l'Université Paris Cité * [[http://www.informatique.univ-paris-diderot.fr/formations/masters/|Master informatique]] : L'UFR d'Informatique porte aussi plusieurs parcours professionnels, ainsi que des doubles parcours avec l'UFR de Mathématiques. Plusieurs membres de l'IRIF sont aussi impliqués individuellement dans d'autres Masters transversaux, dont par exemple : * [[https://cri-paris.org/aire-lisc/|Life Science Master AIRE]]: Programme interdisciplinaire de deux ans des universités de Paris Diderot et Descartes, abordant avec des approches quantitatives différentes interfaces avec les sciences de la vie. * [[http://pise.info/|Master MECI spécialité PISE]] : Parcours professionnel de deux ans de l'université Paris Diderot dans les domaines du conseil et de l’audit en système d’information et de la conduite de projets informatique. == Préparer une thèse à l'IRIF == Chaque année, environ 20 nouveaux doctorants commencent leur thèse à l'IRIF. Pour en savoir plus sur les possibilités d'encadrement, de financement et sur le déroulement d'une thèse à l'IRIF, consulter la [[https://www.irif.fr/postes/these|page dédiée]]. == Formations doctorales == __École doctorale des Sciences Mathématiques de Paris Centre__ \\ L'IRIF est associé à l'[[http://www.math.univ-paris-diderot.fr/formations/doctorats/index|école doctorale des Sciences Mathématiques de Paris Centre]] (ED 386). __Écoles Universitaires de Recherche__ \\ L'IRIF participe aux Ecoles Universitaires de Recherche (Graduate Schools) [[https://u-paris.fr/mathematicalsciences/|Mathematical Sciences]] et [[https://u-paris.fr/graduate-schools/quantumtechnologies/|Quantum Technologies]]. == Écoles de recherche == L'IRIF est à l'initiative et pilote l'[[https://epit.irif.fr|École de recherche de Printemps d'Informatique Théorique (EPIT)]] depuis 1973. L'IRIF est impliqué dans la programmation des écoles CIMPA, et notamment à travers son équipe de direction (Zone géographique : Afrique). L'IRIF a de surcroît organisé plusieurs écoles dont voici un échantillon récent : * [[https://indico.ictp.it/event/9815/overview|School on Mathematical Programming and Algorithms]], Nairobi, Kenya (R. Mantaci, J. Ongaro, B. Szendroi, P. Vaderlind, J.-B. Yunès), 11-29 juillet, 2022 L’IRIF est partenaire de la [[https://indico.ictp.it/event/9815/overview|ICTP-EAUMP School on Mathematical Programming and Algorithms]]. L’école de cette année a été organisée par la **University of Nairobi** et s’est déroulée du **11 au 29 juillet 2022** à la Kenya School of Government à Nairobi, Kenya. **3 membres de l’IRIF** ont participé à ce projet : [[http://yunes.informatique.univ-paris-diderot.fr/|Jean-Baptiste Yunès]] (Maître de conférences à l’Université Paris Cité), [[https://www.irif.fr/~mantaci/|Roberto Mantaci]] (Maître de conférences à l’Université Paris Cité) et [[https://www.irif.fr/~vanden/|Anna Vanden-Wyngaerd]] (Post-doc à l’IRIF et l’Université Libre de Bruxelles). \\ Aperçu du projet : [[https://indico.ictp.it/event/9815/overview]]. \\ Programme : [[https://indico.ictp.it/event/9815/other-view?view=ictptimetable]]. * [[http://cimpa2019.tabrizu.ac.ir|Graphs, Algorithms and Randomness]], Tabriz, Iran (R. Naserasr) 15-22 juin 2019 * [[https://conferences.cirm-math.fr/1934.html|Donnéees, logique et automates]], Luminy (A. Gheerbrant, L. Libkin, L. Segoufin, P. Senellart, C. Sirangelo), 8-12 avril 2019 * [[http://gt-alea.math.cnrs.fr/alea2019/|Journées Aléa]], Luminy (G. Chapuy, E. Duchi, C. Goldschmidt) 18-22 march 2019 * [[http://projects.lsv.fr/epit18/|Vérification de programmes]], Aussois (D. Baelde, C. Enea), 7-11 mai 2018 * [[https://www.benedikt-bollig.org/movep-2018|Modeling and Verification of Parallel Processes]], Cachan (P. Habermehl, B. Bollig), 16-20 juillet 2018 * [[https://popl19.sigplan.org/track/VMCAI-2019|Verification, Model Checking, and Abstract Interpretation]], Cascais, Portugal (C. Enea, R. Piskac), 9-12 janvier 2018 ==== Actions de l'UFR d'Informatique ==== == Fête de la science == L'UFR d'Informatique de l'Université Paris Cité participe chaque année à la [[http://www.informatique.univ-paris-diderot.fr/events/fete-de-la-science|fête de la science]]. == MOOC === * [[https://www.fun-mooc.fr/courses/course-v1:parisdiderot+56002+session04/about|MOOC OCaml]] : Avec 10 000 inscrits répartis en 3 éditions, ce MOOC aide à diffuser les concepts de la programmation fonctionnelle, qui sont de surcroît au cœur de les sujets de recherche de l'IRIF == Concours == * [[http://journees-franciliennes-de-programmation.org/|Journées franciliennes de programmation]] : Les JFPs sont depuis 10 ans un rendez-vous ludique qui prend la forme d'un concours de programmation entre les licences de Sorbonne Université, Université Paris-Sud et université de Université Paris Cité * [[https://codingcompetitions.withgoogle.com/hashcode/hubs|Hub Google Hash Code]] à l'Université Paris Cité ==== Workshops ==== * [[https://icalp2022.irif.fr/?page_id=46|ICALP'22]], Paris, France (V. Mitsou, M. Shirmohammadi) 4 juillet 2022 * [[https://lipn.univ-paris13.fr/~mazza/DiffProgWorkshop/|Workshop on Differentiable Programming]], Paris, France (D. Mazza, M. Pagani) 29-30 juin 2022 * [[https://www.irif.fr/~hosigra/pmwiki/pmwiki.php?n=Site.Workshop2022|Coloring, homomorphisms and flows in signed graphs]], Fréjus, France (R. Naserasr) 19-26 juin 2022 * [[https://www.irif.fr/~labyrinthofcombinatorics/|Labyrinth of Combinatorics]] en mémoire de Pierre Rosenstiehl, Paris, France (M. Bonamy, É. Colin de Verdière, R. Naserasr, J. Nešetřil, P. Ossona de Mandez, Z. Wang) 15-17 juin 2022 ==== Initiatives ==== == Actions permanentes ou récurrentes == * [[http://www.learn-ocaml.org|Learn-OCaml]] : Le projet Learn-OCaml vise à promouvoir l’utilisation d'OCaml et de son écosystème dans l'enseignement supérieur, au développement d'outils d'apprentissage, et à le rendre facilement utilisable par quiconque. * [[https://www.cijm.org/salon|Salon Culture et Jeux Mathématiques]] : participation au stand "La recherche mathématique se prend au jeu" * [[http://www.palais-decouverte.fr/fr/au-programme/expositions-permanentes/toutes-les-salles/informatique-et-sciences-du-numerique/|Informatique et sciences du numérique]] : exposition au Palais de la découverte == Actions ponctuelles == * {{ :formation:affiche_jules_ferry.pdf |Tous femmes de numérique !}} : Après leur rencontre avec 4 informaticiennes de l’IRIF, 14 lycéennes du Lycée Jules Ferry ont expliqué à leurs camarades l’exposition permanente du Palais de la découverte sur l’informatique et les sciences du numérique le 29/05/18. * [[http://www.mathsenville.com/evenements/ex-machina/|Festival Maths en ville de Saint Denis]] : débat sur l’intelligence artificielle * Animation d'atelier "informatique déconnectée" en école primaire * "Pépites de science" : action de médiation scientifique de la délégation Paris Villejuif du CNRS en milieu scolaire avec des établissements val-de-marnais, de mars à juin 2019 * [[https://mediatheque.villejuif.fr/Default/cnrs.aspx|Rencontres avec des chercheurs du CNRS]] : rencontre organisée avec les habitants de Villejuif dans le cadre des 80 ans du CNRS sur le thème "Ordinateur quantique : rêve ou réalité ?" * [[http://www.cerclefser.org/fr/les-articles-sciences-et-societe/|Declics]] : Rencontres entre une équipe de recherche et des lycéens sous le format ludique du speed-meeting == Blogs == * [[http://binaire.blog.lemonde.fr|Blog binaire]]