October 2023 - Mnshs.docs.paris

[Docs.paris] [Paris] Fwd: [gdr-im] [REMINDER] IRIF Distinguished Talks Series - Simon Peyton Jones and the Verse programming language

by Uli Fahrenberg

Bonjour, je pense que l'annonce ci-dessous peut intéresser du monde au labo, peut-être même quelques élèves, alors transmettez si besoin. Le bâtiment Sophie Germain est à 20 mn de KB, facile ! A+, Uli -------- Forwarded Message -------- Subject: [gdr-im] [REMINDER] IRIF Distinguished Talks Series - Simon Peyton Jones and the Verse programming language Date: Tue, 31 Oct 2023 10:38:44 +0100 From: Juliette Calvi <Juliette.Calvi(a)irif.fr> Reply-To: Juliette Calvi <Juliette.Calvi(a)irif.fr> CC: Adi Rosen <adiro(a)irif.fr> Dear all, This is a gentle reminder that on 8 November, Simon Peyton Jones <https://www.linkedin.com/in/simonpj/?originalSubdomain=uk>, Fellow of the Royal Society, will give us the honour of being the first speaker in the Distinguished Talks Series <https://www.irif.fr/seminaires/irif/index>. He will be talking about the Verse programming language (see below). *All members of your lab are welcome to join us for this talk*. Please forward this message to anyone who might be interested. A buffet lunch will be served after the talk. Simon Peyton Jones has given us an interview which serves as a prelude and gives an insight into Verse, the Metaverse and the topic of his talk. You can read it here <https://www.irif.fr/portraits/dts_simon_peyton_jones>. * Date:*8th of November *Time:*11am to 12:30pm (followed by a buffet lunch) *Location:* Amphi Turing, Université Paris Cité, Bâtiment Sophie Germain, 8 Place Aurélie Nemours, 750013 Paris *More informations about the Distinguished Talks Series:*https://www.irif.fr/seminaires/irif/index <https://www.irif.fr/seminaires/irif/index>*Title:*« Beyond functional programming: the Verse programming language » _ Abstract: _ Since joining Epic Games <https://www.epicgames.com/site/fr/home>in late 2021, I have been involved in the design and development of Verse, a new, declarative programming language that Epic plans to use as the language of themetaverse. Verse is extremely ambitious: we want it to allow millions of programmers who have never met towrite code that inter-operates to build a shared virtual 3D simulation in which billions of users can interact. My current focus is on formally specifying the technical heart of Verse. At its core, Verse is a functional logic language, up to now rather a niche subject. In the talk I will give you a sense of what a functional logic language is; I will describe the challenges with giving it a formal definition; and I will sketch our progress in addressing this challenge using denotational semantics, rewrite rules, and a reference interpreter. The talk will be recorded and later made available online, on the series webpage: https://www.irif.fr/en/seminaires/irif/index <https://www.irif.fr/en/seminaires/irif/index>. Please feel free to contact us for any further information. Sincerely, -- Juliette Calvi & Adi Rosén Chargée de communication IRIF UMR 8243 - CNRS / Université Paris Cité Bâtiment Sophie Germain 8 Place Aurélie Nemours 75205 Paris Cedex 13 Tél : 01 57 27 92 26 - bureau 4004 ______________________ Paris mailing list -- paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/paris.ml.lre.epita.fr// ______________________ Docs.paris mailing list -- docs.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.paris.ml.lre.epita.fr//

10 months, 1 week

1
0
0 0

[Docs.paris] [Paris] Fwd: Essai alarme incendie KB4

by Thierry Geraud

