Outils pour utilisateurs

Outils du site


cours_de_l_ed:start

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
Prochaine révision Les deux révisions suivantes
cours_de_l_ed:start [2017/11/16 10:45]
sonia
cours_de_l_ed:start [2021/10/11 15:18]
sonia
Ligne 1: Ligne 1:
 Sur cette page sont indiqués les cours spécialement offerts par l'ED 184 à l'​attention des doctorants et des enseignants-chercheurs,​ ainsi que les cours proposés par proposés par le collège doctoral de l'AMU ou d'​autres organismes particulièrement intéressants d'un point de vue disciplinaire pour les doctorants de notre ED. Sur cette page sont indiqués les cours spécialement offerts par l'ED 184 à l'​attention des doctorants et des enseignants-chercheurs,​ ainsi que les cours proposés par proposés par le collège doctoral de l'AMU ou d'​autres organismes particulièrement intéressants d'un point de vue disciplinaire pour les doctorants de notre ED.
 +
 +**Cours de l'ED**
 +
 +Trois cours de 24h chacun vous seront proposés prochainement. Le premier aura lieu à partir du **lundi 22 novembre 2021** sur le campus de St Jérôme et sera dispensé par le Pr Chu-min LI. 
 +
 +Les inscriptions sont dès à présent possible sur l'​adum.
 +
 +Planning : 8 séances de 2,5H (1H cours, 1,5H TD) réparties sur quatre semaines.
 +Deux séances par semaine le mardi et le jeudi de 9h30 à 12h00.
 +
 +Programme :
 +
 +Les problèmes NP-difficiles se trouvent dans beaucoup d'​applications industrielles et académiques et il faut apporter des solutions à ces problèmes malgré la NP-difficulté. Il y actuellement deux types d'​algorithmes dans la résolution pratique de ces problèmes: algorithmes heuristiques ou méta-heuristiques et algorithmes complets ou exacts. Un point en common de ces algorithmes est qu'ils ont en général besoin de prendre des décisions à chaque étape de la résolution. Beaucoup d'​effort ont été faits dans la littérature pour améliorer la pertinence de ces décisions qui est cruciale pour la performance pratique de ces algorithmes. Mais assurer les meilleures décisions à chaque étape de la résolution pourrait être aussi difficile que le problème lui-même.
 +
 +L'​apprentissage automatique est un outil puissant de l'​intelligence artificielle qui a fait ses preuves dans beaucoup de domaines, permettant par exemple à un programme de battre les meilleurs joueurs du jeu de GO humains. Une tendance apparaît ainsi dans la littérature pour utiliser l'​apprentissage automatique pour aider les algorithmes des problèmes NP-difficiles à prendre et améliorer des décisions à chaque étape de la résolution.
 +
 +L'​objectif de ce cour est d'​enseigner le principe d'​application de l'​apprentissage automatique pour améliorer les algorithmes des problèmes NP-difficile. Le contenu du cours est le suivant:
 +
 +- Problèmes NP-difficiles et leur application
 +- Algorithmes existants des problèmes NP-difficiles
 +- Principe de l'​apprentissage automatique et de l'​apprentissage par renforcement en particulier
 +- Intégration de l'​apprentissage automatique dans les algorithmes des problèmes NP-difficiles
 +- Etude de cas
  
  
Ligne 5: Ligne 28:
 ---- ----
  
