Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Call for Participation: AFP Summer School in Utrecht

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation: AFP Summer School in Utrecht


Chronological Thread 
  • From: Wouter Swierstra <wouter.swierstra AT protonmail.com>
  • To: "w.s.swierstra AT uu.nl" <w.s.swierstra AT uu.nl>
  • Subject: [Coq-Club] Call for Participation: AFP Summer School in Utrecht
  • Date: Mon, 16 Apr 2018 06:54:16 -0400
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=wouter.swierstra AT protonmail.com; spf=Pass smtp.mailfrom=wouter.swierstra AT protonmail.com; spf=None smtp.helo=postmaster AT mail2.protonmail.ch
  • Feedback-id: G0gnsRaqkG4TjcPGIqnAcVRMXyenRiOPbxDK2jQ6075bchocedFkYu5XUVFVmIXGEPG0TqrvlBvyWOSzDMVvFQ==:Ext:ProtonMail
  • Ironport-phdr: 9a23:39KKrhZ4hKc/nA7tif9nvmL/LSx+4OfEezUN459isYplN5qZr8qzbnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD0fOjA37m/ZitZwgr9Yrh2uuxNy2JTbbJ2POfpmYq/RYdEXSGxcVchRTSxBBYa8YpMPAOoGIOZYs5fyp0ETphWjCwisBf3gyiVThn/qx601yfkqHAbI3QwnAtIOrGrbrM/vOKcJX+G1zbfHzS/Yb/NKwzfy8pPFcgg7ofGLQbJwdszRyUw1GAPEilWcs5DqPzSQ1ukUtWWQ8uRuVeWqi2E9qgFxpCCiyd0iionRnI4V0UzL9SV+wIYyId21TlNwb928EJZIqi2XNIt7TtkgTm10oio3xaEKtYSlcCQUzpks2gTRZOadc4eS5xLuTOaRLil8hHJiYL+/ggy98UmkyuHiTMW0yExKri1ZktnLsHAN0gbc6smDSvdn4kih2S6D1wHV6u5aPUA5jbfXJp0hz7IqlJcfrV7PEyDqlEnskqOaaF0o+u2y5OTmZrXmqIWcN4hxigzmPKUundG/AfgmPQgURWSb4uq91Lz98k3jW7VKkuc2nbPCvZDCP8QbobK5AwhT0oYm8Rm/DjOm3M4EknkAKVJJYAiHgJTxO1HSPPD4Cu+yjEirkDdy3vzJIrnhAojWIXXYi7fgfbN961ZGxwYpzNBf4YhUCrAbL/7pVE/xro+QMhhseRPy2KD8F9RwzJgCQ2unH7LfNqeY+QuXoPlpOPaNaZUOpCz0A+U4ofjq2ywDlEcZbJWuiKQQdWy1BLxdPESUe2HwmN5JRXgNoxYzVqrxl1yPSyVPfX+aR7g7+jY9DYunCcHIQYX705Kb2yLuIZpLem1cQmuTEHrybJmeUr9YdyWPPsJ71CcbVLW7UJM73Dm2rgjmzLxiJ+vQvCYfsMSwh5BO++TPmERqpnRPBMOH3jTVFjAmriYzXzYzmZtHjwl4w1aH37J/hqUGR8RJ4O9OVAIzNJqaxOt/WYmrBlDxO+yRQVPjee2IRCkrR4tvkccUZFp6HdCrjxSF1C2vUedMyu67Qacs+6eZ5EDfYsZwz3GcjfskhlgiGI1XL2q6gah6/gnXQYXJwR2U

# Call for Participation

SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING

Utrecht, the Netherlands, 27-31 August 2018

http://www.afp.school
                       
## ABOUT

The Advanced Functional Programming summer school has been running for
more than ten years. We aim to educate aspiring Haskell programmers
beyond the basic material covered by many textbooks.

The lectures will cover several more advanced topics regarding the
theory and practice of Haskell programming, including topics such as:

  * lambda calculus;
  * monads and monad transformers;
  * lazy evaluation;
  * generalized algebraic data types;
  * type families and type-level programming;
  * concurrency and parallelism.

The summer school consists of a mix of lectures, labs, and a busy
social program.

## LECTURERS

Utrecht staff:
* Johan Jeuring
* Alejandro Serrano Mena
* Doaitse Swierstra
* Wouter Swierstra

Guest lectures:
* Manuel Chakravarty
* Koen Claessen
* Gabriele Keller


## PREREQUISITES

We expect students to have a basic familiarity with Haskell
already. You should be able to write recursive functions over
algebraic data types, such as lists and trees. There is a great deal
of material readily available that covers this material. If you’ve
already started learning Haskell and are looking to take your
functional programming skills to the next level, this is the course
for you.

## DATES

Registration deadline: 1 August, 2017
School: 27-31 August

## COSTS

€1700 - Housing and registration
€1500 - Registration only

We offer a €1000 discount for students and staff members affiliated with
a university.

## SCHOLARSHIPS

If you’re struggling to finance your trip to Utrecht, please let us
know. We have a limited number of scholarships or discounts available
for students that would not be able to attend otherwise, especially
for women and under represented minorities.

## FURTHER INFORMATION

Further information, including instructions on how to register, is
available on our website:

http://www.afp.school






  • [Coq-Club] Call for Participation: AFP Summer School in Utrecht, Wouter Swierstra, 04/19/2018

Archive powered by MHonArc 2.6.18.

Top of Page