La formation consiste en une présentation du langage Python (version 3) en mettant l'accent sur la pratique de la programmation au moyen de nombreux exercices.

En s’appuyant sur les points communs entre Python et les langages de programmation le plus répandus, on se propose ici de faire ressortir les spécificités de Python et d’introduire, aussi tôt que possible au cours de l’exposé, les idiomes et les bonnes pratiques permettant d’écrire des programmes lisibles et efficaces, correspondant à l’esprit de ce langage.

La plate-forme d'intégration continue de l'INRIA a été pensée pour permettre aux projets du gitlab ou de la gforge INRIA (ou d'autres comme BitBucket, GitHub,...) de mettre en place des mécanismes d'intégration continue. Son interface web permet de gérer les projets, les utilisateurs et les machines de compilation.

La formation est disponible pour GitLab CI ou pour Jenkins.

Git est un outil de gestion de versions décentralisé Git, largement utilisé de nos jours à travers les plateformes de développement collaboratif telles que GitHub, BitBucket ou Gitlab (dont Inria propose une instance). Cette formation s'adresse à toutes les personnes qui souhaitent s'initier à Git, créer, rejoindre ou contribuer à des projets hébergés sur GitHub/GitLab ou encore migrer leurs projets vers ces plateformes. La présentation s'appuiera sur ce support et sera dispensée en français.

This is an introductory lecture to the modern way of programming C++; at the end of it you should:

• Understand the syntax and basic mechanisms of the C++ language in version 14/17.
• Know the different programming styles.
• Know of and be able to use the most useful part of the standard library.
• Be aware of many good programming practices in C++.

The formation may be found here and is written in english; the formation itself may be given either in french or in english.

Formation à LoRaWAN (technologie radio longue portée qui permet de faire communiquer des capteurs avec internet) et RIOT (système d'exploitation pour microcontrôleurs) sous forme de cours/TP. Les exemples seront programmés en C et Python.

ATTENTION: en raison de l'absence longue durée du responsable de cette formation, elle ne peut être rejouée actuellement..

OCaml est un langage de programmation multiparadigmes (fonctionnel, impératif, objets) développé depuis plusieurs années par l'INRIA et utilisé aussi bien dans le milieu académique que dans l'industrie. Conçu pour garantir la sûreté et la fiabilité des programmes, il est très expressif et néanmoins facile d'apprentissage et d'emploi.

La formation consiste en une présentation du langage (écosystème, environnement de développement) et une introduction à la programmation (fonctionnelle, impérative, objets) en OCaml, incluant des exercices pratiques. Elle est dispensée en français par Maxence Guesdon (INRIA Saclay) et s'appuie sur ce support de cours.

A new formation about Docker will be given for the first time in the second half of 2019.