Pour info, c'est dans 1h. Envoyé à partir de Outlook pour Android<https://aka.ms/AAb9ysg> ________________________________ From: Demys Bruniaux <demys.bruniaux(a)epita.fr> Sent: Tuesday, October 24, 2023 2:00:14 PM To: Claire Lecocq <claire.lecocq(a)epita.fr>; Keltoume Tizzaoui <Keltoume.Tizzaoui(a)ionis-group.com>; gerard.cohana(a)ionis-group.com <gerard.cohana(a)ionis-group.com>; beatrice ferte-sapotille <beatrice.ferte-sapotille(a)epitech.eu>; celine1 baraban <celine1.baraban(a)epitech.eu>; Sandra Abou-nakad <sandra.abou-nakad(a)epita.fr>; Bastien Dupic <bastien1.dupic(a)epitech.eu>; nazima canda <nazima.canda(a)epita.fr>; Sarah Humbert <sarah.humbert(a)epitech.eu>; bashar dudin <bashar.dudin(a)epita.fr>; Anne Dewilde <anne.dewilde(a)epita.fr>; Sandra Chanceau <sandra.chanceau(a)epita.fr>; julie ounoughi <julie.ounoughi(a)epita.fr>; Thierry GERAUD <theo(a)lrde.epita.fr>; Alexandra Dorion <alexandra.dorion(a)epitech.eu> Cc: Fabrice Bardèche <fabrice.bardeche(a)ionis-group.com> Subject: Essai alarme incendie KB4 Bonjour à tous, Nous allons mettre en fonction l'alarme incendie du KB4 (bâtiment Paritalie) cet après-midi, avec le bureau de contrôle. Un essai de celle-ci va être fait vers 15h/15h30. Bien cordialement. Démys BRUNIAUX Directeur des Services Généraux IONIS EDUCATION GROUP Campus Kremlin-Bicêtre/Villejuif/Paris 11/Campus Cyber Standard : 01.44.08.01.72 Ce mail n’appelle pas de réponse de votre part en dehors de vos plages horaires de travail. ______________________ Paris mailing list -- paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/paris.ml.lre.epita.fr// ______________________ Docs.paris mailing list -- docs.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.paris.ml.lre.epita.fr//

10 months, 2 weeks

1
0
0 0

[Paris] À nous les deux ailes / on risque s'envoler...

by Thierry Geraud

Bonjour, L'information vient d'être validée... D'ici quelques semaines, la projection du LRE sur Paris va passer de fermée bornée à connexe par arcs. Nous allons occuper les deux ailes, Alizée (1) et Amont (2) du 3e étage de KB4, qui seront réunies (comme le sont les ailes Apprentissage et Direction Générale). Je vous propose un point d'information d'ici deux semaines. Pour rappel : nous avons bien en tête les requêtes qui nous ont été remontées ; nous affinerons dans les semaines à venir les détails d'implémentation / d'implantation 😉. Nous essaierons de faire au mieux pour tout le monde (donc chacun·e), même si toutes les demandes individuelles ne pourront peut-être pas toutes aboutir (3). Les responsables d'équipe se chargeront de collecter vos desiderata (Jonathan, je t'envoie des références...) Bonne journée, Théo 1. https://www.youtube.com/watch?v=QpbHdIrtpNo 2. https://www.youtube.com/watch?v=CyDTvQKUb8c 3. Perso je veux juste 2 m2 de plus pour un mini-jacuzzi 🤡... ______________________ Paris mailing list -- paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/paris.ml.lre.epita.fr//

10 months, 3 weeks

1
1
0 0

[Paris] Fwd: [DG][RECUEILLEMENT] Minute de silence

by Thierry Geraud

Au cas où... C'est dans quelques minutes Envoyé à partir de Outlook pour Android<https://aka.ms/AAb9ysg> ________________________________ From: Claire Lecocq <claire.lecocq(a)epita.fr> Sent: Monday, October 16, 2023 1:16:24 PM To: personnel-kremlin-bicetre(a)epita.fr <personnel-kremlin-bicetre(a)epita.fr> Subject: [DG][RECUEILLEMENT] Minute de silence Chers collègues, Une nouvelle fois, et près de 3 ans jour pour jour après l’assassinat de Samuel Paty, l’École est confrontée à un nouveau drame. Vendredi, 13 octobre 2023, à Arras, Dominique Bernard, professeur de lettres, a été assassiné et trois autres membres de la communauté éducative ont été blessés à Arras. Nous tenons tout d’abord, au nom de toute la communauté enseignante, à adresser toutes nos pensées et tout notre soutien aux familles et aux proches des victimes, et à la communauté éducative de la cité scolaire Gambetta-Carnot d’Arras. Nous vous proposons de nous rassembler et d’observer une minute de silence pour nous recueillir en mémoire de Dominique Bernard et de Samuel Patty. Pour le Kremlin-Bicêtre, nous nous rassemblerons pour 14h cours Pasteur. Je vous remercie d’être là quelques minutes avant. <https://news.epita.fr/#solidairement-claire-lecocq-1>Solidairement,-- Claire Lecocq DGA EPITA Directrice des sites de Paris ______________________ Paris mailing list -- paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/paris.ml.lre.epita.fr//

10 months, 3 weeks

1
0
0 0

[Paris] Remplacement TP THLR - mardi 12 à 11h, vendredi 15 à 14h

by Adrien Pommellet

Bonjour à tous, Ghiles étant absent mardi et Joseph vendredi, j'aurais rapidement besoin de remplaçants pour les TPs de THLR : - le mardi 12 de 11h à 13h ; - le vendredi 15 de 14h à 18h10 ; Le contenu est élémentaire : du Python, un peu de regexp (mardi) et de la déterminisation d'automates (vendredi). N'hésitez pas à vous manifester, l'organisation de cette semaine est franchement délicate. Merci d'avance, AP ______________________ Paris mailing list -- paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/paris.ml.lre.epita.fr//

10 months, 3 weeks

1
0
0 0

[Paris] Gâteaux chinois

by Daniela Becker

Il y a des desserts fraîchement arrivés de Chine de la part de Yongchao qui nous honore d’une visite surprise au LRE :) Ils sont à côté de la machine à café. ______________________ Paris mailing list -- paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/paris.ml.lre.epita.fr//

