[Haskell-cafe] ANNOUNCE: Applied Functional Programming (AFP) Summerschool 4-15 July 2016, Utrecht, Netherlands

[Atze Dijkstra]

          =========== AFP Summerschool 2016 ===========

Applied Functional Programming (AFP) Summerschool
July 4-15, 2016
Utrecht University, Department of Information and Computing Sciences
Utrecht, The Netherlands

Summerschool & registration website: http://www.utrechtsummerschool.nl/courses/science/applied-functional-programming-in-haskell
AFP website : http://www.cs.uu.nl/wiki/USCS
contact     : Uscs-afp at lists.science.uu.nl

***

The 2016 edition of the Applied Functional Programming (AFP)
Summerschool in Utrecht, Netherlands will be held from 4-15 July 2016.
The summerschool teaches Haskell on both beginners and advanced levels
via lectures and lab exercises. More info can be found via the
references above, included here is a summary from the summerschool info:

``Typed functional programming languages allow for the development of
robust, concise programs in a short amount of time. The key advantages
are higher-order functions as an abstraction mechanism, and an advanced
type system for safety and re usability. This course explores Haskell, a
state-of-the-art functional programming language, together with some of
its theoretical background, such as typed lambda calculi, referential
transparency, Damas-Milner type inference, type level programming, and
functional design patterns. We will combine this with applications of
functional programming, concentrating on topics such as language
processing, building graphical user interfaces, networking, databases,
and programming for the web. The goal of the course is not just to teach
the programming language and underlying theory, but also to learn about
the Haskell community and to get hands-on experience by doing lab
exercises or a Haskell project of your own.''

The summerschool is organised and given by the Software Technology group
(http://www.uu.nl/en/research/software-systems/software-technology)
within the Department of Information and Computing Sciences
(http://www.uu.nl/en/organisation/department-of-information-and-
computing-sciences), a group which in the departmental research
evaluation over the past years was singled out by ``...the functional
programming activities are known to be world leading in their domain.''

***

regards,

               - Atze -

Atze Dijkstra, Department of Information and Computing Sciences. /|\
Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \
Tel.: +31-30-2534118/1454 | WWW  : http://www.cs.uu.nl/~atze . /--|  \
Fax : +31-30-2513971 .... | Email: atze at uu.nl ............... /   |___\