Les trois activités de cette semaine¶
- Exposés axés "systèmes formels"
- Exposés des doctorants en préparation à leurs interventions au colloque ARMIES de Mayotte en novembre
- Préparation de la visite du comité HCERES des 12 et 13 décembre
Le bureau se réunit pour préparer la présentation les lundi matin et mercredi après-midi.
Chacun est bienvenu pour participer à ces travaux.
La présentation sera projetée et discutée lors du conseil d'unité du vendredi matin
Programme¶
- lundi 21 octobre
- 8h30 Première réunion de bureau de préparation de la visite
- 14h Exposé de Sophie Chane-Lune
- mardi 22 octobre
- 8h30 Exposé d'Alexandre Mansard et Sirine Boudabbous
- 10h Présentation de Fonenantsoa Maurica
- 13h Discussions avec Fonenantsoa Maurica (préparation d'un projet de collaboration)
- après-midi : auditions HCERES pour les responsables de filières
- mercredi 23 octobre
- 9h : Réunion de l'axe HDMI
- 14h Seconde réunion de bureau de préparation de la visite
- jeudi 24 octobre
- 8h30 Exposé de Marianne Morillon
- 10h Exposé de Christian Espindola
- 13h30 Exposé d'Anil Cassam-Chenai
- 15h00 Exposé de Philippe Martin + discussions reliées
- 16h30 Exposé de Frédéric Mesnard
- vendredi 25 octobre
- 8h30 Conseil d'unité
- 14h00 Exposé de Cyprien Pankowski
- 15h15 Exposé de Frédérick Fabre Ferber
- 16h30 Troisième réunion de bureau de préparation de la visite
Mode d'emploi¶
- [[Salle_de_réunion| Guide utilisateur]] pour les équipements et le planning, e.g. :
- Utiliser ZOOM :
- création d'une réunion zoom
- annonce d'une réunion: forum:Visio
- document#400
Pour les transferts entre votre machines et les machines de la salle
Construction du DAE du LIM
- Pilotage [[2018-2023]] Vague E
- Réunions [[Conseils]] du LIM
- A rendre: Dossier DAE
Date de remise : 26 avril 2024
Cours en ligne¶
- Evaluateurs de la Weblinux par dépôt git voir [[Guide_des_travaux_pratiques]]
Pour noter¶
- [[Sess4Corrections|Cahier des corrections]]
- [[sess4Remarques|Cahier des remarques]]
Aide à l'animation¶
- La page [[Sess4-Animation|animation du wiki]]
- [[Pilotage EDX FUN|Guide du pilotage d'EDX]] : Pour enregistrer les procedures et les méthodes de l'utilisation de EDX FUN
Cours en ligne¶
- Evaluateurs de la Weblinux par dépôt git voir [[Guide_des_travaux_pratiques]]
Pour noter¶
- [[Sess3Corrections|Cahier des corrections]]
- [[sess3Remarques|Cahier des remarques]]
Aide à l'animation¶
- La page [[Sess3-Animation|animation du wiki]]
- [[Pilotage EDX FUN|Guide du pilotage d'EDX]] : Pour enregistrer les procedures et les méthodes de l'utilisation de EDX FUN
Liens rapides¶
Cours en ligne¶
A Retenir¶
- [[Sess2Corrections|Cahier des corrections]]
- [[sess2-remarques|Cahier des remarques]]
Aide à l'animation¶
- La page [[Sess2-Animation|animation du wiki]]
- [[Pilotage EDX FUN|Guide du pilotage d'EDX]] : Pour enregistrer les procedures et les méthodes de l'utilisation de EDX FUN
Répartition des responsables des forums¶
Pour éviter les redondances ou les oublis, La liste ci-dessous donne les référents des forums.
Isabelle alerte le référent quand elle ne peut répondre elle-même.
Séquence de bienvenue¶
Forum |
Responsable |
Des questions sur l'organisation du cours ? |
Régis |
Des questions sur le document compagnon ? |
Régis |
Des questions sur la notion de shell ? |
Denis |
Des questions sur l'utilisation de la Weblinux ? |
Xavier |
Des questions sur les challenges ? |
Régis |
Des questions sur l'usage de la plateforme du cours ? |
Yannick |
Des questions sur ce sondage ? |
Ulrike |
Des questions sur le test de connaissances ? |
Régis |
Séquence 1 : Pierre Ugo¶
Séquence 2 : Pascal¶
Séquence 3 : Tahiry¶
Séquence 4 : Denis¶
Conclusion : Régis¶
Sites de développement¶
Cours EDX Maîtriser le shell BASH¶
(Avec un compte personnel à cette plateforme)
Weblinux de développement¶
Weblinux
Evaluateurs de la Weblinux¶
Gestion des scripts sur la weblinux via cette interface web
Document compagnon¶
Overleaf
File system de la weblinux¶
Dépot git
Liens rapides¶
- Le [[Mooc|wiki]] à remplir avec les sources des exos