- Gdtlogprog - Listes du LIPN

Vendredi 27/01/2017, 11h, B107 : Borne inf PARITY
by Damiano Mazza 27 Jan '17

27 Jan '17

Bonjour, Finalement avec Flavien on a décidé de nous lancer sans hésitations dans les circuits booléens, donc *demain*, vendredi 27 janvier 2017, à 11h en B107, on fera une petite séance de groupe de travail concernant la borne inf sur PARITY, un résultat classique de complexité, prouvé dans les années 80 indépendemment par Ajtai et Furst-Saxe-Sipser, qui était, avant le résultat de Williams de 2010, à peu près la seule séparation non-triviale de classe de circuits connue. Le gdt ne sera pas long : on n'a pas grande chose à raconter, je connais l'idée de la preuve mais je ne comprends pas les détails techniques, c'est un peu pour ça que j'ai lancé l'idée de ce groupe de lecture/trvail. À demain, Damiano

2 3

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

Ce vendredi, 18 novembre à 10h30 : autours des comonades
by Damiano Mazza 18 Nov '16

18 Nov '16

Bonjour, On organise un petit groupe de travail/discussion autour des comonades, ou quelques uns de nous (par exemple Flavien et moi) raconterons ce qu'ils savent sur et ce qu'ils ont fait avec les comonades. Ça se passera ce vendredi, 18 novembre (après-demain !), à partir de 10h30 en salle B107. Je profite de ce message pour vous annoncer rapidement les prochaines séances du séminaire : jeudi 24/11 : demi-journée LCR "inter-axes", Flaivien et Tayssir nous parlerons de travaux autour de la réécriture ; vendredi 25/11 : Thomas Rubiano nous racontera ce qu'il a fait jusqu'ici. Amicalement, Damiano

6 11

Vendredi 13/09/2016 (demain !), à 10h30 en B107 : Luc Pellissier
by Damiano Mazza 22 Sep '16

22 Sep '16

Bonjour, Comme promis, Luc fera la suite de son exposé sur les algèbres implicatives demain matin. Cela se passera en B107, à partir de 10h30. Voilà ce que dit Luc : "C’est la suite, donc, on parlera de passoires https://www.youtube.com/watch?v=TMt6TDQe4nQ" Amicalement, Damiano

1 0

Ce vendredi, 09/09/2016, à 10h30 en B107 : Luc Pellissier
by Damiano Mazza 05 Sep '16

05 Sep '16

Bonjour, Et bonne rentrée à toutes et tous. Le gdt d'équipe reprend avec un exposé (ou une série d'exposés, cela dépend de l'intérêt du public) autour des "algèbres implicatives", une notion que Luc a appris cet été à l'école de réalisabilité à Montevideo : ________________________________________________________________________ Les algèbres implicatives, d'après A. Miquel Les structures implicatives sont des structures algèbriques extrèmement simples généralisant à la fois les modèles dénotationnels du λ-calcul et les algèbres de Heyting. Elles permettent donc d'interpréter à la fois les termes et les types, qui se retrouvent ainsi identifiés. Les structures implicatives sont donc une fondation naturelle pour le forcing (où l'on interprète les formules dans des algèbres de Boole – dans le cas classique – ou de Heyting – dans le cas intuitionniste) et la réalisabilité (où l'on interprète les formules par des ensembles de λ-termes). On verra qu'en effet, une structure implicative munie d'un quotient adéquat engendre un tripos, c'est-à-dire un modèle de la logique intitutionniste d'ordre supérieure (imprédicative). ________________________________________________________________________ Si (comme probable) Luc n'arrivera pas à tout exposer en 1h30 et s'il y a suffisamment de gens intéressées, on fera la suite vendredi 23 (vendredi 16 la B107 est occupée par autre chose). Amicalement, Damiano

1 0