10 months, 3 weeks

1
0
0 0

[Paris] Fwd: Formations à venir

by Elodie Puybareau

Bonjour, J'ai entendu plusieurs fois la question : SST c'est la formation de secouriste du travail, c'est bien de la faire ça sauve des vies ;) -------- Courriel original -------- Objet: Formations à venir Date: 2023-10-04 11:52 De: anne-sophie poilleaux <anne-sophie.poilleaux(a)epita.fr> À: Bonjour à tous, Plusieurs formations de groupe sont organisées dans les semaines à venir et il reste quelques places : * Pour les nouveaux qui auraient eu une formation SST il y a moins de deux ans et qui ont besoin d’un recyclage, il y a deux formations de recyclage sur le site du KB avec deux places dans chaque les 16 et 30 novembre. * Formation SST sur le site du KB les 6 et 7 novembre (c’est sur deux jours !) il reste 4 places * Formation Excel intermédiaire sur le site du KB le 23/10 : 7 places * Formation Excel maitrise sur le site du KB le 6/11 : 6 places Si vous êtes intéressé par l’une de ces formation, merci de me le dire par retour de mail. Il faut impérativement être disponible sur les dates indiquées et avoir validé votre absence avec votre manager. Pas d’autres sessions de formation ne sont prévues pour le moment sur ces thèmes, nous verrons lors du plan de développement des compétences 2024. Vous trouverez le programme des formations excel en PJ. J’inscrirai les personnes par ordre de réponse. Bonne journée ! Cordialement, Anne-Sophie Poilleaux Responsable RH Nouveau numéro : 01 87 07 16 68 -- Elodie Puybareau Enseignante Chercheure // Assistant Professor LRE, EPITA 24, rue Pasteur 94270 Le Kremlin-Bicêtre ______________________ Paris mailing list -- paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/paris.ml.lre.epita.fr//

10 months, 3 weeks

1
0
0 0

[Paris] You have been unsubscribed from the Permanents mailing list

by permanents-bounces＠ml.lre.epita.fr

______________________ Paris mailing list -- paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/paris.ml.lre.epita.fr//

10 months, 3 weeks

1
0
0 0

2024

2023

Mnshs.docs.paris October 2023 ----- 2024 ----- September 2024 August 2024 July 2024 June 2024 May 2024 April 2024 March 2024 February 2024 January 2024 ----- 2023 ----- December 2023 November 2023 October 2023 September 2023 August 2023 July 2023

Mnshs.docs.paris October 2023