Évènements
Rechercher un événement
21
May
Automated construction of Boolean models using knowledge graphs
Nina Alger (I2M)
Abstract : Boolean modeling has emerged as a powerful qualitative formalism to study the dynamics of gene regulatory networks, and in particular in cancer. A Boolean [...]
21
May
Minimum and Maximum lambda-Terms
Adrienne Lancelot (Università di Bologna)
The study of program preorders leads to more structure than that of program equivalences. Is it actually interesting in the case of the uneffectful lambda-calculus? [...]
21
May
Une nouvelle approche de l'enlacement d'arrangements de droites.
Benoit Guerville-Balle (Université de Sassari)
Durant ma thèse, j'ai définit avec Artal et Florens, un invariant d'enlacement des arrangements de droites dans le plan projectif complexe. Cet invariant est une [...]
