- Gdtlogprog - Listes du LIPN

10/06/2016, 11h, B107 : Naïm El Ouraoui
by Damiano Mazza 08 Jun '16

08 Jun '16

Bonjour, Ce vendredi, 10 juin 2016 (après-demain), à 11h en salle B107, nous aurons un groupe de travail animé par Naïm El Ouraoui (stagiaire M1 qui travaille avec Micaela et moi). Naïm nous racontera son travail en cours sur la formalisation en Coq de la preuve de préservation de la normalisation forte du calcul avec subtitutions explicites linéaires (originalement introduit par Robin Milner et revu par Beniamino Accattoli et Delia Kesner). Amicalement, Damiano

1 0

Vendredi 27 mai, 11h (demain)
by Damiano Mazza 26 May '16

26 May '16

Bonjour, Demain on terminera le cycle de séances "injectivité de Rel". Pierre et moi normalement avons fini de reconstruire la preuve et on pourra donc tenter de la présenter au tableau. À demain ! Damiano

2 2

Vendredi 20 mai (demain), 11h
by Damiano Mazza 19 May '16

19 May '16

Bonjour, Faute de mieux, le gdt se réunira demain avec une deuxième séance de travail sur la preuve de D. de Carvalho de l'injectivité de Rel. À 11h en B107, si cela vous intéresse ! Amicalement, Damiano

1 0

Séance d'aujourd'hui
by Damiano Mazza 29 Apr '16

29 Apr '16

Bonjour, Une séance du gdt était prévue pour aujourd'hui, ça fait une dizaine de jours que je l'ai notée sur la page des séminaires d'équipe mais j'ai oublié d'envoyer un mail, c'est peut-être pour cela qu'il n'y a que Pierre et moi ce matin ! Ce n'est pas grave, on va annuler la séance (qui était juste pour vous raconter des curiosités, rien d'important) et avec Pierre on va transformer le gdt en "rélecture du papier de Daniel de Carvalho sur l'injectivité de Rel". Si jamais vous arrivez au labo ce matin et que cela vous intéresse, passez dans notre bureau ! Amicalement, Damiano

1 0

Prochaines séances
by Damiano Mazza 17 Feb '16

17 Feb '16

Bonjour, Une séance du GdT Logique et programmation est prévue pour ce vendredi, 19 février 2016, à 11h. Elle sera animée par Luc, qui nous présentera un algorithme pour décider si un point est dans la sémantique relationnelle d'un réseau, sous condition que ce réseau soit "connexe" dans un sens approprié. Attention : ni Domeniconi moi pourrons être présents à cette séance. Pour cette raison, il faudra que quelqu'un de vous se charge d'ouvrir la salle B 107. Les clés sont dans le tiroir de mon bureau. S'il vous plaît remettez-les à leur place après les avoir utilisées ! Je profite pour vous annoncer les prochaines séances du séminaire/gdt : 26/02 : réunion (mail de Stefano à venir) + exposé libre 04/03 : Yoann Marquer (post-doc IRIF/LIAFA) 18/03 : Giulio Guerrieri (post-doc IRIF/PPS) Amicalement, Damiano

1 0

Prochaines séances
by Damiano Mazza 18 Nov '15

18 Nov '15

Bonjour, Juste un petit mail pour vous annoncer les prochaines séances du gdt/séminaire : 20/11 (ce vendredi) : Andrew Polonsky (PPS), nous parlera d'un problème de combinateurs de point fixe en lambda-calcul pur ; 27/11 : Fabio Zanasi (Nimègue) : nous parlera de son travail de thèse sur les algèbre de Hopf d'interaction. À bienôt, Damiano

1 0

Vendredi 13, 11h
by Damiano Mazza 13 Nov '15

13 Nov '15

Bonjour, Pour la prochaine réunion/gdt d'équipe (qui aura lieu demain matin, ou en fait ce matin, vu qu'il est déjà passé minuit...) sera animée par moi-même. Je raconterai des histoires de circuits Booléens et compagnie. La prochaine séance (20 novembre) on aura peut-être Alice qui nous parlera de son travail de thèse. Le 26 novembre on aura un séminaire (Fabio Zanasi). Amicalement, Damiano

1 0

Pas de gdt demain (soutenance de Flavien)
by Damiano Mazza 22 Oct '15

22 Oct '15

Bonjour, Juste un message rapide pour vous dire qu'il n'y aura pas de séance de gdt/séminaire LCR demain, car un bon nombre d'entre nous ira à la soutenance de Flavien Breuvart à PPS (qui commence à 9h45). Amicalement, Damiano

1 0

Fwd: Fédérer la Logique sur la Région Parisienne; 26 septembre
by Luc Pellissier 28 Jul '15

28 Jul '15

Bonjour, je me permets de faire suivre cette annonce. Pour information, je serai sûrement présent ladite journée. À bientôt, — Luc > Fédérer la Logique sur la Région Parisienne > > Depuis un certain moment nous nous sommes retrouvé à discuter avec plusieurs collègues du projet de constitution d’une sorte de une fédération des logiciens parisiens. > Ce qui nous semble très utile serait notamment la constitution d’un espace d’interaction commun entre les différentes équipes de logique parisiennes ou les logiciens gravitant sur Paris. > C’est pou lancer une discussion la plus large et ouverte possible sur ce thème qu’on a pris l’initiative de convoquer une journée d’étude et réflexion pour > > Samedi 26 septembre > à l’amphi Turgot de la Sorbonne > (17, Rue de la Sorbonne, 75005 Paris) > de 9h30 à 18h00 > > Programme > 9h30 - 10h00 Bienvenue aux participants et introduction à la journée > 10 - 11h15 Jouko Väänänen (Helsinki), On Logic without borders > 11h30 - 12h45 Gilles Dowek (Paris), La déraisonnable efficacité de la logique en informatique > Pause déjeuner > 15h00 - 16h15 Boris Zilber (Oxford), On Syntax-Semantic Dualities in Logic, Geometry, and Physics > 16h30 - 17H45 Volker Halbach (Oxford), The predicate approach to modality and possible worlds > > 17h45 - 19h00 > Discussion à propos du projet de constitution d’une fédération de logique sur la région parisienne. > Alberto Naibo > Marco Panza > Boban Velickovic

1 0

24/07/2015, 11h, B107 : Antoine Kaszczyc
by Damiano Mazza 14 Jul '15

14 Jul '15

Bonjour, Vendredi prochain, le 24/07/2015, nous aurons une petite séance du gdt Log&Prog avant la pause estivale. Elle sera animée par notre futur thésard Antoine Kaszczic et portera sur son travail de stage avec Pierre et Luc : Monetary Economics Simulation: Stock-Flow Consistent Invariance, Monadic Style Venez nombreux ! Amicalement, Damiano

2 2