Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Utrecht Summer School on Advanced Functional Programming

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Utrecht Summer School on Advanced Functional Programming


Chronological Thread 
  • From: Wouter Swierstra <w.s.swierstra AT uu.nl>
  • To: haskell AT haskell.org, haskell-cafe AT haskell.org, Agda mailing list <agda AT lists.chalmers.se>, coq-club AT inria.fr, caml-list AT inria.fr
  • Subject: [Coq-Club] Utrecht Summer School on Advanced Functional Programming
  • Date: Tue, 19 Mar 2024 11:26:18 +0100
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=uu.nl; dmarc=pass action=none header.from=uu.nl; dkim=pass header.d=uu.nl; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Gn92sdQqFbv71c4PSnF1rI1tNqLO/r93t2FbgXFphg8=; b=UeCQeymGBoR2Z0skuNLaAC2j57ERhsYr2zNNMBrmPZ0Gkgv71U0P9A0Gvl4lC3OkkOXseXddNIHhpR2MtF5J7HpsE1vu7eSNoS99aScHahpp5lHHxS04XbaGDuDGgtr4jfGwpn15Qp84UpISYA5QtS7nz7gDvYqtI11Bo+NxujAfJJRn0PDPU1D+vcJL2qeLca33t2XVOotiloGcxf1Oh0jUse5vHqgK6+4Jm3CBpvGCtMZf1sgMXaoB5jAqPpXmt9qYMwtNC53VaGXI35DSTJVZ1uVsXJ30LEaP7DMkLEfHF2TJjzEetEiwbiy+HA4zjonP7ZgYQHjR/WUewu7MHw==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=dEWfWdthq8sYNN3JtVP1Nj46dngRTZrPgdv7SYD4EXsHJiVVorIP0bTayR09ejvxRoNjYOXgEe2EAT7/56e0yuHdKYJSLOAudgWqhD0hUiHHfE7Js4jlLfQX8MgZ04zDS6X0RA2YtjNMuKHU6alzVioTyVYOUslYMdDT3gOM3+kOM+YPG2GSMaCRfIEKhPnaSzSynIVcd5jJDDzB9gV8PWFR12dHj2tS7339cPPDLKSD30ngkWIgzmbUsAq6djpMOkwqVDsHvXCYZ4XqR071TIlcY6xqNBd/P79WdZwKn2IA5n/sYanHZMwjxoU6pw4U7rDTEqQ2IJjCPCi2iakMJA==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=w.s.swierstra AT uu.nl; spf=Pass smtp.mailfrom=W.S.Swierstra AT uu.nl; spf=Pass smtp.helo=postmaster AT EUR04-VI1-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:TlYeza5YJjX8r+TT5eUcQgxRtELMchMFZxGqfqrLsTDasY5as4F+v mdMUG6FOvveMDP8Ldp1YY7i80gD65XdztM3QFQ9+SozZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgsbQr414rZ8Ekz5K+r6WtB1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj69ZjLlETL78nw+1uB2dEx /YicRomSSnW0opawJrjIgVtrukeFpG3eb0+4zRnxzyfCus6S5feRamM/cVfwDo7msFJG7DZe tYdbj1sKh/HZnWjOH9LUNRnxLju1j+mKmAwRFG9/cLb50Dsijc366fsPcDOZsaDbdhI2ECcz o7D1zSjX01AbozEodaD2i31g9bNhi7iYdxREqSZ8dx0gF7Py0VGXXX6UnPg+qPl1SZSQel3I EsNvyEqsKIa712uVtC7XhuioXfCsAR0c9FZFul/7ACW1oLP8gOBDy4FSCRAYZoorqcLqScC0 1aIm5b3BGVirafNFXWbrO7N8HW1JDQfKnIEaWkcVwwZ7tL/oYY1yBXSUtJkF63zhdrwcd3t/ 9yUhAszpaU2n/w07q6i+1bNsTiW/7LiaTdgs207QVmZxg9+YYekYamh5l7a8etMIe6lor+p7 SBsdy+2vLFmMH2dqBFhVtnhC5mA25643ND0hFduG9w/9m2g5mT7IYdWumgneQFuL9oOfiLvb AnLowRN6ZRPPXysK6hqf4a2DMdsxq/lfTgEahw2RooSCnSSXFbdlM2LWaJ29z2y+KTLufxhU ap3ie72UR4n5V1PlVJavds1374x3TwZzmjOX539xBnP+ePBPSbKGelbbgfSP7FRAEa4TOP9o o432yyimk03bQECSnKIqN97wa0icSZkWcum85w/mhCrc1A3RDpJ5wDtLUMJINc/w/s9ehbg+ 3C2QEhDz1TjzXbAMx3iV5yQQOKHYHqLllpiZXZEFQ/wixALON/zhI9BLcdfVed8r4RLk6UrJ 8Tpju3aWJyjvBybomhMBXQ8xaQ+HCmWafWmb3X8PWRjJ8Q9L+ELk/e9FjbSGOA1JnLfnaMDT 3eIj2s3mLJaH1w4XvXFIumi1U2wtnU7ked/FRmAaNpKdUmmtMAgJyXth7Vla4sBODfS9Au8j gy2OBY/ofWSgokX9NKSu7uIgb30GMRDH21bPVLh05CICQfg8FGO/6p8QceTXDWEVGrL6KSoP upU6PfnMcw4plVBsqsiMrVV8588zoPLmY146z89AkTOUkmhUY04E3zXhMNKj7BG5p1HtSSIW E6g/sdQOOiXNPPfC1RLdRABa8Kd38o1gRjX1+w+e2/h1R90/Z2GcERcBAaNgypjN4lIMJsp7 OMimcwO4Smto0MOHvffqQtL5kKeLWclUao1hqoFAYTutBUn+mtCbbPYFCXyxpOFMPdIDWUHP R6Wg7jklZ1H50+fbUc2K2fB7dBdibsKphpO6l0IfHaNu9jdg84IzA9jyis2QitV3yd4/bpKY EYzDHJMJIKK4ztMr+pAVTr1Gwh+WTuoynaowF4NzGDkX02kU1LWF1IEOMGPwVs49lxNdT0K7 ZCaz2fYCQzRRv/T5Rdre0BZqK3Ed+dTpynig8GsGvqXE6YqOQTFhrCcXktWih/FL/5oumj5i 7hLxshSZ5f/FxYsmIwgKozD1b0vWBGOf2NDZvd6/ZI2J2LXeRDs+D6wcmS0J9hsJuPLw2C8G cdBNsJCbDXg9Ses/xQwJ78AHK9wp9EtvOE9Q7LMIXUXlbm1oh5CkoPixgKniEAFG9xRwNsAc KXPfDe8I0msrHpzmV6VivJbO2C9MOI2VCel0M+bqOw2Ro8+6sdyekQP05yxjXWfEC1j2zm25 ArjRavn/9ZO+LRWvbnHM/t8Xl2vCNbJSu633hi5sI1OYfPxIM7+jV4phWe9DTtGH4k6eopRr quMgu7VzUmenbcRUkLlobejOZRNx/2PWLtwDpqqAlhcxTCPSe390SslomqYE6FEoPlZx8ugR ja7VveOSM4oa49j40NROgdjEEc7KqXob63fizu3gNaSBzM8jwHWDtOV2kX4TGNcdyM4BoD0D xD1n92M5dloiptGKzFZJvNhAr5+eETCX4l/ffLPlDCoNEuaqXLchanDzz8OsSrqDFuAG+bEu aP1fAD0LkmOifuZ3eNnvJxXlTxJKnRE2M0bXF8XovxygBCEVF82F/wXa8g6O8sFgx7J9c/KY R/WZzEfEgT7ZzNPdCv87PnFXguyAu8vOM/zFgc2/nG7OjuHO4edPIRPritQwW96Wj/G/tGVL dsz/n7RPB/o5rpLQe0VxOKwgMY55/f8608Lx3vAkJ3JM05DOYkJ6X1vIlMcH2iPWcTAj17CK mUJVHhJChPzA1L4FcF7PWVZAlcFtTfo1C8ldjqL3M2ZgYiA0elc07fqDokfCFHYgBgif9bih E8bRldhJ0i750ZL5e4XmotshqV5T/WWAsK9ManvAxUImL294XgmOMVEmjcTSMYl+0hUFFa1e vyE/S0lHErcQKxO8OT+9OnL08sZvrEw4/XhkRO5ozuufdkR0Y3CYxbzpO7kAciYlkUg1nm0h B8PcQCXpzV6cdciSSZW7pwmm7BMPS3d+bQonMzlolMeXypAkFNgKY0=
  • Ironport-hdrordr: A9a23:65r3RKhQzK1n8Hd4uFoJtz3BRXBQXu4ji2hC6mlwRA09TyX4rb HXoBx4vSWbtN91YhsdcL+7Scu9qB/nhPtICOoqTM6ftWvdyQyVxehZhOOIrlGOe1ycygc379 YHT0EKMqyNMbEMt7eG3ODXKadF/DD+ytHTuQ6I9QYXcei0UcBd0zs=
  • Ironport-phdr: A9a23:uUsoUBWz5aXIUfI2ygQxcpSaEYHV8Kx0XTF92vMcY1JmTK2v8tzYM VDF4r011RmVB9Sdu6MP0rGempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexf7d/I A+1oAjVucUanIVvIbstxxXUpXdFZ+tZyWR0KFyJmBry+tm+94N5/SRKvPIh+c9AUaHkcKk9U LdVEjcoPX0r6cPyrRXMQheB6XUaUmUNjxpHGBPF4w3gXpfwqST1qOxw0zSHMMLsTLA0XTOi7 7p3SBLtlSwKOSI1/H3Rh8dtl69Qvg6vqAJjzI7VeIGVNeRxfqXBfdMBWGFNWt9dWzFdDo+ga ocCCfcKM+RFoInnv1YArhWwCgesCu3x1zFHmnD40qIh3uQ9EgzLxhAsE84QvHnWqtj+KaccU fqyzKnN1TjMb/RW2Srh6IfWaBAqvOyCXLxxccXP00kvDB/Fjk+Kpof4OD6U2P4Bs3OB4+p7W +OvinAoqxtqojiz3McjkJLEhp8Iylze8yV5xJ84KNulQ0F0fdCqCoFftz2GN4RoWMMiRXllt Tg7x7MGp5K2YisHxIkmyhLBZfKKfJaF7BL+WeuNPDt1mXZodryxiRux80Ws1PDwW8a03VtEo CRJjt3Bu20C2hHV98OJRPx9/kK71jaO0QDe8vtLIU4slabBMJ4u3r4wlp0UsUTHGCL9hUb4j LeOe0gr5uSk8fnrbqnkq5OGNIJ4kBzyPrkul8CnH+g1MxQCUmae9OihyLHs50z0TbBXgvEql 6TVrpDXKt8eq6O8AgJY1Jso5gi7Dze7y9QYgWcILEhYdhKGjonmJUnDLOz+APyimVqjii1ry OrDPrD5ApXCMHzDkLD5cLhy5UFS1BY/wN9G651bCb8NPev/Wkjqu9PGFBM5NBG0w/r8B9V6y 4MeX3+ADrWBMKPItl+I+vwgLPWQZI8Uvzb9LeIp5/nzjX8lnV8deq6p3ZgNZH+kGfRmJl2VY XvqgtgfDWcHpgUzQPDwhFGfTTJeZWy+UqEm6j0mFY6rDZ/PRoW3j7yA2Ce7EIdWZmdDCl2UE XjkbZiKV+0RZiOcI89ujCYEVaO9S487zx6jrxL6y6d9IurS/i0UrZTj28Nt6O3JiR4y7SB0D 9ia02yVUW14hnkISCMu3KBjvUx9zU+O3rR/g/xBDNBc+/dJUhohOpPH1Ox7C9XyWhrbcduTS VamRM+mATArQd4rzd8OeV5xG8++gRDbwyqqH7gVmqSXC5Mu96Lc22H9J8J8y3bdyKkslEImQ 8tKNW2+nKFz7QnTB4jTk0WYjammb6oc3DSevFuEmGqHp0JVVApYUazeXn0bYg3Rt9u9rkPLV LyjDbBiOQJPxOaCI7BJZ9nty1JcS7OrEdvSaiq0kma0BBCHjreNd5aiL2wS0Cz1DEkfjxtV9 naPMQ0zHDznuG+ISHRlEkuqaEfx+8F/rmm6Rwk61UXCZERk0/+x+wUJrf2aUfIamLwe6wk7r DAhI1Ggw9/MQ+Gfpgd7Z7lGaJtp/xFck3nGtgFnJYC6Joh/mxgYd1Ik7AvVyxxrB9AYwoARp 3QwwV83cPrAuLsgXzaR3JSrf6bSNnG35xe3LajfxlDZ1t+SvKYJ8vUx7Vv570myDkR31XJh3 pFO1meEoI3QBV8NF4m3SVk2+gJhu6vTSjQgoYXQhjV3KafhijbZwJoyAfc9jBOpftNRKqSBQ TC0KIshGMmjMvc2gVGBcw9COuQBvLUsMZaefuCdkLWuIP4mnD+iijFf55th10uX6ydmYsP15 c5Zhs+5h06AXTq6i0q9uMfqn4wCfSsVAme01SnjAshWe7F2eoEIT2ypJqVb3/1YgJjgEz5d/ V+nXBYd3dOxPAGVdxr71BFR0kIepTqmnzG5xnp6iWNhqK3XxyHIz+n4EXhPcmdWWGlvi0vtK omonpgbWkavdQ0giBqi4w7z2aFaoK11K2SbT11PemD6KGRrU634sbTnAYYH99Uz9z5IUemme kyAQ5bgvl0c12KrHmdTwiw6ayD/oo/wzFRxjGOQKmo2rWKMJZk2nE+AooyaHKcMjV9kDGFih DLaB0axJYys9NSQzNLYt/ymEnmmTttVeDXqyoWJsG2643drCFuxhaPW+JWvHA4k3Cv8z9QvW z/PqUO2Xc/QkZ+lMO99ZVVyDXfh9ox8Hsst9+l4zIFVwnUcipiPqDAY13y1Kspa1LjlcGAEb SMWhdjRqlutyAhoKXSHwJj8X3OWz556ZtW0VWgR3zo088FADKr8AKVspSJuuRL4qAvQZaM4h TIB0b4172ZchegVuQ0rxyHbA7YIHEAeMza+3xiP6tm/qu1QagPNOfCPknE4ps+gAauZvhtVc GvkPJEmVSN99cRwNlvQ3Wa7ttmiIYGPK4JV70TJ2x7bx/BYMpcwiuYHiU8FcSrmsHspxvR6x R1i0JemvZSWfmBk/aa3GBldZXX+Y8Ie/C2ojL4Lwp7QhtjwWMUnQ2xWD/6KBbqyHTkftOrqL VOLGTw48TKAHKbHWBSY8AFgpm7OFJaiMzeWImMYxJNsXkr4RgQXjQYKUTE9hpN8GBqtwZmrT wFCoAsO51PisQdWw8p1Kl/5Vi2MwWXgIidxU5WZIBdMu0t9oXyTCtOf4/hoAztR1oC86gqJY D/+BUwAHSQCXUqKAErmN7+l6Izb8uSWMeG5KuPHfbSEreENH+fN35+k1ZFquiqdLsjadGc3F OU1gwAQOBIxU9ScgTgETDYb0j7Af9LO7gnp4TV594i+6Ki5BFqptNHJU/0KdowysxGu3fXfb 6jJ3Hk/cXAAkcpSoB2AgLkHgAxP0Wc3L2HrSfJY8neRBKPIxv0OV0JdN3w1bI0QqPtjlghVZ 5yBg4ushOch16w7Vw8dBw6mxpHMB4RCInnjZgnOXB/Zbe3fdzOXm5qlM+TgGPVRlLsG7RTo4 GTCShaxMGjbzGu5D0j3Y7ML0Xj+XlQWuZnjIExkUTGxFYu/OBPnaIQlhmVume9mwS6TfW8Eb 2omehsU/OTJtHFW3q0kSWIZtiI3f67ZwW7c5u3cYP76qNNTCz9v36Jf6XU+kP5O6T1cAedyg G3Up8JvpFevlq+OzCBmWVxAsGQDiIWOtERkcaLXk/sIEW7D5w4I5H6MBg4iiuZfUoGqhYEJj 9/FmeT0NStI9M/S8Y0EHc/IJcmbMX0ndx30BDrTCwhDRjmuUAOXz0BQi/Cd8HSJo4Ny9sCqw cJRDO8dDQVoXvoBQlxoBtkDPIt6Uns/nLiXgdRJrXuyoR/NRdlL65DKUvXBZJenYD2djLRCe 14J2eakdcJKbtK9iwo7MwQp+eaCU1DdVt1MvCB7Owo9oUEWtWN7UnV2wEX9LAWk/H4UE/ew2 B8wkAp3J+o3p1KOqx86IETHoCwonQw/g9Lg1HquNgW3F7ixUJtNFzD9n1UsdJX/CVUQD0X6j Ql/OTHISqgExaNnbnxugRTAtIFnNMNmFfEBXj5JgPadarMvzEhWrTihyQlf/+zZBJB+lQwsN 5mxs3ZH3AElZ9kwb/+1RuIB3h1bgaSAuTWt3+Y6zVoFJkoDx2iVfTYBpE0CMrR1bzrt5OFn7 haO3idSYGVZHeR/uepkrwluXobIhzKlybNILVq9cvCSP7/M8XaVjtaGGxsxzh9ayxEDrOIwi YF7NBPJH0E3kOnNT1JQbZWEcUcNKJMMkRqbNSeW7beQm9QsZ937TqawCrbS/KcM3hD9RFpvQ 9tKtoJZWcDzmEDAc5W9JeZcm0x0vVbleA3dXqYOJELu8n9PotnhnsV+hdAPf2hEU2shaX7lt PGL90crmKTRBt5uOyVDB9JWOC5uA5/qw3YB7SYHUWDSsKpRyRDcvWX1/n2CVWClPdQ/PKzGb ks0UIPkvmhmu6mu1wyN+82HdTijbIZs5oeUu+1C/87VWbQJF/E4ukPY0eGwplSHblSXTZuLB sG1bIMhK9vpFny9T1qzzSovSNv8N8qsKa7Ohhz0QYFTs8+Q2zVxbKdV+RkDBlF2o7NajEqZT RAeJZw/M0aAig==
  • Ironport-sdr: 65f9684d_AwKWRyZFNISTKZLO+C50jADdEonpaCQp70tleB/auH3Eujy +jIaSEhQzxws34GYdfo/wiUPCtd/ZXF7WZwnqkg==


# Call for Participation

SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING

Utrecht, the Netherlands, 08 July – 12 July 2024

http://www.afp.school

**Please register before June 1st **

## 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 will be held in Utrecht and consists of a mix of
lectures, labs, and a busy social program.

## 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: June 1st, 2024**
School: 08 July – 12 July 2024

## COSTS

750 euro - Profession registration fee
250 euro - Student registration fee
200 euro - Housing fee

We will charge a registration fee of 750 euros (or 250 euros for
students) to cover our expenses. If this is problematic for you for
any reason at all, please email the organisers and we can try to offer
you a discounted rate or a fee waiver. 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] Utrecht Summer School on Advanced Functional Programming, Wouter Swierstra, 03/19/2024

Archive powered by MHonArc 2.6.19+.

Top of Page