Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

11 octobre 2018: 2 événements

Séminaire

  • Séminaire Logique et Interactions

    Jeudi 11 octobre 11:00-12:30 - Thomas EHRHARD - IRIF, Paris 7

    Sémantique dénotationnelle de la logique linéaire avec plus petits et plus grands points fixes de types

    Résumé : On montrera comment interpréter μLL - la logique linéaire propositionnelle avec plus petits (μ) et plus grands (ν) points fixes de types - dans les espaces cohérents, puis dans les espaces cohérents avec totalité. Le premier modèle ne fait pas la différence entre μ et ν, alors que le second, bâti sur le premier, interprète μ et ν de façons différentes. La même technique s’adapte à beaucoup d’autres modèles, et notamment aux espaces de finitude. μLL peut être vu comme un langage de programmation fortement normalisant contenant le système T de Gödel et permettant de définir de nombreux "types de données" (listes, arbres, mais aussi streams etc).
    Travail en collaboration avec Farzad Jafrrahmani.

    JPEG - 5.4 ko
    Thomas EHRHARD

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud - Bâtiment TPR2
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

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

    En savoir plus : Séminaire Logique et Interactions

  • Groupe de Travail Théorie Analytique, Probabiliste et Automatique des Suites (TAPAS)

    Jeudi 11 octobre 14:00-15:00 - Michel BALAZARD - I2M, CNRS, Marseille

    Le problème additif binaire des diviseurs

    Résumé : TBA

    JPEG - 14.6 ko
    Michel BALAZARD

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud - Bâtiment TPR2
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

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

    En savoir plus : Groupe de Travail Théorie Analytique, Probabiliste et Automatique des Suites (TAPAS)

11 octobre 2018: 1 événement

groupe de travail

  • Groupe de travail Singulier

    Jeudi 11 octobre 14:00-15:00 - Lorenzo FANTINI - I2M, Aix-Marseille Université

    Groupe de travail Singulier (TBA)

    Résumé : TBA

    JPEG - 10.2 ko
    Lorenzo FANTINI

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

    Notes de dernières minutes : 1ère séance (horaire exceptionnel).

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

    En savoir plus : Groupe de travail Singulier

11 octobre 2018: 2 événements

Manifestation scientifique

  • Agenda ERC IChaos

    Du 3 au 12 octobre - Alexander BUFETOV

    Research in Pairs with Boris SOLOMYAK

    Résumé : + Punctual Participation : Pascal HUBERT/ Pierre LAZAG/ Juan MARSHALL/ Adrien BOULANGER
    Titre : Spectral properties of parabolic flows
    This working group will continue work on spectral properties of parabolic flows. The global objective is to give a quantitative description of the spectral measure. The first quantitative estimates for the spectral measures were obtained by the authors in a series of papers starting in 2012 through 2018. We have however only so far been able to obtain upper bounds for the spectral measure, and the aim of this workshop will be to give lower bounds as well.

    JPEG - 12.5 ko

    Lieu : CIRM Luminy - Marseille

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

    En savoir plus : Agenda ERC IChaos

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

    Du 11 au 12 octobre - FORUM

    AMUSEC 2018

    Résumé : FORUM,
    -
    AMUSEC 2018, l’événement Aix-Marseille du mois européen de la cybersécurité.
    -
    A l’initiative de l’équipe AGLR- ATI de l’I2M, la 3ème édition 2018 d’AMUSEC (www.amusec.fr) se tiendra les 11 et 12 octobre 2018 à Polytech Marseille Luminy.
    Il s’agit d’un forum d’échange et de partage de la communauté des praticiens de la cybersécurité. L’édition 2018 est l’événement Aix-Marseille du mois européen de la cybersécurité sous l’égide de l’ENISA et de l’ANSSI.
    -
    Qu’ils soient dans la recherche publique ou dans la R&D privée cet événement s’adresse aux enseignants, chercheurs, thésards, Responsables de la Sécurité des Systèmes d’Information (RSSI/CISO), Directeurs des Systèmes d’Information (DSI), chefs de projets, architectes, développeurs, auditeurs, pentesteur, hackers, etc.
    -
    Au travers de conférences et de démonstrations, AMUSEC a pour objectifs :
    - la compréhension du contexte et des enjeux de la sécurité : scientifiques, juridiques, sociétaux, technologiques, etc.,
    - la connaissance de l’état de l’art offensif et des menaces sécuritaires actuelles,
    - la présentation de l’état des connaissances scientifiques en termes de sécurité,
    - la présentation des défis et des solutions d’entreprise.
    -
    Le thème principal de l’édition 2018 est la sécurité des données personnelles.
    -
    Mais aussi : cybersécurité, cryptologie, sécurité des réseaux, tests de sécurité, hacking, etc.
    -
    Organisateurs :
    - Institut de Mathématiques de Marseille (équipe AGLR-ATI), Marseille
    - Polytech Marseille
    - Pôle de compétitivité mondial SCS, Rousset
    - Association Hack in Provence
    -

    Site web du colloque
    PNG - 24.8 ko

    -
    -
    Autre lien : Accès Polytech Marseille

    Lieu : Polytech Marseille - Parc scientifique et technologique de Luminy
    163 avenue de Luminy
    Case 925
    13288 Marseille Cedex 09

    Exporter cet événement

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