December 2016 - Gdtlogprog

Jeudi 15/12/2016, 10h30, B107 : comonades
by Damiano Mazza 15 Dec '16

15 Dec '16

Bonjour, Un petit mail de rappel concernant le groupe de travail autour des comonades annoncé il y a 2 semaines. Ce sera *jeudi* (attention au jour inhabituel !) 15 décembre 2017, à 10h30 en salle B107. Amicalement, Damiano

1 1

Fwd: Celebrating Dale's 60th birthday on December 15-16
by Damiano Mazza 11 Dec '16

11 Dec '16

Bonjour, Je vous fais suivre un message de David Baelde annonçant une rencontre à l'honneur de Dale Miller, pour son 60e anniversaire. C'est la semaine prochaine, jeudi et vendredi, à l'IRIF. Nous aurons notre gdt les deux jours mais qui voudra pourra y aller l'après-midi (ou zaper le gdt et il aller toute la journée, bien entendu). Amicalement, Damiano -------- Forwarded Message -------- Subject: Celebrating Dale's 60th birthday on December 15-16 Date: Fri, 2 Dec 2016 11:25:40 +0100 From: David Baelde <david.baelde(a)gmail.com> To: Christine Paulin <christine.paulin(a)lri.fr>, Francois Pottier <francois.pottier(a)inria.fr>, didier.remy(a)inria.fr, Benjamin Werner <werner(a)lix.polytechnique.fr>, Olivier Laurent <olivier.laurent(a)ens-lyon.fr>, Damiano Mazza <damiano.mazza(a)lipn.univ-paris13.fr> CC: Gopalan Nadathur <gopalan.nadathur(a)gmail.com>, Amy Felty <amy.p.felty(a)gmail.com>, Alexis Saurin <alexis.saurin(a)gmail.com>, Vivek Nigam <vivek.nigam(a)gmail.com> Bonjour, Je ne sais pas si vous en avez déja eu vent, mais nous organisons un évènement surprise en l'honneur des soixante ans de Dale. Concrètement, il s'agit d'un séminaire de deux jours (les 15 et 16 décembre) avec un dîner entre deux. Toutes les infos, notamment les exposés, sont là: http://lsv.fr/~baelde/kHGIzMvsFFgC2/ Je suis conscient que l'information arrive tardivement mais j'espère que vous pourrez vous joindre à nous. Si vous jugez ça pertinent, n'hésitez pas à faire circuler l'information autour de vous, *en prenant garde à ce que cela reste un secret pour Dale*. Merci, -- David

1 0

pointer laser
by domenico.ruoppolo＠lipn.univ-paris13.fr 10 Dec '16

10 Dec '16

Bonjour l'équipe, y-aurait-il parmi vous une âme gentille avec un telecommande/pointer laser (ou même juste un simple pointer laser, mieux que rien)? J'en ai besoin mardi prochain (13 décembre), juste en début d'après-midi pour ma soutenance de thèse. Je le demande à vous avant d'embêter tout le labo. Merci en tout cas, bon week-end, Domenico

2 1

Vendredi 16/12/2016, 10h30, B107 : condition locales pour l'unitairité
by Damiano Mazza 09 Dec '16

09 Dec '16

Re-bonjour, Le prchain gdt dans le créneau habituel aura lieu vendredi 16 décembre 2016, à 10h30 en salle B107, et sera animé par Stefano qui, dans le contexte de son travail sur la calculabilité quantique, nous fera sa preuve de caractérisation de la condition d'opérateur unitaire par des conditions locales. Amicalement, Damiano

1 0

09/12/2016 (demain), 10h30 : gdt informel
by Damiano Mazza 09 Dec '16

09 Dec '16

Bonjour, Demain matin, à 10h30 en B107, on se retrouve pour une discussion informelle autour de : - détails concernant les travaux de Stefano sur la calculabilité quantique ; - petite présentation informelle sur mes travaux en cours avec Luc et Pierre sur les types intersection. À demain, Damiano

1 1

Soutenance de mi-parcours
by Alice Pavaux 02 Dec '16

02 Dec '16

Bonjour, Je vous rappelle que lundi (5 décembre) à 11h aura lieu ma soutenance de mi-parcours de thèse, au cours de laquelle je présenterai mes travaux. Si ça vous intéresse, ça se passera en salle B107, et concernant le titre disons que c'est : Une étude Ludique du typage : données, fonctions, (non-)linéarité Bon week-end, Alice

1 0