October 2023 - Mnshs.postdocs.paris

[Postdocs.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// ______________________ Postdocs.paris mailing list -- postdocs.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.paris.ml.lre.epita.fr//

10 months, 3 weeks

1
0
0 0

[Postdocs.paris] [Postdocs] [Current] Reminder (séminaire axe ML)

by Idir Benouaret

Bonjour, Pour rappel, aujourd'hui à 17h aura lieu le séminaire de l'axe ML donné par Behrooz Omidvar-Tehrani, qui est chercheur à Amazon AI labs. À tout à l'heure. Idir [Une image contenant texte, clipart, signe Description générée automatiquement] Idir Benouaret Enseignant-Chercheur [https://lh6.googleusercontent.com/dCYVl9pmYNgg1wBndkYtELRR9DX8RRY5d_e4N2Xhk…] [https://lh4.googleusercontent.com/O8lm18dZZ188g_iBNOmO2UX8qPx8zNmCfFbItUDzk…] [https://lh4.googleusercontent.com/iJejRKKnVTGA2lyz-eMOKQvI9vVP-ftzUIqzCoeoR…] [https://lh6.googleusercontent.com/J3eMugeLIjhhZigE4aw44kR3o5SCCOf3J7YJfPDTC…] [https://lh3.googleusercontent.com/2nPXgKhjFiG8S9uTa2TTXP1-CcUjZnjdJ5CVAd3_f…] [Une image contenant texte, clipart Description générée automatiquement] +33 4 28 29 37 63 [https://lh6.googleusercontent.com/hGLtorzP2LwpWN7a7qPxHUf-Ufq7UmoJXpduyzZWG…] ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Postdocs mailing list -- postdocs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.ml.lre.epita.fr// ______________________ Postdocs.paris mailing list -- postdocs.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.paris.ml.lre.epita.fr//

10 months, 3 weeks

1
0
0 0

[Postdocs.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// ______________________ Postdocs.paris mailing list -- postdocs.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.paris.ml.lre.epita.fr//

10 months, 4 weeks

1
0
0 0

[Postdocs.paris] [Postdocs] [Current] Newsletter de rentrée du LRE

by Elodie Puybareau

Bonjour, L'automne semble être finalement arrivé, c'est l'heure de la Newsletter de rentrée ! Qui dit Newsletter spéciale, dit format spéciale ! Je vous invite à la consulter en ligne, car elle est publiée publiquement sur notre site internet ! C'est par ici<https://www.lre.epita.fr/news_content/Newsletter_de_rentree.pdf> pour la découvrir ! Au programme : le mot de rentrée, quelques évènements à venir, un coin pédago et dates prévisionnelles, un récap des points forts de la Newsletter et la répartition des équipes sur les campus ! Bonne lecture ! ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Postdocs mailing list -- postdocs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.ml.lre.epita.fr// ______________________ Postdocs.paris mailing list -- postdocs.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.paris.ml.lre.epita.fr//

11 months

1
0
0 0

[Postdocs.paris] [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// ______________________ Postdocs.paris mailing list -- postdocs.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.paris.ml.lre.epita.fr//

11 months

1
0
0 0

[Postdocs.paris] [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// ______________________ Postdocs.paris mailing list -- postdocs.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.paris.ml.lre.epita.fr//

11 months

1
0
0 0

[Postdocs.paris] [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// ______________________ Postdocs.paris mailing list -- postdocs.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.paris.ml.lre.epita.fr//

11 months

1
0
0 0

[Postdocs.paris] [Permanents] [Current] opportunité

by Thierry Geraud

Bonjour, Cf. https://campuscyber.fr/le-campus-cyber-organise-en-partenariat-avec-la-dgse… un hackthon où des gens du labo pourrait participer... Théo ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Permanents mailing list -- permanents(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/permanents.ml.lre.epita.fr// ______________________ Postdocs.paris mailing list -- postdocs.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.paris.ml.lre.epita.fr//

11 months

1
0
0 0

[Postdocs.paris] [Postdocs] [Current] Nettoyage sols LRE demain jeudi 3 août 2023

by Daniela Becker

Bonjour à toutes et tous, Pour info : Le service de logistique a décidé aujourd’hui de procéder à un grand nettoyage des sols de l’entrée, de la salle de réunion, du couloir du LRE (lino) et des bureaux L0 à L7 (moquette) DEMAIN JEUDI 3 AOUT toute la journée ! On nous a prévenu tout à l’heure. Cela signifie que personne ne doit venir dans ces locaux demain, même pas pour venir faire un café ou un thé ! Les personnes concernées sont donc censées rester en télétravail demain. La salle de l’équipe Automates de l’autre côté du 3e étage n’est pas concernée par cette mesure. Si vous voulez pouvoir prendre des cafés/thés demain, il faudra déménager la machine à café/bouilloire chez les « Automateux » ce soir. L’équipe logistique m’a confirmé que les ordinateurs au sol des bureaux L0 à L7 ne seront pas déplacés, ni débranchés. La shampouineuse fera le tour… Donc pour celles et ceux qui sont présents aujourd’hui et qui préfèrent éteindre et mettre en hauteur leurs machines, il faudra s’en occuper avant ce soir. Daniela ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Postdocs mailing list -- postdocs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.ml.lre.epita.fr// ______________________ Postdocs.paris mailing list -- postdocs.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.paris.ml.lre.epita.fr//

11 months

1
0
0 0

[Postdocs.paris] [Postdocs] [Current] INTERVENTION SALLE SERVEUR

by Vincent Gouaze

Bonjour, La logistique doit effectuer des travaux électriques impérativement avant la rentrée qui nécessitent la coupure de l'alimentation de la salle serveur. Tous les services hébergés seront impactés. Tout sera de nouveau disponible au matin. Je couperai les serveurs à partir de 18h30 afin de ne pas impacter trop votre travail ni l'intervention. Cordialement, Vincent ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Postdocs mailing list -- postdocs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.ml.lre.epita.fr// ______________________ Postdocs.paris mailing list -- postdocs.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.paris.ml.lre.epita.fr//

11 months

1
0
0 0

2024

2023

Mnshs.postdocs.paris October 2023

2024

2023

Mnshs.postdocs.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.postdocs.paris October 2023