Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

17 octobre 2018: 2 événements

Séminaire

  • Agenda ERC IChaos

    Du 13 au 17 octobre -

    Scientific collaboration with Dmitry CHELKAK

    Lieu : Ecole Normale Supérieure - Paris

    Exporter cet événement

En savoir plus : Agenda ERC IChaos

  • Agenda ERC IChaos

    Mercredi 17 octobre 14:00-17:00 - Club de Mathématiques de Marseille animé par Julien CASSAIGNE, Yves LAFONT, Pascal HUBERT, Alexander BUFETOV & Adrien BOULANGER.

    Club de Mathématiques de Marseille (C2M)

    Résumé : Programme : retour sur les sujets proposés par Pascal commencés mercredi 26 septembre (tablette de chocolat, distances) ; nouveau sujet proposé par Sasha ; olympiades de 1re (demande des élèves).
    https://www.youtube.com/watch?v=u9leU5NqvsA&t=

    Lieu : FRUMAM - Aix-Marseille Université - Site St Charles - 3, place Victor Hugo - case 39
    13331 MARSEILLE Cedex 03

    Exporter cet événement

    En savoir plus : Agenda ERC IChaos

  • 17 octobre 2018: 1 événement

    Manifestation scientifique

    • Manifestations scientifiques (colloques, écoles,...)

      Du 17 au 18 octobre - JOURNÉES

      Journées LHC — Logique, Homotopie, Catégories

      Résumé : JOURNÉES,
      dans le cadre du GDR IM
      -
      Depuis quelques décennies, des rapprochements profonds ont été établis entre certains concepts et outils de l’informatique théorique (logique, réécriture, etc.) et ceux issus de la topologie (théorie de l’homotopie, topologie algébrique, etc.), en utilisant les catégories comme langage commun (topos, catégories de modèles, etc.).
      L’objectif du groupe LHC est de rassembler, d’animer et de représenter la communauté française de chercheurs travaillant à développer et exploiter ces liens, ou cherchant à en établir de nouveaux, en vue d’étudier les fondations théoriques des langages de programmation, de la logique, et de leurs sémantiques.
      Représenter de manière effective les structures mathématiques en jeu, c’est-à-dire en donner le langage interne, permet de faciliter le raisonnement sur ces structures (c’est le programme de la théorie homotopique des types), voire de résoudre des problèmes par le calcul (d’invariants homologiques, par exemple).
      Réciproquement, ces structures enrichissent le paysage des modèles mathématiques de la logique et du calcul, guidant la généralisation de concepts d’informatique théorique bien établis (réécriture en dimension supérieure, par exemple), ou la mise au point de nouveaux outils syntaxiques (la représentation explicite des ressources en lambda-calcul, via la notion de dérivée formelle).
      -
      Sujets :
      - Théorie homotopique des types
      - Catégories en informatique (modèles catégoriques, calculs diagrammatiques, catégories supérieures, cohérence)
      - Applications de la topologie algébrique en informatique (catégories de modèles, topologie algébrique dirigée et concurrence)
      - Sémantiques (linéaires, topologiques, etc.) de la logique et du calcul
      - Approches différentielles et calculs avec ressources
      - Réécriture (de dimension supérieure), calcul formel (polygraphes, bases de Gröbner et généralisations)
      - Logique catégorique (théorie des topos)
      - Opérades en sémantique et en combinatoire
      - Calculs pour l’informatique quantique
      - Théorie des modules de persistance
      - Homologie constructive
      - Méthodes de physique théorique en informatique

      -
      Organisateurs :
      - Samuel MIMRAM (LIX, Palaiseau)
      - Lionel VAUX (I2M, Marseille)
      -
      Partenaires connus :
      - Centre National de la Recherche Scientifique (CNRS)
      - GDR IM
      - FRUMAM
      -

      Site web des 1ères journées LHC 2018
      JPEG - 42.5 ko

      Lieu : FRUMAM - Campus Saint Charles - Aix-Marseille Université
      3, place Victor Hugo - case 39
      13331 MARSEILLE Cedex 03

      Exporter cet événement
      Document(s) associé(s) :

      En savoir plus : Manifestations scientifiques (colloques, écoles,...)

    17 octobre 2018: 1 événement

    • Actions pédagogiques et culturelles

      Mercredi 17 octobre 14:00-17:00 - CLUB

      Club de Mathématiques de Marseille (C2M)

      Résumé : Club de Mathématiques de Marseille animé par Julien CASSAIGNE, Yves LAFONT et Pascal HUBERT.
      -
      Programme : retour sur les sujets proposés par Pascal commencés mercredi 26 septembre (tablette de chocolat, distances) ; nouveau sujet proposé par Sasha ; olympiades de 1re (demande des élèves).
      -

      Lieu : FRUMAM - Aix-Marseille Université - Site St Charles
      3, place Victor Hugo - case 39
      13331 MARSEILLE Cedex 03

      Exporter cet événement

    En savoir plus : Actions pédagogiques et culturelles