<div dir="ltr"><div dir="ltr">Hi,<div><br></div><div>I just wanted to mention that I studied my MsC. degree at Utrecht University and Prof. Swiestra was my thesis supervisor. I cannot recommend this summer school enough. Not only are Prof. Swiestra's accomplishments extraordinary (you can look that up online) but he is also very gifted at teaching. I took many courses with him and were both interesting and entertaining. Prof. Swiestra is also very patient and dedicated and I am sure he will put a lot of care making sure his students thoroughly understand the topics and ensuring the summer school is well organized and structured. All other professors I had in Utrecht were excellent at teaching so I believe this is a great opportunity to "shift up gears" in the wonderful Haskell language.</div><div><br></div><div>Best regards,</div><div><br></div><div>Ernesto Rodriguez</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, May 6, 2021 at 9:11 AM Swierstra, W.S. (Wouter) via Haskell <<a href="mailto:haskell@haskell.org">haskell@haskell.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"> SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING<br>
<br>
Online - 05-9 July 2021<br>
<br>
<a href="http://www.afp.school" rel="noreferrer" target="_blank">http://www.afp.school</a><br>
<br>
# Call for Participation<br>
<br>
## About<br>
<br>
The Advanced Functional Programming summer school has been running for<br>
more than ten years. We aim to educate aspiring Haskell programmers<br>
beyond the basic material covered by many textbooks.<br>
<br>
This year the course will be offered *online only*. A typical day will<br>
consist a 2-3 hours of lectures, sandwiched between supervised lab<br>
sessions. Lectures will be held in the (European) afternoon, but<br>
recordings will be made available if attending live is problematic.<br>
<br>
The lectures will cover several more advanced topics regarding<br>
programming with types in Haskell, including topics such as:<br>
<br>
* monads and applicative functors;<br>
* lambda calculus;<br>
* generalized algebraic datatypes;<br>
* datatype generic programming<br>
* type families and type-level programming;<br>
<br>
## Lecturers<br>
<br>
Utrecht staff:<br>
* Gabriele Keller<br>
* Trevor McDonell<br>
* Wouter Swierstra<br>
<br>
## Prerequisites<br>
<br>
We expect students to have a basic familiarity with Haskell<br>
already. You should be able to write recursive functions over<br>
algebraic data types, such as lists and trees. There is a great deal<br>
of material readily available that covers this material. If you've<br>
already started learning Haskell and are looking to take your<br>
functional programming skills to the next level, this is the course<br>
for you.<br>
<br>
Soft registration deadline: 1 June, 2021<br>
School: 05-09 July, 2021<br>
<br>
## Costs<br>
<br>
50 euro - Registration fee<br>
<br>
We ask ask participants to pay a small registration fee to cover some<br>
of our organizational expenses. If this is problematic for you *for<br>
whatever reason*, please let us know and we can waive your<br>
registration fee.<br>
<br>
## Further information<br>
<br>
Further information, including instructions on how to register, is<br>
available on our website:<br>
<br>
<a href="http://www.afp.school" rel="noreferrer" target="_blank">http://www.afp.school</a><br>
<br>
<br>
_______________________________________________<br>
Haskell mailing list<br>
<a href="mailto:Haskell@haskell.org" target="_blank">Haskell@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell</a><br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div>Ernesto Rodriguez<br></div><div><br></div><div>Masters Student</div><div>Computer Science</div><div>Utrecht University</div><div><br></div><div><a href="http://www.netowork.me" target="_blank">www.netowork.me</a></div><div><a href="http://github.com/netogallo" target="_blank">github.com/netogallo</a></div><div><br></div><div><br></div></div></div></div>