<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p><b id="docs-internal-guid-3e04ddc3-7fff-a755-4481-79842585cd2e"
style="caret-color: rgb(0, 0, 0); font-style: normal;
font-variant-caps: normal; letter-spacing: normal; text-align:
start; text-indent: 0px; text-transform: none; white-space:
normal; word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;
font-weight: normal;">
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Dear all,</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">On Tuesday June 15th, Youyou Cong (</span><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Tokyo Institute of Technology, Japan) will give a talk, <i>A Tutorial on Delimited Continuations</i>, for our project colloquium at 16:30-18:00. Further details can be found below.</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">If you would like to attend, please register through the following Google form:</span></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><a
href="https://forms.gle/6PoGNEfJVHLYDAdKA"
style="text-decoration: none;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: underline; vertical-align: baseline; white-space: pre-wrap;">https://forms.gle/6PoGNEfJVHLYDAdKA</span></a><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"> </span></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">We later send you a zoom link by an email (using BCC).</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">For the latest information about ERATO colloquium / seminar, please see the webpage <a class="moz-txt-link-freetext" href="https://docs.google.com/document/d/1Qrg4c8XDkbO3tmns6tQwxn5lGHOrBON5LtHXXTpXDeA/edit?usp=sharing">https://docs.google.com/document/d/1Qrg4c8XDkbO3tmns6tQwxn5lGHOrBON5LtHXXTpXDeA/edit?usp=sharing</a> .</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Jérémy Dubut (ERATO MMSD Colloquium Organizer)</span></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Email: <a class="moz-txt-link-abbreviated" href="mailto:dubut@nii.ac.jp">dubut@nii.ac.jp</a></span></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">-------</span><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">
</span><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Tuesday June 15th, 16:30-18:00</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Speaker: </span><b
id="docs-internal-guid-3e04ddc3-7fff-a755-4481-79842585cd2e"
style="caret-color: rgb(0, 0, 0); font-style: normal;
font-variant-caps: normal; letter-spacing: normal;
text-align: start; text-indent: 0px; text-transform: none;
white-space: normal; word-spacing: 0px;
-moz-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
text-decoration: none; font-weight: normal;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Youyou Cong (</span><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Tokyo Institute of Technology, Japan)</span></b></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">
</span></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Title: A Tutorial on Delimited Continuations</span><br
class="Apple-interchange-newline" style="caret-color: rgb(0,
0, 0); font-style: normal; font-variant-caps: normal;
font-weight: normal; letter-spacing: normal; text-align:
start; text-indent: 0px; text-transform: none; white-space:
normal; word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
</p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Abstract: Delimited continuations represent a prefix of the computation to be performed in the future. This concept can express a wide variety of computational effects, such as exceptions, nondeterminism, and mutable state. The aim of this talk is to give a general idea of what delimited continuations allow us to do. I will begin with a gentle introduction to undelimited and delimited continuations, focusing on the flexibility gained by delimitation. I will then present several practical applications of delimited continuations, ranging from probabilistic programming, to Web applications, and to automatic differentiation. Lastly, I will discuss the theoretical aspects of delimited continuations, including a dependent type system that enables maintaining non-trivial invariants in the presence of control effects. During the discussion, I would like to invite the audience to explore possible uses of delimited continuations in their individual domains.</span></p>
</b><br>
</p>
</body>
</html>