-  ​Formation ​d'​informatique ​la formation ​informatique Python/​Linux se déroulera ​sur 2 jours le 7 décembre ​et pour le 14 décembre 2015 sur le campus ​de St Charles.+**École Jeunes Chercheurs et Chercheuses en Informatique Mathématiques** 
 + 
 +4 au 8 mars 2019 
 + 
 +CIRM - Centre International de Rencontres Mathématiques - Luminy, Marseille 
 + 
 +https://​conferences.cirm-math.fr/​1991.html 
 +--------------------------------------------------------------------------- 
 + 
 +Inscription obligatoire depuis le site ci-dessus jusqu'​au 6 janvier 2019. 
 + 
 +Cette année, l'​école propose les cours suivants : 
 + 
 +- *Algorithmique distribuée*,​ D. Imbs (LIS, Université Aix-Marseille),​ 
 +P. Kuznetsov (Telecom ParisTech), A. Labourel (LIS, Université Aix- 
 +Marseille) 
 + 
 +- *Géométrie et topologie pour les maillages 3D*, J.-L.. Mari (LIS, 
 +Université Aix-Marseille),​ F. Hétroy-Wheeler (ICube, Université de 
 +Strasbourg),​ G. Subsol (LIRMM, Université de Montpellier) 
 + 
 +- *Introduction à la théorie des transducteurs*,​ E. Filiot (Université 
 +Libre de Bruxelles), P.-A. Reynier (LIS, Université Aix-Marseille) 
 + 
 +- *Méthodes pour les mots sturmiens*, A. Frid (I2M, Université Aix- 
 +Marseille) 
 + 
 +- *Posets, polynômes et polytopes*, K. Knauer (LIS, Université Aix- 
 +Marseille) 
 + 
 +Des notes de cours (livre publié par CNRS éditions) seront distribuées aux participants. 
 + 
 +En outre, l'​école propose cette année des interventions spécifiques : 
 + 
 +- *Comment candidater*,​ J.-M. Talbot (LIS, Université Aix-Marseille et 
 +CNU 27) 
 + 
 +- *Stéréotypes négatifs de genre en sciences*, I. Régner (LPC, 
 +Université Aix-Marseille) 
 + 
 +- *Recherche et carrières dans le monde de l’entreprise*,​ V. Maume- 
 +Deschamps (ICJ, Université Claude Bernard Lyon 1 et présidente de 
 +l’AMIES) 
 + 
 +Plus de détails : 
 + 
 +Le GDR Informatique Mathématique propose chaque année une école pour 
 +les jeunes chercheurs, l'​EJCIM. L'​édition 2019 aura lieu à Marseille 
 +au CIRM (centre international de rencontre mathématiques) sur le 
 +campus de Luminy. Elle est organisée par des membres des laboratoires 
 +d'​informatique ​(LIS) et de mathématique (I2M) de l'​université 
 +Aix-Marseille. 
 + 
 +L'une des vocations de ces EJCIM est de promouvoir l'​ouverture des 
 +jeunes chercheurs aux thématiques du GDR Informatique Mathématique et 
 +de renforcer ​la cohésion scientifique de la communauté Informatique 
 +Mathématique. 
 + 
 +Les jeunes chercheurs sont aussi invités à exposer leurs travaux, sous 
 +la forme de présentations orales ou de posters, et ont ainsi 
 +l'​occasion d'​interagir avec la communauté. Les cours qui représentent 
 +15 à 20h de formation ​sont validés par la plupart des écoles 
 +doctorales (attestation fournie ​sur demande). 
 + 
 +Les frais d'​inscription sont de 150€ ​et comprennent la pension complète 
 +au CIRM du dimanche soir au vendredi midi. Les agents CNRS sont 
 +dispensés des frais d'​inscription. Si ce montant est un problème ​pour 
 +certains, vous pouvez candidater à une aide financière (en envoyant une 
 +courte lettre de présentation),​ directement depuis ​le formulaire 
 +d'​inscription : 
 +http://​www.cirm-math.fr/​preRegistration/​index.php?​EX=menu0&​id_renc=1991 
 +Merci dans ce cas de nous préciser l'aide demandé (trajet et/ou frais 
 +d'​inscription). 
 + 
 +Pour plus de détails, n'​hésitez pas à consulter la page web de l'​école 
 +ou à nous contacter. 
 + 
 +Basile Couëtoux, Pierre Guillon, Bruno Martin, Guillaume Theyssier 
 + 
 + 
 + 
 + 
 +**COURS ED 2018 et SEME** 
 + 
 + 
 + 
 +Aux doctorant-e-s et post-doctorant-e-s en Mathématiques,​ 
 + 
 +Les SEME sont des semaines d'​étude organisées par l'​AMIES ​sur le modèle des Study Groups européens : un problème industriel est posé le lundi à un groupe ​de 4-6 étudiant-e-s (en thèse de maths) et une restitution est effectuée le vendredi de la même semaine. Il est demandé aux jeunes chercheur-se-s d'​explorer des stratégies de réponse inédites pour l’entreprise.
  
