Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

5 juillet 2018: 1 événement

Séminaire

  • Séminaire Logique et Interactions

    Jeudi 5 juillet 11:00-12:30 - Valentin BLOT - LRI, Université Paris-Sud

    Extensional and intensional semantic universes : a denotational model of dependent types

    Résumé : We describe a dependent type theory, and a denotational model for it, that incorporates both intensional and extensional semantic universes.
    In the former, terms and types are interpreted as strategies on certain graph games, which are concrete data structures of a generalized form, and in the latter as stable functions on event domains. The concrete data structures themselves form an event domain, with which we may interpret an (extensional) universe type of (intensional) types. A dependent game corresponds to a stable function into this domain ; we use its trace to define dependent product and sum constructions as it captures precisely how unfolding moves combine with the dependency to shape the possible interaction in the game. Since each strategy computes a stable function on CDS states, we can lift typing judgements from the intensional to the extensional setting, giving an expressive type theory with recursively defined type families and type operators. We define an operational semantics for intensional terms, giving a functional programming language based on our type theory, and prove that our semantics for it is computationally adequate. By extending it with a simple non-local control operator on intensional terms, we can precisely characterize behaviour in the intensional model. We demonstrate this by proving full abstraction and full completeness results.

    JPEG - 8.8 ko
    Valentin BLOT

    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

5 juillet 2018: 1 événement

groupe de travail

  • Agenda ERC IChaos

    Du 2 au 10 juillet - Alexander BUFETOV, Alexey KLIMENKO, Sergei KOROTKIKH & Chenxi WU

    Small group of work

    Lieu : Piolenc/Orange - 84420

    Exporter cet événement

En savoir plus : Agenda ERC IChaos

5 juillet 2018: 2 événements

Manifestation scientifique

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

    Du 3 au 6 juillet -

    Journées Ouvertes Biologie, Informatique et Mathématiques (JOBIM 2018)

    Résumé : JOURNÉES,
    -
    JOBIM (Journées Ouvertes Biologie, Informatique et Mathématiques) est proposé conjointement par la Société Française de BioInformatique (SFBI), l’Institut Francais de Bioinformatique (IFB) et le GdR Bioinformatique Moléculaire (GDR BIM). Son objectif est de réunir la communauté française de chercheurs en bioinformatique, en prônant une mixité entre chercheurs biologistes, mathématiciens, informaticiens et physiciens.
    -
    JOBIM est une conférence ouverte à toutes les personnes travaillant aux frontières de la biologie, de l’informatique, des mathématiques et de la physique et s’intéressant à l’analyse, la comparaison et l’exploitation des données génomiques et post-génomiques.
    -
    Sujets :
    - Bioinformatique pour la santé.
    - Calcul hautes performances pour la bioinformatique.
    - Statistique et algorithmique pour les données haut débit.
    - Visualisation et représentation des données massives.
    - Epigénétique & Epigénomique
    - Méthodologies pour l’analyse des séquences et des données omiques
    - Génomique et génétique des populations, écologie.
    - Bioinformatique structurale.
    - Biologie des systèmes, réseaux d’interactions.
    - Phylogénie et évolution.
    - Organisation & Expression des Génomes
    - Bioinformatique structurale.
    - Métagénomique et métabarcoding.
    - Ressources et infrastructures.
    -
    Organisateurs (pour l’I2M) :
    - Elisabeth REMY (I2M, Marseille)
    - Laurent TICHIT (I2M, Marseille)
    -
    Partenaires :
    - AMIDEX
    - Canceropole PACA
    - EMBL-EBI
    - Fondation ARC
    - GDR de Génomique Environnementale
    - Grand Luminy Technopôle
    - IPC
    -

    Site web des Journées JOBIM 2018
    JPEG - 13.8 ko

    Autre lien : Palais du Pharo (accès)

    Lieu : Palais du Pharo - 58 Boulevard Charles Livon
    13007 Marseille

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

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

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

    Du 5 juillet 14:30 au 6 juillet 12:00 - JOURNÉES

    Journées d’Analyse

    Résumé : JOURNÉES,
    -
    Une après-midi de 3 exposés suivi d’une matinée consacrée à la soutenance d’habilitation de Stéphane Charpentier.
    -
    Programme :
    -
    Jeudi 5 juillet :
    - 14h30-15h30 — Sophie GRIVAUX (Université de Lille)
    Coefficients de Fourier de mesures continues sur la suite de Furstenberg
    -
    - 16h-17h — Frédéric BAYART (Université Clermont Auvergne)
    Algèbres hypercycliques
    -
    - 17h15-18h15 — Gilles GODEFROY (Université Paris 6)
    Espaces Lipschitz-libres et Propriété d’Approximation
    -
    Vendredi 6 juillet :
    -
    - 10h30-12h — Stéphane CHARPENTIER (Aix-Marseille Université)
    Opérateurs de composition sur certains espaces de fonctions - Universalité en théorie des opérateurs (soutenance d’HDR)
    -
    Organisateurs :
    - Stéphane Charpentier (I2M, AGT, Marseille)
    - Rachid Zarouf (I2M, AGT, Marseille)
    -
    -

    Site web des journées
    JPEG - 27.4 ko

    Lien : Accès CMI

    Lieu : CMI, salle de séminaire R164 (1er étage) - I2M - Château-Gombert
    39 rue Frédéric Joliot-Curie
    13453 MARSEILLE cedex 13

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

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