Évènements
Rechercher un événement
01
Apr
Lambda Fleming-Viot processes arising in Bienaymé-Galton-Watson processes with logistic competition
Raphaël FORIEN (Inrae)
Lambda Fleming-Viot processes and Lambda coalescents were introduced in the early 2000's as a generalisation of the Fleming-Viot process and the Kingman coalescent, respectively. Such [...]
01
Apr
Étude statistique du facteur premier médian des entiers : lois locales, valeur moyenne, loi de répartition
Jonathan Rotgé (AMU)
Dans un travail récent, McNew, Pollack et Singha Roy publient plusieurs résultats relatifs à la distribution du facteur premier médian des entiers lorsque ce dernier [...]
01
Apr
Combinatorial proofs for classical and intuitionistic logic [Lirica]
Lutz Straßburger (LIX, INRIA Saclay)
(Séminaire de l’équipe Lirica au LIS) Combinatorial proofs, or “proofs without syntax”, form a graphical semantics of proof in various logics that is canonical yet [...]
