Le SED a construit plusieurs formations qui peuvent être "rejouées" dans des délais brefs:
SED has built several training courses that may be "replayed" in short notice; some of them may be given in english:
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.
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:
The formation may be found here and is written in english; the formation itself may be given either in french or in english.
Pré-requis: la pratique d'au moins un autre langage de programmation
Responsable(s): Maxence Guesdon
Language(s): Français
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.
This training aims to give a taste of Docker with hands-on experience. Docker concepts and its architecture will be explained in their basics. The main objective of this training is to show a complete workflow that could be useful to everyone.
By the end of the course, participants should have a basic understanding of the concepts and some experience with the basic Docker commands that would enable them to assess possible use cases for their own work. More in-depth reading is left to the participants.
The training also includes a short introduction to docker-compose and demonstrates its usage over a simple use case.
The training material can be found here.