Évènements
Rechercher un événement
11
Oct
AMUSEC 2018 (Aix-Marseille Forum on Cybersecurity - 3rd edition)
Forum (Polytech, Luminy, Marseille)
FORUM AMUSEC 2018, l'événement Aix-Marseille du mois européen de la cybersécurité (3ème édition) A l'initiative de l'équipe AGLR- ATI de l'I2M, la 3ème édition 2018 [...]
03
Oct
Research in Pairs with Boris SOLOMYAK
(...)
+ Punctual Participation : Pascal HUBERT/ Pierre LAZAG/ Juan MARSHALL/ Adrien BOULANGERTitre : Spectral properties of parabolic flowsThis working group will continue work on spectral [...]
11
Oct
Entrelacs non archimédiens des singularités I
(...)
J’introduirai une version non archimédienne de l’entrelacs d’une singularité.Celle-ci sera un proche parent d’un espace analytique non-archimedien (à la Berkovich) sur un corps trivialement valué.Après [...]
11
Oct
Sémantique dénotationnelle de la logique linéaire avec plus petits et plus grands points fixes de types
Thomas Ehrhard (IRIF, Université de Paris)
On montrera comment interpréter μLL - la logique linéaire propositionnelle avec plus petits (μ) et plus grands (ν) points fixes de types - dans les [...]
