Academics (page in french) L'IRIF est membre de l'UFR d'informatique de l'université Paris Diderot, et accueille également en son sein plusieurs membres de l'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 Diderot, ainsi qu'à l'Ecole d'ingénieur Denis Diderot et à l'IUT Paris Diderot. L'IRIF est associé à l'école doctorale des Sciences Mathématiques de Paris Centre (ED 386). La formation doctorale est aussi dispensée par plusieurs écoles de recherche dispensées annuellement par des membres de l'IRIF. L'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 Diderot : Master Parisien de Recherche en Informatique : Master recherche de l'UFR d'Informatique de l'université Paris Diderot, en partenariat avec les ENS de Paris et Paris-Saclay, l'Ecole Polytechnique et Inria Paris. Logique Mathématique et Fondements de l'Informatique : Master recherche de l'UFR de Mathématiques en partenariat avec l'UFR d'Informatique de l'université Paris Diderot 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 : 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. 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, de 10 à 15 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 page dédiée. Formation doctorale L'IRIF est associé à l'école doctorale des Sciences Mathématiques de Paris Centre (ED 386). Ecoles de recherche L'IRIF est à l'initiative et pilote l'Ecole de recherche de Printemps d'Informatique Théorique depuis 1973. L'IRIF a de surcroît organisé plusieurs écoles dont récemment : Graphs, Algorithms and Randomness, Tabriz, Iran (Reza Naserasr) 15-22 juin, 2019 Donnéees, logique et automates, Luminy (A. Gheerbrant, L. Libkin, L. Segoufin, P. Senellart, C. Sirangelo), 8-12 avril 2019 Journées Aléa, Luminy (G. Chapuy, E. Duchi, C. Goldschmidt) 18-22 march 2019 Vérification de programmes, Aussois (D. Baelde, C. Enea), 7-11 mai 2018 Modeling and Verification of Parallel Processes, Cachan (P. Habermehl, B. Bollig), 16-20 juillet 2018 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 Diderot participe chaque année à la fête de la science. MOOC 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 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 Paris Diderot Hub Google Hash Code à l'université Paris Diderot Initiatives Actions permanentes ou récurrentes 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. Salon Culture et Jeux Mathématiques : participation au stand “La recherche mathématique se prend au jeu” Informatique et sciences du numérique : exposition au Palais de la découverte Actions ponctuelles 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. 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 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é ?” Blogs Blog binaire