31 Oct
2023
31 Oct
'23
11:21 a.m.
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//