Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

16 février 2017: 4 événements

Séminaire

  • Agenda ERC IChaos

    Du 1er février au 31 mai - Stage à l'I2M (ERC IChaos) dans le cadre de sa thèse - Bourse HSE Moscou

    Dmitry ZUBOV

    Résumé : Les mesures finiment additives sur les foliations invariantes de diffeomorphismes hyperboliques"

    Lieu : Institut de Mathématiques - Marseille

    Exporter cet événement

En savoir plus : Agenda ERC IChaos

  • Agenda ERC IChaos

    Du 16 au 25 février - Pavel NIKITIN

    Participation at the thematic quarter (IHP)

    En savoir plus : Agenda ERC IChaos

  • Séminaire Logique et Interactions

    Jeudi 16 février 11:00-12:00 - Rodolphe LEPIGRE - LAMA, Université de Savoie

    Proofs of programs and subtyping in PML2

    Résumé : PML2 is an ML style programming language that has the peculiarity of embedding an equational theory over its own programs, into its type system. This enables the specification of program properties as types, and they are then proved by constructing (terminating) programs inhabiting these types. After introducing the concepts of PML2, its type system and its classical realisability model, I will discuss recent work on subtyping and the implementation of PML2.

    JPEG - 13.2 ko
    Rodolphe LEPIGRE

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud
    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

  • Séminaire Singularités

    Jeudi 16 février 14:00-15:00 - David TROTMAN - I2M, Aix-Marseille Université

    On the local geometry of definably stratified sets

    Résumé : With Guillaume Valette (IMPAN, Cracovie).
    We prove that a 1985 theorem of Pawlucki, showing that Whitney regularity for a subanalytic set S with a smooth singular locus of codimension one implies that S is a finite union of C1 manifolds with boundary, applies to definable sets in polynomially bounded o-minimal structures. We give a refined version of Pawlucki’s theorem for arbitrary o-minimal structures, replacing Whitney (b)-regularity by a quantified version, and prove related results concerning normal cones and continuity of the density. We analyse two counterexamples to the extension of Pawlucki’s theorem to definable subsets in general o-minimal structures, and to several other statements valid for subanalytic sets.
    In particular we give the first example of a Whitney (b)-regular definably stratified set for which the density is not continuous along a stratum.

    JPEG - 31.3 ko
    David TROTMAN

    Lieu : FRUMAM

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

    En savoir plus : Séminaire Singularités

  • 16 février 2017: 1 événement

    Manifestation scientifique