## Institut de Recherche en Informatique Fondamentale
## Upcoming seminarsVendredi 28 octobre 2016 · 10h30 · Salle 3052, Bâtiment Sophie Germain (SEE NOTE IN THE ABSTRACT)
Séminaire de l'IRIF · Yuri Gurevich (Microsoft Research) · In software industry, engineers do formal logic day in and day out, even though they may not realize that. As a rule, they have not studied logic. Instead, they spent a lot of time studying calculus which they use rarely, if ever. I'll try to illustrate why logic is so relevant and why it is hard for software engineers to pick it up.
IMPORTANT NOTE: For administrative reasons, those from outside of IRIF who wish to attend the seminar in “Salle 3052” should email by Wednesday 26/10 their name to Irène Guessarian at ig@liafa.univ-paris-diderot.fr . Vendredi 28 octobre 2016 · 14h30 · Salle 1006 Automates · Vincent Jugé (LSV, ENS de Cachan) · Is the right relaxation normal form for braids automatic? Representations of braids as isotopy classes of laminations of
punctured disks are related with a family of normal forms, which we
call relaxation normal forms. Roughly speaking, every braid is
identified with a picture on a punctured disk, and reducing
step-by-step the complexity of this picture amounts to choosing a
relaxation normal form of the braid.
We will study the right relaxation normal form, which belongs to this family of normal forms. We will show that it is regular, and that it is synchronously bi-automatic if and only if the braid group has 3 punctures or less. Vendredi 28 octobre 2016 · 14h00 · Salle 1007 Catégories supérieures, polygraphes et homotopie · Maxime Lucas (IRIF) · Inversibilité dans les omega-catégories cubiques Mercredi 02 novembre 2016 · 11h00 · Salle 1007 Combinatoire énumérative et analytique · Dan Betea (IRIF (postdoc projet Emergences)) · RSK geometrique Jeudi 03 novembre 2016 · 10h30 · Salle 3052 Preuves, programmes et systèmes · Thibaut Balabonski (LRI, Université Paris Sud) · Optimisation de programmes C11 concurrents
## EventsVendredi 4 novembre 2016 · Salle 3052 Mercredi 9 novembre 2016 · Bâtiment Sophie Germain Lundi 28 - Mardi 29 novembre 2016 · Amphi Turing / Salle des thèses Journées Nationales Géocal-LAC 2016 Dimanche 15 - Vendredi 20 Janvier 2017 · Jussieu |
## Affiliation## Departments## Partners |