<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><p style="box-sizing:border-box;margin:0.357143em 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif">The <b><a href="http://chalmersfp.org/" target="_blank">Chalmers Online Functional Programming Seminar Series</a></b> is organized by the Chalmers Functional Programming Group, as a way to exploit the fact that so many of us in the FP community are already meeting and working online these days. Our aim is to bring the people in the FP community closer together, to educate and inspire, and to foster collaboration.<br></p><p style="box-sizing:border-box;margin:0.357143em 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif">The seminars will take place <b>every Monday</b> (at 7am PDT / 10am EDT / 16:00 CEST) and are <span style="box-sizing:border-box;font-style:inherit;font-weight:600;margin-left:0px;margin-right:0px;margin-top:0px">live streamed through YouTube</span>, and questions are taken through <span style="box-sizing:border-box;font-style:inherit;font-weight:600;margin-left:0px;margin-right:0px;margin-bottom:0px">sli.do</span>.</p><p style="box-sizing:border-box;margin:0.357143em 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif"><br></p><p style="box-sizing:border-box;margin:0.357143em 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif">---</p><p style="box-sizing:border-box;margin:0.357143em 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif"><br></p><p style="box-sizing:border-box;margin:0.357143em 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif">We continue this week (Monday) with <b>Nadia Polikarpova</b>; title "Liquid resource types for verification and synthesis". All welcome!</p><p style="box-sizing:border-box;margin:0.357143em 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif"><br></p><p style="box-sizing:border-box;margin:0.357143em 0px 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif"></p><p style="box-sizing:border-box;margin:0.357143em 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif"></p><p></p><p style="box-sizing:border-box;margin:0.357143em 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif">Link to the full program, including videos of previous talks:</p><p style="box-sizing:border-box;margin:0.357143em 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif"><a href="http://chalmersfp.org/" style="box-sizing:border-box;text-decoration-line:none;color:rgb(125,93,138);margin:0px" target="_blank">http://chalmersfp.org/</a></p><p style="box-sizing:border-box;margin:0.357143em 0px 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif"><br></p><p style="box-sizing:border-box;margin:0.357143em 0px 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif">---</p><p style="box-sizing:border-box;margin:0.357143em 0px 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif"><br></p><p style="box-sizing:border-box;margin:0.357143em 0px 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif">We were happy to see that last week's seminar (by Benjamin Pierce) run with YouTube Live and sli.do was a success, so we decided to keep using that technology.</p><p style="box-sizing:border-box;margin:0.357143em 0px 0px;padding:0px;font-size:14px;line-height:1.42857em;color:rgb(77,87,99);font-family:verdana,arial,helvetica,sans-serif"><br></p></div>
</div></div>