-Voici le rappel des informations ​:+La prochaine SEME est organisée à Strasbourg du lundi 12 au vendredi 16 novembre 2018 https://​seme2018.cemosis.fr/​ 
 +Nous lançons un appel à tous les doctorant-e-s et  post-doctorant-e-s en Mathématiques à venir et à y participer ! 
 +Faites-le savoir autour de vous !
  
-1. Linux un ami qui vous veut du bien les bases de linux, des lignes de commandes, ou comment survivre sur un ordinateur sans windows ou MacOS+Les inscriptions sont ouvertes jusqu’au lundi 15 octobre 2018 via ce formulaire ​https://​seme2018.cemosis.fr/​inscription
  
-2. Initiation ​à python : Apprentissage du langage ​de programmation python, que faire avec ce langage, acquérir de bonnes bases+Les sujets seront mis en ligne au fur et à mesure les 2 prochaines semaines ​de septembre sur la page: 
 +https://​seme2018.cemosis.fr/​programme 
 +Une nouvelle communication sera effectuée lorsque l'​ensemble des sujets sera publié.
  
 +Les pauses café, repas et le logement des participant-e-s qui participent à toute la semaine sont pris en charge par la SEME.
  
-  * Cours de l'​école doctorale, Ce groupe consiste principalement en des mini-cours ouverts à tous ceux qui désirent élargir leurs connaissances dans le domaine Math-Info avec applications à la théorie de l’information. Le spectre est large et inclut aussi bien la théorie algorithmique des nombres et la géométrie algébrique effective que la cryptographieles codes correcteurs d’erreurs,​ ou des problèmes d’implémentation. Ces cours sont ouverts ​à tous. Pour plus d'info voir http://​www.i2m.univ-amu.fr/Groupe-de-Travail-Math-Info-pour-la-Theorie-de-l+Pour toute question ou information, ​veuillez écrire ​à contact-seme@cemosis.fr 
 +-----------------
  
-Prochaine séance : Jeudi 19 novembre, " Initiation aux variétés algébriques"​ par Robert Rolland. +Ph.D. Candidates and Post-doctoral researcher,
-Campus de LuminyTPR2, Salle des séminaires 304-306. .+
  
 +Maths-Companies Study Weeks (MCSW) are study weeks organised by AMIES following the European Study Group model : industries will present open issues on the first day to a 4-6 young researcher group. Friday will be devoted to the presentation of the explored paths in front of the industrialists. It is ask that the participants explore out-of-the-box strategy of solution for the company.
  
-  +The newt MCSW is set to take place in Strasbourg, from 12 to 16 november 2018
-  * Le Conseil Scientifique du Centre International des Sciences Mécaniques (CISM) à Udine qui est soutenu par le CNRS organise chaque année une douzaine d'​Advanced Courses européens de haut niveau et chaque cours est accompagné de l'​édition d'un ouvrage dans la collection "CISM Courses and Lectures"​ édité chez Springer Wien. Cette collection est riche de plus de 500 ouvrages ( http://​www.cism.it/​publications/​presentation/​). Les détails sur le CISM et les cours peuvent être trouvés sur leur site :  http://​www.cism.it/ ​+
  
 +[MCSW website]
  
 +We are calling all Ph.D. Candidates and post-doctoral researcher to participate in the event ! 
  
 +Inscriptions are open till the 15th of october 2018 via this link
 +[Registration]
  
-* Proposition de cours pour l'​automne 2015 :  +Projects will be published here soon :  
-{{:​cours_de_l_ed:​programme-cours.pdf|}}+[Program]
  
 +We will let you know as soon as the full list of project is fixed.
  
