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: beginners AT haskell.org, haskell AT haskell.org, coq-club AT inria.fr, Agda mailing list <agda AT lists.chalmers.se>, types-announce AT LISTS.SEAS.UPENN.EDU
  • Subject: [Coq-Club] Utrecht Summer School on Advanced Functional Programming
  • Date: Thu, 1 May 2025 11:53:14 +0200
  • 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=arcselector10001; 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=ovSu2Fcg0O3ePG4sW1Npe+uCIgKT7OoELPPWjxcUGuU=; b=AnmznDIoNOEbvH7DJzbudcwisuUGHW1ZVeHi0Mqs7vn3ge6c4q37qX4d23ZsFozw5urPhnavwD/C8DoowfRM3pd5ycrBoMGgvESRujN688cjA2I+3F1RKxfjwIZaO26SnuvT1jiPCIMTjBYCEWBIZKsgs41idkGnAFPRU75u0Y2MOovzwMYCqjAIP0yZEW5/CWWJiKX9k83Mq5hEHBzhCMocbagjt6JDjfV4WGvx02ji5ZG7BQ7+zBll/LZ0qvsB9T1j+/gvZG0ezHlzqMFG/0UDpGCPxxVB4iqlPU/OK0DH1OS5nkRZhgeEQP6ePksYbSqHRrddPPbpczcCjjxc4w==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=ct/wZK35UCuupqq4GU9uHVr/caKyfZAZIw8gsxgPDEcAsecEgHRmnytbw+QkX11ZO9LQnLj+ou3V+MTJb4Oai9CsONBERv250v2VU21H/QnP8/7o4NuoZDXR4U3bowNPmgMuWlMsP2YNJYgo24Dv1FVVhlmDU+ebBm2z79RfvSAY/razp0Zh2+fsuKFL1D+QgLoec0xoFkhKEZWQLLdYOVwWbjpRa0+4SoRyqM7wSUCeF3XSm36aKN7UfYJGdIRxISQnEkH9ysNUXvp+OznvFcuJeDrXE78MLsa/IlOKYstICubv+2OMgfvE1mFCSPaNREK4S4IdiqabzkucjZ2jUQ==
  • Authentication-results: mail2-smtp-roc.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 DB3PR0202CU003.outbound.protection.outlook.com
  • Ironport-data: A9a23:z92vYKwCJ2M6pOQppv96t+cgzSrEfRIJ4+MujC+fZmUNrF6WrkUOy TEfDTuGbv6NZmr3edlxaYi0p00P7JCEy4JgG1A+pVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmMc3l48sfrZ9Usy5K2q4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPHxP9fFmZxD7cb8+wuK0EJ5 aNCNC40O0Xra+KemNpXS8FArJ8bFpGxZNk0hyk4lnfeEOosRo3FT+PS/9hE0Twsh8dIW/HDe 84ebjkpZxPFC/FNEgpNTstmxaH22z+jLVW0q3rNzUYzy1eV90pKz7ngKsHJYNWiWNgTmELwS mfupT6hWE5KbYfOodaD2n7rq/fvsQTRYd0PEL+01f5rmHG95FVGXXX6UnPg+qPl1SZSQel3I EsNvyEqsKIa712uVtC7XhuioXfCsAR0ZjZLO+gz6QXIzK3O/waUG3IDVjNIetsg7ZZuHGVyi gHPmM71DztytrHTUWia6rqfsTK1P24SMHMGYigHCwAC5rEPvb3fkDrkSdxSConyvOf2EDup6 RDNvHdkm6sq2JtjO7qAwXjLhDelp57sRwEz5xnKUm/N0u+fTN/9D2BPwQiKhcusPLqkok+9U G8suuX20QzjJZSElSjIRuIXALGk+uyCKDDVk1lpRsB5rm31pyDlep1M6jZjIksvKtwDZTLif E7Uv0VW+YNXO3ypK6RwZupd6vjGL4C+T7wJtdiNMLKih6SdkifboEmCgmbMhAjQfLAEy/1XB HtiWZ/E4YwmIapm1iGqYOwWzKUmwCszrUuKGsyll0/4gOXFOCLIIVvgDLdoRrFhhE9jiFSNm +uzy+PUlUUFOAEDSnWJrtNLcQ5WRZTFLcmq+5MIJrHrzvVa9JEJUKSLnexJl31NmqVejODT+ X+hEkRf0kKXuJE0AVTiV5yXU5u2BcwXhStiZUQEZA/0s1B9O9rHxPlELfMfI+J4nNGPONYoF ZHpje3cWKwXElwqOl01MfHAkWCVXE/z1FvRYnP1PWBXklwJb1Whx+IItzDHrEEmZhdbf+Nny 1F5/lqDG8BRdBcoF8vMdvOkwnW4uHVXyqo4XFLFLpMXMA/g+ZRjYX65xPImAdA+GTOazBuj1 iGSHUg5o8vJqNQL69Xnv/2PgLqoNOpcJXBkOVfnw4y4DgTk21ay4JRhVb+IdA/NVWmv96SFY /5U/s7GM/YGvQhrsLBXNu9B9ocSxsTKpJlk6yhNDlHOPg2nJZF+Lkbb3u1JnLxHnYVdiFCMQ kjVpsRQYovRMuy0DlcAeQgvNLyC8do2mTDiy+s/D2unxS1w/ZuBCV5zOTvVggNjDbJFCqEX6 sZ/h9w3siuUlQgPHuudqyJb5UCgHyclaLo2kIMeDKvAqBsZ+nsbbbPyUibJsYyyMfNSOUwUE xqoravlhZEH42HdcnA2REP/7cAEibsg4Bl1nUI/fXKXkd/4h9gy7h1b0RIzai93lhxn8eZCC lJHBn1PB5el3mlX3ZBYfmWWBQt+KgWT+RXxx3s3hWTpdRSUeVKXHlItG9Sm3R4/yH1dTAh57 bvD6WfCUBTWRu/T8BY2e3ZYr63EcYQs2CzEwNuqDuaULakcODDFuJKjVUAMihngAP4yunH5m PlXzL5OTpP/ZAEtoPwdKoiF1L4vZgiOC05cTNpAoq4YP2HuVwuj+DqJKkyBR95HIuPL1WSaC MVeAN1FeDrj9SSJrxEdXbUtJZ0tltEXxdMyQJHZDk9YjKmu9R9Sr4P29ALyoEQJUudeu58xB a2Jfg3TD1HKo2VfnlH8ifVtO026UIEiXxL91uXky9c5PcsPn880eH5jz4bumWueNTZm2Bemv AnjQavy5M46wKROm7rcKIlyNz+WG/jSCtvRqBuStu5QZ+zhKc3N7gMZimf2NjRsYIc+ZY5Fq qSvgvXWgmX+o7cEY0LIkcKgFo5Ix/mIcsh5D8bVFERezAy+AJLCwh1b4G2pC417oPUE7Omde gaIQs+Rd9kUZtRj+ENoexVuSxYwNqCmQZrj9AWcruuNACczyQboDs2q3l63YHB5dh0nAYzfC Aj1t8aT+9pds4VoLz0HDsFAHJVXDgLCW6wnVtuprhieLDCirW2js4vYtygLyG/0GEjfNf3l8 LTHbBTaXzajipHild12ndR7gUwKMSxbn+I1QHM4x/d3rDKLVEg9MuUXNMQ9OKF+yyDd+snxW 2DQUTEEFy74YDVjdCf86vTFWiO0JLQHGvX9FwwT03KkUQWEL6LeP+I57QZl2Wl8RRX7xuL+K d0+xGz5DiLs/r5XH9Qs9t6JqsY54MjFx0A421H3yO3zJBc8PY8k9lJcGCh1aCiWNP2VyWvqI zE5S1kRFQv/AQT0HN17cnFYJAABsXm9h380ZCOI25DEt5/d0OREz+blNvru1qEYKv4HP6MKW Wi9Ul7lD7p6AZDPkfBBVxMVba5I5TajMuLhFJW7H1VItJzosj9hON4ely0SSs1k4BRYD17Wi jir5T45GViBL0dSnraRzG3lPrpvB2kUAWihYBHX/Ff7fd4RlrA1uCRGCCrmNNf2r8APem1GF SwKYh/5T0K+7VPZSPoXihjfjkGaR8cVfZUBvubEUbuq+iqRpKRh+HyNHq30Ox+9MJGJ+2mMS Jus7g==
  • Ironport-hdrordr: A9a23:iViILKMGiF12vcBcTzD155DYdb4zR+YMi2TDiHoddfUFSKalfp 6V98jztSWatN9jYgBFpTnmAtj5fZq8z+8N3WB1B9uftWbdyQiVxe1ZnO7fKl7balDDH4xmtZ uIGpIWYLOQMbETt7eB3ODSKadH/DDoytHOuQ6T9QYOcek8AJsQlDuRRzzrZnFedU1jP94UBZ Cc7s1Iq36JfmkWVN2yAj0gU/LYr9PGuZr6aVpebiRXnjWmvHeN0vrXAhKY1hARX3dmxqojy3 HMl0jc6r+4u/+25xfA3yv47ohQmvHm1txfbfb8/fQ9G3HJsEKFdY5hU7qNsHQcp/yu0k8jlJ 32rxIpL61ImgDsls3cm2qd5yDQlBIVr1Pyw16RhnXu5ebjQighNsZHjYVFNjPE9ksJprhHoe h29lPck6ASIQLLnSz76dSNfQptjFCIrX0rlvNWp2BDULEZdKRaoeUkjQho+a87bW7HAb0cYa ZT5Jm23ocZTbraVQGQgoBX+q3gYpxpdS32A3TruaSuokhrdT5CvgslLfck7wk9HaIGOuV5Dt v/Q9tVfZF1P70rhPFGdZI8qI2MeyXwfS4=
  • Ironport-phdr: A9a23:J/ilCBPSyIWN0g7fx3sl6nb3AhdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvq8r1AeCB9uKsawMotGVmp6jcFRD26rJiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhFiiSxbaluI BmqogndqMgbjI98Jqsw1xDEvmZGd+NKyGxnIl6egwzy6sCs8pB97i9eoegh98lOUaX7e6Q3U 7lVByk4Pm42+cPmqwDNQROA6XUAXGoWlAFIAxXe4xHhQpjxqCr6ufFj1yScIMb7UKo7WTWm7 6dsVR/olCIKPCM3/W3LlsB9ir9QrQm/rBJj3YHbfICVNOJ/fqzDe9MaWXFBVdtVWyBYH4+wc 5cDA+8HMOlfsof9v0EBrR6lCgmrGOPj0zpGi3Do0aA+yugsEQ7L0BU8H90QtXTUtMj+OKMcX Oyp0KXEyDPOYfFM1jf46obHbAouruySUrJqccTRyFcgFwfYgV6Nq4LqISma2fkTvGiB8uFuS P6gi2k9qwFwpDivydonho3Qio4I1lzI8CN0y5s3K9KlUk52ed2qHpVeuC+aKYV4X98tTW5nt ysh1r0LuoS2cDQWxJg5xRPSbeGMfYiS4hLkUeacOTd3hHV4eLKjmRmy61WrxPDyV8m1zllKt DFFksXWtn8Xyhfe7caGRuFm/ku7wjaO2QHT5f9eIUAviarbMYQuz6UtlpoOq0jDGCv2lVzwg aSLeUoq5vKm5P77YrX6uJCcLYl0hxngP6kvmsKzH/o1PwsTU2Wa5+iy2rLu8FP5TrhXkvA6j 7TUvZTUK8oVpaO0ARFZ3pss5hu/ATqo3sgUkH0aIV9Kfh+MkobnO1bLIP/iDPe/hUyhny1lx /DeJLHhGYnCLnjEkLfmebZw7VNXxgkrzd1H559YFKsNLO/vVkPsrtDVDx80Pxa7zuvmENlxy IITVX6BD6KcLa/erUWH6+MqLuWReIMYvSjxJvg+6PPriHI0mFkQdrS30JsTdXC4BehmLFuDY XTxg9cAEHkFsxIiQOHslVaMSyRcZ2yoUKI5/jw7CJypDYPERo21jrKMwSm2EIdKaGxaFFyAD WnkepuKVPsQdC6fLNVtkjsZVbi9UIAh0gyutAnnxLZ9NurU4CoYtY7929dp++3TlBYy9TpuA 8SazmGNU2V0nmQPRz81xqxwvUt9ylKb3ah5hfxXC8BT6utJXwskL5LQ0vB2B83oVg/AftqFU lmrT9S+DTE0VN0xwtsOY0hnG9WlixDOxyqlD6UImbCRGZI1/KPc0GbrJ8Zm13bGzrMugkI7Q stSL2GmgKp/+xDVB4HSi0qZjbqldbwA3C7R82eO1XeCsFlCUAFsSaXFQWwfZkzOoNvl4UPCV qaiBqgjMgtc0sGPMbBKa93sjVVeXvjvItXeY2Srm2exHxmE3L2MbJC5M1kaiS/QB0kClQ0J5 l6GPBM9CyOl5WXEA3gmFVv0YE7o9cF+oWi4Q0swiQaQYAkp3L2svxURmPa0SvUJ37tCtj1l4 xx7EF/12tvXD9uGqEJlfb5AKYc071tO/WbYrBBmeJegJqRni0QFNR966QemywRvB54FmM4sq 24sxwdaDYOj7GgHTB6x5tbNApDxDC/f0C38RbTR3wTh18uK971H0+s5pk/4oBugXh49tW4hy MZU3mGH+o/DJBcPF5T1BBVkvyNmrq3XN3Bur7jf0mdhZPDl6lcquvosDeohkFO7estHdbmDH 0n0GtEbAM6nLKornUKoZ1QKJrMa77Y6auWhcfbOw6u3JKB4hjvzkiJcppti00+W7DZmQ8bVw tADx6LQxROJAg/1l0zpqcXrgcZBbDAWEHC4zH3bQrUXXbJzcJwQFX2nC9CqgNN61Nb2Q3ANz Fe4HBsd3dOxPxqfa1uoxQpLyUEeumCqgwOU5WdMqWlz9vC04XSWmKLlaQYNPXNNSC96l1DwL IOojtccGk+1cwwukxjj7kH/r0RCjIJ4KWSbAUJBfiysanpnTrP1rL2JJchG9JIvtyxTFuW6e 1GTDLDn8VMc1Gv4Em1SySpeFXnis4jlnxF8lGOWLWpi5Hvfd8ZqwB7D5dvaDfdP1zsCTSN8h HHZHF+5d9Wu+NyVkd/EvIXcHyq+EIYVajbqwJmbqDGyzXB3Rxu73riyltDhDQkmwHrjzdA5H S7MrRv6fszqz/Hna6Q+JhAuWgK6t5Qpf+M22pE9j5wRx3UA05Cc/H5d1Hz2Lc0ew6X1KnwEW T8MxdfRpgnjwkxqaHyTlOebHj2QxNVsY96ibyYYwCU4uop1TpzS16NFkDFuvkCxhR/MJ/551 GR4q7Nm+DsBjucFtRB4hDrbGfYJAkhVJzfwjR2g8s34qqEdNy6/NLO30kR5h9WoCrqP9xpdV HjOcZAnBSZs7897PTogyVXL45r/MJnVZNMX7FiPlgvYyvJSI9Q3n+YLgixuPST8u2ckwqg1l 04m0Za/tYmBY2JjmcDxSiEeDXvOeMIe4Crxl692g9vQ2YTnEph6GzoNVYflVrr1SnRL7a2ha VvITGN0o2zTAbfFGA6D9EpqyhCHW4umMX2aPjhRzNlvQgWcOF0KhQkVWDsgmZtqXguuxcHnb AJ4/mVMvBih8kIKlL8ua0esNwWX7B2lYTo1VpWFeR9f7wUYolzQLdTb9OV4WSdR4pymqgWJb G2dfQVBS28TCSnmTxjuOKej4d7Y/q2WHO27erHxJ47IkvNfWu2T2Yim+pZ7uTCIfJbqXDEqH 7gg10xPUGosUfufoHM0VC0ajTnRdcezuQr6/Ck9/aXduLz7HQno44WIEb5bN95irgu3jam0P OmVnC9lKDxc28BE1TrSxbMYxlJXlzB2emznD+EbrSCUBvG1+OcfH1sBZih0LscN868swlwHJ 5vAkt2snr9g0qxpUxEUDxq53JnuPJFCInnhZg+fQh/Ta/LeY2WMmp+SA+v0SKUM3rgO8UTo4 XDDVRekZ2nLliG1BU31d7gU1mfDekQZ4d/1cw4xWzW5Cou+MVvjdocw1GJTo/V8h2uWZzdEb X4gLAUV6OXXtHwQg+0hSTZItiM3dLDdySjFt7GKeNFK4Z4JSmx1j7wIun1ikukMtXgWSqAtw 3mA6YI/61C+zLvVw2I+AkMX82RF2NrQ7xU6Yf2LpN4dABOmtFoM9TvCUR1S/ok8U4S9tfwIk YrEzPqremUFrouc/NNCVZLdcJvVaSN4YxS1QGWGAlNdFWz5cjyFzwlUlPXYnpGMhqAzsYOk2 J8HS7sBEUcwCutfEENuWtoLPJZwWDog17+dls8Bo3Sk/lHdQ8BTv5aPUfz3Y72nMDGCkbxNf AcF25vUB98rDNWhgxZJVwEix8LNBlbaWs1Lrmt5dAgorU5R8X94CGoux0bibQDr63gWcJz81 hI7kQpxZ+0x+Sykvg1xfwKT4nVt1hVv0dz+ySicajvwMLu9UclNBiz4ulJwepL3TgBpbBGjy ExpMDCXItAZx7BkdG1tlErdoc4SQ7gFFfQCPkJWma/EApdgmU5RoSim20JdsO7MCJ840RAvb YbptXVLnQRqcN8yI6XUYqtP1FlZwKyU7UrKnqg8xhETI0EV/SacYikN7QY3cIJgHDWp8/Z39 RaLsyZePm4IHalPwLoi5gYmNuKMwji1maZEMVy0PveDIrmxl0KbrfTQGAtq/X5QzxID+qVq2 8A+dUbST1oo0LaaCxUOM4zFNB1RaM1RsnPUeGzd1IeFiYIwNIK7GOfySOaIv6tBmUOoEjEiG IEU59gAFJ2hgwnIaN3qJ7kfxVAx9RzmcR+bWe9RdkvBw1Jl64mviYV61o5HKnQBDHVhZG+ps 63PqFZigeLfDotuJCZAGNNCbjVvBYW7g3IL4ywGVWHolLpfkE/bsVqe7mzRFGWuMoAlPa/MI 0sqUJbvpH0+6/Tk1ASRq82EYTm8bZM75JfO8b9I+szBUqsPC+E76wCFxOw6DzSrSzKdSIbpY cSvLdFqNZutVT67SgLt0TttFpWoZY//IPTQ2VO6AtoE1evTlDE7a53nH2lHSU4p/rMNuPonN 19EP8tzYAa25V43b/XteV7BgNvyGz3/eWMOF6sNirjjAt4fhys0ML3gwSN5HMhjlru5rRZWF ppS1kmMl7H+PsFfSXahQHUFIleW/HNrmTQ5bbQ8mr9nkkGP7ANUdjmPcKYBgIlsosx6A1fAe R2e5UIlWhmaidiaiuZN95w4pBNnx4wMi8Z46CCl+JjCfDirRaqn743PtDYtZsQnpKs3NpH/J syBt9XVmTmNFfHt
  • Ironport-sdr: 6813448f_6FSCg7328w9RV4JciIiatlRU8WJmcUnXhO1DuaKptiuyxGu CresngZ9ZgH4RjD6hv/lOPMm/JxGePD16+MbmZg==


# Second Call for Participation

SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING

Utrecht, the Netherlands, 07 July – 11 July 2025

http://afp.school

**Please register before June 15th**

## ABOUT

The Advanced Functional Programming summer school has been running for
more than fifteen 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;
* 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 15th, 2025
School: 07 July – 11 July 2025

## COSTS

€ 950 euro - Profession registration fee
€ 500 euro - Student registration fee
€ 200 euro - Housing fee

We will charge a registration fee of €950 (or €500 for students) to
cover our expenses. This fee includes all lunches, dinners, and coffee
breaks - you won't need to budget much else besides your travel.

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://afp.school



  • [Coq-Club] Utrecht Summer School on Advanced Functional Programming, Wouter Swierstra, 05/01/2025

Archive powered by MHonArc 2.6.19+.

Top of Page