Évènements
Rechercher un événement
05
Dec
Ergodic Theory and Möbius Disjointness (Morlet Chair Mariusz Lemanczyk)
Small group (CIRM, Luminy, Marseille)
CIRM - Jean-Morlet Chair Mariusz LEMANCZYK & Sebastien FERENCZI Ergodic Theory and its Connections with Arithmetic and Combinatorics Théorie ergodique et ses connexions avec l'arithmétique [...]
06
Dec
Scientific Collaboration "Conditional measures of determinant processes"
(...)
Conditional measures of determinant processes I2M Marseille & Frumam Technopôle Château-Gombert & Campus St-Charles
08
Dec
Lambda-théories probabilistes
Thomas Leventis (I2M, Aix-Marseille université)
Le lambda-calcul est un formalisation de la notion de calcul. Dans cette thèse nous nous intéresserons à certaines variantes non déterministes, et nous nous pencherons [...]
08
Dec
Règle de Descartes pour les systèmes polynomiaux de support un circuit
(...)
La règle de Descartes borne le nombre de racines positives d'un polynôme réel en une variable par le nombre de changements de signe consécutifs de [...]
The geometry of logic, algebra and computation
Antonino Salibra (DAIS, Universita' Ca'Foscari Venezia)
A l’occasion de la soutenance de thèse de Thomas Leventis l’après-midi; We present a research program relating Logic, Algebra and Computation through decomposition operators, Boolean [...]
