Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

3 juin 2019: 1 événement

Séminaire

  • Séminaire Mathématiques et Algorithmique pour la Biologie des Systèmes (MABioS)

    Lundi 3 juin 11:00-12:00 - Charles GRELLOIS - LIS, Aix-Marseille Université

    Verification of (probabilistic) functional programs

    Résumé : There are several paradigms for programming languages, among which functional programming, which allows functions to take other functions as input. For instance, given a function f : Nat —> Nat mapping an integer to an integer, and given a list of integers L = [i1,i2,...], we can define in functional programming the function map which maps the tuple (f,L) to the integer list [f(i1),f(i2),...]. This function map takes the function f as input.
    Our purpose is to verify properties of such programs. As we will see, it is a challenging task, because the potential executions of these programs can not be conveniently represented as finite graphs. They are rather described by higher-order recursion schemes, which give a way to generate an infinite tree representing the behaviour of the program. Then, we want to verify properties (from monadic second order logic, which contains the usual temporal logics LTL and CTL) over this infinite tree of behaviours. We will see that this is decidable, thanks to a variety of tools among which type theory.
    We will then see a few ways to describe and analyze probabilistic functional programs, and notably to address the probabilistic termination problem : how likely is it that a given program will terminate ?

    JPEG - 8.9 ko
    Charles GRELLOIS

    Lieu : Amphithéâtre Herbrand - I2M Sud, 1st floor 128-130 - 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 Mathématiques et Algorithmique pour la Biologie des Systèmes (MABioS)

3 juin 2019: 1 événement

groupe de travail

  • Agenda ERC IChaos

    Du 23 mai au 9 juin - Alexander BUFETOV

    Workshop in Dynamical Systems & differents scientific collaborations

    Résumé : Workshop at Institute Mittag-Leffler (Stockholm)
    + scientific collaboration with M.Saprykina at KTH Stockholm
    + scientific collaboration with Prof. Yakov Sinai at the University of Copenhagen

    Lieu : Sweden & Denmark

    Exporter cet événement

En savoir plus : Agenda ERC IChaos

3 juin 2019: 1 événement

  • Agenda des instances I2M

    Lundi 3 juin 10:00-12:00 -

    Commission Travaux-Déménagement

    Résumé : Locaux St Charles

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

    Exporter cet événement

En savoir plus : Agenda des instances I2M

3 juin 2019: 3 événements

Manifestation scientifique

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

    Du 3 au 6 juin - WORKSHOP

    Lipschitz Geometry of Singularities (LISA 2019)

    Résumé : WORKSHOP
    -
    Dans le cadre de l’ANR LISA.
    -
    Orateurs :
    - André Belotto da Silva
    - Lorenzo Fantini
    - Alexandre Fernandes
    - Javier Fernandez de Bobadilla
    - Sonja Lea Heinze
    - Françoise Michel
    - Hussein Mourtada
    - Renato Oliveira Targino
    - Adam Parusinski
    - Maria Pe Pereira
    - Jose Edson Sampaio
    - David Trotman
    -


    Site web du workshop

    -
    Autre lien : FRUMAM

    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 : Manifestations scientifiques (colloques, écoles,...)

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

    Du 3 au 7 juin - WORKSHOP

    Workshop on Nash Blow-up and Semple Tower II

    Résumé : WORKSHOP,
    -
    The goal of the Workshop is to bring together mathematicians from Complex Geometry and from Singularities working with different declinations of Nash Blow-Ups and the Semple Tower. They shall exchange their viewpoint and explain in an introductory way how to use these objects in their respective fields. Our aim is to encourage interactions.
    A first edition of the Workshop was held in Marseille in February 2018 (https://nash-semple.sciencesconf.org/). In 2019, we will organize the second edition of the workshop in Leuven.
    Three specialists will give series of short courses. Regarding our goals, we stress the importance of making accessible talks. They will give three lectures of 50 minutes. The first two shall be introductive, and the last one could be a panorama of possible applications without too complicated proofs. Besides, there will be around 8 talks by participants on some preparatory material, or some practical applications/exercise sessions around the concepts that have been introduced.
    -
    Speakers :
    - Susan Colley & Gary Kennedy
    "Aspects of the Semple/Monster Tower : Geometric, Combinatorial, Mechanical, and Enumerative"
    - Roi Docampo
    "Jet schemes and Nash–Semple modifications"
    - Erwan Rousseau
    "Generalized Demailly–Semple jet bundles"
    -
    Organizers :
    - Lionel Darondeau (Montpellier)
    - Pedro Daniel González Pérez (Madrid)
    - Camille Plénat (I2M, Marseille)
    - Fabien Priziac (I2M, Marseille)
    - Wim Veys (Leuven)
    - Lena Vos (Leuven)
    -
    Sponsors :
    - GDR Singularités et applications
    - GDR Géométrie Algébrique - Géométrie Complexe
    - Ku Leuven
    - Institut de Mathématiques de Marseille (I2M)
    - Institut Universitaire de France (IUT)
    -

    Site web du colloque
    JPEG - 19 ko

    Lieu : KU Leuven - Oude Markt 13
    3000 Leuven
    Belgique

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

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

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

    Du 3 au 7 juin - INTERNATIONAL CONFERENCE

    Crowds : Models and Control

    Résumé : COLLOQUE,
    in the framework of ANR CroCo
    -
    Problems of control of crowds can be stated in different mathematical frameworks, depending on the model used to describe the crowd dynamics. We address it in three different mathematical frameworks : microscopic models (sizable finite-dimensional dynamical systems), macroscopic models (transport partial differential equations), and multi-scale models (measure evolutions).
    -
    -
    Organizers :
    - Alessandro Giua (University of Cagliari)
    - Morgan Morancey (I2M, Aix-Marseille Université)
    - Benedetto Piccoli (Rutgers University-Camden)
    - Francesco Rossi (University of Padova)
    - Marie-Thérèse Wolfram (University of Warwick)
    -
    Sponsors :
    - Aix-Marseille Université (AMU)
    - Agence Nationale de la Recherche (ANR)
    - Centre International de Rencontres Mathématiques (CIRM)
    - Centre National de la Recherche Scientifique (CNRS)
    - Fondazione Cariparo
    - INRIA
    - Institut de Mathématiques de Marseille (I2M)
    - LabEx Archimède
    -

    Website
    JPEG - 43.5 ko

    Autre lien : CIRM

    Lieu : CIRM - 163 avenue de Luminy
    Case 916
    13288 MARSEILLE - Cedex 9
    France

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

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