Février 2018


Retour à la vue des calendrier
Vendredi 2 Février
Heure: 11:00 - 12:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Probabilistic Rewriting
Description: Claudia Faggian We investigate how techniques from Rewrite Theory can help us to study calculi whose evaluation is both probabilistic and non-deterministic (think untyped probabilistic lambda-calculus, in which non-determinism arises from choosing between
different redexes). We are interested in relations between week and strong normalization, and whatever the result is unique. In particular, we characterize the properties “non-determinism is irrelevant” and “strategy A is always better than strategy B”.

As an application, it turns out that probabilistic lambda-calculus equipped
with weak call-by-value reduction has striking properties.
Vendredi 16 Février
Heure: 11:00 - 12:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Des Preuves Syntactiques aux Preuves Combinatoires
Description: Matteo Acclavio Dans cet exposé nous allons étudier les preuves combinatoires de Hughes comme notion de identité de preuve pour la logique classique.
Nous montrons comment divers formalismes, notamment le caclulus des sequents, les tableaux analytiques et la résolution, peuvent être traduits en preuves combinatoires, et quelle notion d'identité ils appliquent.
(Joint work with Lutz Strassburger)
Mardi 20 Février
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Disques browniens
Description: Jérémie Bettinelli À l'instar du mouvement brownien qui apparaît comme limite d'échelle universelle de toute marche aléatoire raisonable, les disques browniens sont des espace métrique aléatoires qui apparaissent comme limite d'échelle universelle de modèles raisonables de cartes
aléatoire du disque. Ces objets généralisent la carte brownienne de Miermont et Le Gall obtenue en considérent des cartes aléatoire de la sphère.

Nous présenterons les disques browniens et en donneront quelques propriétés remarquables. Ce travail est en commun avec Grégory Miermont.