-**Semaine d'​Etude Maths-Info Entreprises (SEMIE)**+Coffee break, meals and accomodations of the participants taking part in the entire the study week will be supported by the organisation
  
-du 24 octobre au 28 octobre 2016 bâtiment IMAG sur le campus de Grenoble (aussi ouvert aux post-docs). 
  
-Inscription (gratuite) avant le 23 Septembre 2016+For additionnal information,​ please contact-seme@cemosis.fr
  
-Pendant toute la semaine, les pauses café et déjeuners des participants sont pris en charge par la SEMIE. La participation intégrale, du lundi matin au vendredi après-midi,​ est impérative. 
  
-La SEMIE vise à stimuler des échanges entre les milieux industriels et le monde de la recherche académique,​ par le biais d'une semaine de travail sur des problèmes posés par des industriels et nécessitant des approches innovantes en mathématiques ou en informatique. Ces travaux peuvent même être l’amorce d’une coopération plus poussée avec l’industriel porteur du sujet.+**Artificial Intelligence:​ from Machine Learning to Data Science**
  
-Pour plus d’informations,​ et consulter les sujets proposés cette année ​http://​semie.imag.fr/​ Pour toute question, écrire à semie2016@imag.fr ​+Content:
  
-**Cours M2 Théorie spectrale des opérateurs et dynamique linéaire ​:**+Machine Learning addresses the question of how to develop computer systems that improve their performance automatically with experience. It is the core technologies at the basis of modern Artificial Intelligence and of all of its spectacular breakthrough in the last ten years. It is also at the core of the emerging field of Data Science. This course deals with the foundations of machine learning based Artificial Intelligence and of its more recent success which has led to the development of Data Science. The whole process allowing the extraction of knowledge from data will be presenteddata preparation and visualization,​ model generation via the use of a Machine Learning framework, results analysis. The course mainly focuses on classification tasks: non-supervised via the learning algorithm known as k-means, supervised via the presentation of several learning algorithms (k-nearest neighbors, random forest, support vector machines, artificial neural networks). A particular attention is given to practical work: the detailed process (dimension reduction, cross-validation,​ visualization,​ fine tuning of hyper-parameters,​ ...) is studied and well-known toolboxes are introduced (Scikit-Learn,​ Keras).
  
-Ces cours de 2h30 environ ont lieu à 14h en salle C006 du CMI.+Team: Hachem Kadri, Rémi Eyraud, Liva Ralaivola (nom.prenom@lis-lab.fr) 
 +* The course will be given in English. It is possible to be in French if all the PhD Students registered to the course are francophones.
  
-Voici toutes les dates du cours: +**Homotopie et homologie ​du calcul**
-- 19/09 +
-- 26/09 +
-- 03/10 +
-- 17/10 +
-- 24/10 +
-- 14/11 +
-- 21/11 +
-- 28/11 +
-- 05/12 +
-- 12/12+
  
