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//
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//
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//
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//
Dans le cadre des séminaires de l'axe ML et applications, le prochain séminaire sera donné par Behrooz Omidvar-Tehrani (http://omidvar.info/), chercheur à Amazon AI labs en Californie.
Title: Guided Text-based Item Exploration
Speaker: Behrooz Omidvar-Tehrani, Amazon AWS AI Labs
Abstract: Users in their different roles (data owners, customers, stakeholders, advertisers) interact with data systems to seek information. Typical information seeking paradigms such as search and recommendation, depend on a crystal-clear definition of an information seeking task to operate. In reality, most data-centric tasks are subjective which require a sequence of interactions to manifest and clarify. Interacting with data systems is a tedious task and users need to receive guided recommendations from the system to optimize their interactions when dealing with subjectivity. In this talk, we focus on the challenge of "subjective needs" and "multi-shot tasks", and review (1) how the diverse and heterogeneous set of user interactions can be formalized and represented in the form of a unique model, and (2) how data systems can leverage the interaction model to assist users in their interactions by disambiguating their needs and guiding users through their information seeking journey until landing on their ideal target. We discuss real-world use cases of formalizing and learning interactions, both in academia and industry, whose core objective is to help users interact with data systems more effectively. We also discuss future directions of interaction learning, such as incorporating domain knowledge and multi-environment exploration.
Speaker Bio: Behrooz is an Applied Scientist in AWS AI Labs. Prior to Amazon, he held positions in Naver Labs Europe, the Grenoble Alpes University, and the Ohio State University. He received his PhD in CS from the University of Grenoble Alpes, France, in 2015. His research focuses on Human-in-the-Loop Data Analytics spanning over different research areas such as Data Mining, Databases, Visual Analytics, and Machine Learning. He has published more than 40 papers in top-ranked international conferences and journals including VLDB, SIGMOD, CIKM, TKDE, and CHI.
________________________________________________________________________________
Réunion Microsoft Teams
Participez à partir de votre ordinateur, de votre application mobile ou de l’appareil de la salle
Cliquez ici pour rejoindre la réunion<https://teams.microsoft.com/l/meetup-join/19%3ameeting_YjJlNjVlMDEtODU3MS00…>
ID de la réunion : 351 740 405 618
Code secret : WUnjFJ
Télécharger Teams<https://www.microsoft.com/en-us/microsoft-teams/download-app> | Rejoindre sur le web<https://www.microsoft.com/microsoft-teams/join-a-meeting>
Ou composer le numéro (audio seulement)
+33 1 73 44 50 21,,422293866#<tel:+33173445021,,422293866#> France, Paris
ID Conférence Téléphone: 422 293 866#
Rechercher un numéro local<https://dialin.teams.microsoft.com/b1f8449c-d1c4-451a-9b29-7e5316542160?id=…> | Réinitialiser le code confidentiel<https://dialin.teams.microsoft.com/usp/pstnconferencing>
Pour en savoir plus<https://aka.ms/JoinTeamsMeeting> | Options de réunion<https://teams.microsoft.com/meetingOptions/?organizerId=63181773-1d26-4dee-…>
________________________________________________________________________________
______________________
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//
______________________
Perms mailing list -- perms(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr//