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 &lt;Juliette.Calvi(a)irif.fr&gt; Reply-To: Juliette Calvi &lt;Juliette.Calvi(a)irif.fr&gt; CC: Adi Rosen &lt;adiro(a)irif.fr&gt; 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// ______________________ Perms.paris mailing list -- perms.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.paris.ml.lre.epita.fr//