-Les 4 premières séances (jusqu'​au 17/10 inclus) sont consacrées à de la théorie spectrales élémentaire;​ les 6 suivantes (à compter du 24/10) consistent en une introduction à la dynamique linéaire.+Résumé :
  
 +Ce cours entre naturellement dans ce cadre, car il présente des liens profonds entre différents domaines des mathématiques et de l’informatique théorique :​réécriture de mots : présentations convergentes d’un monoïde (ou d’une catégorie);​ algèbre homologique : groupes d’homologie d’un monoïde (ou d’une catégorie);​
 +groupes de tresses et généralisations : familles de Garside dans un monoïde (ou une catégorie) ; catégories supérieures et algèbre homotopique : type de dérivation fini et résolutions polygraphiques.
  
-**UE Master IF**+Cette approche a été initiée par Craig Squier (1987) : en montrant que les paires critiques de la réécriture définissent des générateurs de l’homologie en dimension 3, 
 +il peut construire un monoïde finement présentable pour lequel le problème du mot est décidable, mais qui n’admet aucune présentation convergente finie. 
 +La méthode a été généralisée à la dimension quelconque par Yuji Kobayashi (1990), puis reformulée dans un cadre homotopique par Craig Squier lui-même (1994).  
 +Elle a été adaptée au cas des groupes gaussiens par Patrick Dehornoy et Yves Lafont en 2003, ce qui permet, par exemple, de calculer l’homologie des groupes de tresses. 
 +La réécriture de mots a aussi été généralisée au cas des 2-présentations par Albert Burroni (1993) et Yves Lafont (2003). En suivant cette voie, 
 +François Métayer a introduit la notion de résolution polygraphique (2003), qui est la version homotopique des résolutions libres (2009). 
 +C’est aussi ce qu’on appelle un remplacement cofibrant en algèbre homotopique.
  
-Intitulé : « Syntaxe et sémantique : modèles et outils » Principes et nature ​des représentations syntaxiques ​et sémantiques ​ +Ce cours (24h) aura lieu au second semestre. Les publics visés sont d’abord les doctorants issus des masters recherche de mathématiques générales ​et d’informatique théorique, 
-associables à une phrase. Différents formalismes seront étudiés pour exprimer ​ces représentations. Une implémentation basée sur les  +puis les étudiants de ces masters (qui auront déjà suivi des cours fondamentaux),​ et tous les collègues intéressés ​par ce domaineSelon le niveau des étudiants et des collègues,​ 
-analyseurs ​par transition sera particulièrement développée.+je ferai des rappels, dans l’esprit de mon cours intensif de 2008 : Algèbre et géométrie de la réécriture (Ecole Jeunes Chercheurs en Informatique Mathématique,​ CIRM, 2018)
  
-Les cours auront lieu dans la salle de réunion du 5e étage du LIF : 
  
-Voici les créneaux prévus : 
-- mercredi 16 novembre 14h-17h 
-- mercredi 30 novembre 14h-17h 
-- mercredi 7 décembre 14h-17h 
-- mercredi 14décembre 14h-17h 
-- mercredi 4 janvier 14h-17h 
-- mercredi 11 janvier 14h-17h 
-- mercredi 18 janvier 14h-17h 
  
  
-**COURS ED 2018**+**"​Introduction à la Théorie du Contrôle Géométrique"​**, cours de 20H, Responsable Francesca Chittaro, de Février à mi-Avril
  
-"​Entrelacs aléatoires"​ cours de 24H Responsable Bruno Schapira Janvier à mi-Mars+1. Rappel ​de géométrie différentielle : variétés, fibré tangent, fibré cotangent, sous-variétés. 
 +2. Equation différentielles survariétés:​champs dévecteurs,​flots et groupes de difféomorphismes. 
 +3. Familles de champs de vecteurs : crochets et algèbre de Lie, orbite d’un famille de champs de vecteurs, Théorèmes de Rashevski-Chow et de Frobenius. 
 +4. Systèmes commandes : définition,​ ensembles atteignables,​ contrôlabilité. Systèmes linéaires et bilinéaires. 
 +5. Equivalence des systèmes contrôlés,​ linéarisation par feedback.
  
-"​Introduction à la Théorie du Contrôle Géométrique"​ cours de 20H Responsable Francesca Chittaro Février à mi-Avril 
  
-"​Histoire de la Pensée Scientifique - Une introduction"​ cours de 24H Responsable Stéphane Ballet mi-Mai à début Juillet+**"​Histoire de la Pensée Scientifique - Une introduction"​**, cours de 24HResponsable Stéphane Ballet, de  ​mi-Mai à début Juillet 
 +{{:​cours_de_l_ed:​ed184-histpenseeballet.pdf|}}
  
  
-**Tous les doctorants qui suivront ​ces cours doivent s'​enregistrer dans l'​adum,​ la formation est en ligne.**+**Tous les doctorants qui souhaitent suivre  ​ces cours doivent ​impérativement ​s'​enregistrer dans l'​adum,​ la formation est en ligne.**
cours_de_l_ed/start.txt · Dernière modification: 2023/07/04 09:52 par sonia