Planning des conférences du Magistère d'Informatique

Les cours de magistère ont lieu une fois par mois de 17h à 19h à l'UFR IM2AG en amphi F018 ou F022

Jeudi 5 octobre : réunion de rentrée & inscription

    Octobre : réunion de rentrée & inscriptions

  • Pourquoi faire un magistère ?
  • Les métiers de la recherche et la vie de chercheur : aspects positifs / aspects négatifs
  • Le magistère vu de l'intérieur : Résumé des travaux des magistériens de l'an passé + Présentation de son stage par un magisterien diplômé
  • Novembre : la recherche en informatique dans les laboratoires de Grenoble et d'ailleurs

  • Présentation du site des sujets de stages
  • Recueil des thématiques souhaitées et orientation vers des laboratoires de recherche en informatique de Grenoble
  • Selon les années, le reste de la séance sera consacré à

  • Un cours introductif aux grands problèmes en informatique
  • Comment écrire un article scientifique ?
    Présentation d'un article à lire et description du travail préparatoire à effectuer pour préparer la séance (2/2) qui sera consacrée à l'étude d'un article célèbre.

    Articles des années précédentes :

    • 2015-2016 : «Theorems for free» (cité 767 fois) de Philip WADLER, publié à ICFP'1989. La séance (2/2) sera consacrée à l'analyse de la structure de l'article.
    • 2013-2014 : «How to make ad-hoc polymorphism less ad hoc» (cité 829 fois) de Philip WADLER et Stephen BLOTT, publié à POPL'1988 : Cet article introduit le concept des "type classes" qui commencent à se répandre aujourd'hui... 25 ans après. Il présente une manière rigoureuse de typer les classes (celles que l'on trouve les langages à objets). La séance (2/2) sera consacrée à l'analyse de la structure de l'article.
  • Décembre : conférence invitée

  • Présentation de leur sujet de stage par les Magistèriens M2
  • L'invitée de cette année
    Sriram Sankaranarayanan, Professor à Boulder University, Colorado
    Conférenciers des années précédentes

    • 2016: "New architectures, new compilation problems" par Paul Feautrier, Professeur Emerit de l'École Normale Supérieure de Lyon. P.Feautrier est un spécialiste de la programmation parallèle, de la parallèlisation automatique, de l'optimisation et la vérification de programmes parallèles.
    • 2015: « Mise à contribution des humains sur le Web social - Quels retours pour la science ? » par Sihem Amer-Yahia, directrice de recherche au CNRS, Laboratoire Informatique de Grenoble
    • 2014: « Stimulus - modélisation, test et simulation symbolique pour systèmes temps-réel » par Fabien Gaucher, docteur en informatique et PDG de la startup Argosim qui développe le logiciel Stimulus
    • 2013: « Comment vérifier que votre avion ne va pas planter en vol » par David Monniaux, directeur de recherche au CNRS, Laboratoire VERIMAG

  • Janvier : la vie des chercheurs

  • Présentation de leur sujet de stage par les Magistèriens M1
  • Le processus de publication
    • L'évaluation d'un article par ses pairs   (année paire)
    • Le processus de publication : son fonctionnement et ses travers   (année impaire)
  • Février : le vie des chercheurs

  • Présentation de leur sujet de stage par les Magistèriens M1/L3
  • Selon les années, le reste de la séance sera consacré à

    • Comment écrire un article scientifique ?

      Cette séance d'analyse de la structure de l'article exige un travail préparatoire de votre part.

    • Comment transformer une difficulté en un problème de recherche
      = exercice de tempête sous un crâne (brainstorming)

      Il y aura un court rapport à rendre sur le résultat de votre groupe de travail.

    • Un résultat scientifique célèbre
  • Mars : aspects pratiques

  • Présentation de leur sujet de stage par les Magistèriens L3
  • Utiliser LaTeX, de la prise de notes à la publication d'un article   (année paire)
    La présentation (pdf), les sources LaTeX de la présentation (macros.tex, main.tex)
  • Des outils support du travail collaboratif   (année impaire)

  • Avril : aspects pratiques

  • Présentation de leur sujet de stage par les Magistèriens L3
  • Présenter des travaux scientifiques ?
    (années paires, présentation A / B)
  • Reproductibilité des expérimentations en informatique : les artefacts demandés par les conférences
    (années impaires, vidéo et présentation)
  • Mai : aspects pratiques

  • La thèse, un marathon qui se termine par un sprint (transparents)   (année paire)
  • Comment écrire un article scientifique pour qu'il soit accepter/rejeter   (année impaire)
  • Rappel des exigences du magistère concernant le stage, la bibliographie, le poster ou article à rendre et la soutenance
  • Distribution des tâches d'organisation de la conférence MIG'2016
    responsables du planning des soutenance (M2), des proceedings (M1), de l'affiche (L3)
  • Juin : visite d'un équipement scientifique

  • Cette année : nous tenterons de visiter le synchrotron
  • une année sur trois : visite un jeudi 15h-17h d'ACONIT, le conservatoire de l'informatique et de la télématique où l'on peut voir les premiers calculateurs datant des débuts de l'informatique.
  • Visites des années précédentes

    Dernière semaine d'Aout : soutenances

Responsables du Magistère : Cyril LABBÉ & Michaël PÉRIN
email : prenom.nom@imag.fr