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

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