Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Dutch FP Day - Call for participation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Dutch FP Day - Call for participation


Chronological Thread 
  • From: "Swierstra, W.S. (Wouter)" <W.S.Swierstra AT uu.nl>
  • To: "haskell AT haskell.org" <haskell AT haskell.org>, Agda mailing list <agda AT lists.chalmers.se>, "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] Dutch FP Day - Call for participation
  • Date: Wed, 7 Dec 2022 09:28:41 +0000
  • Accept-language: en-NL, en-US
  • 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=+/EPJy5TYW9pyBwwhj8yirXhFRsnYH/77OFVs5XUaY4=; b=c53J2jDuXPYT0Y1YpUDhkuCaE93JqYAKRDAlZEhoB6g2BHIL0hD3udRuhsgXzanuHjElvzCUzmlCgRsryWfjob8lSb51xPCf0R2VahdRo5C/+92PRguaJzPt84GN7fPt1jfvRdKsPX1z4VM4FTSvl3HJmriWqYPiitH9sCongPwbj5ODsUOULsHTSpr3bc/yWR4KvICDDQ2OpE8CCOWMw5LEjjsXQmmC1XiH+Y4td0NAH8FXhKWsLYzNGSGUrO9LPVIQN3QLnCpkDzUT8RvtdBV+A6JJjzv7XE/IQMcbEMIlEBAcuiDLaCXQiEwb4q56WJfqHXYPKafaLn4P6w4XQg==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=I1Zi9e5Nx8+qYwjp3cTPR7t9oKOqyKgsLq0rRTia9CgfAlaA52xcHXnp7FDALivqBvo2ntMAyf7bJ9OglmX08TP1aL3bZPnPBxuE0fa9BZGpKBZqtmzMhjiW6BouQMinNQrqnUuM9zRzOy7vPzrRjB77EEec8zEU1i5M+RlJeSV7JXOGiljZFBh89ou5vHC1iyZbA9hV1SHOAmWaSY6S3hpFwWGJad9nGwgiZOxzUrqaY3IFz2dv2cIq1JAL5R4CBKt7EMjKbmVhAGKmiMaFuhmcHO3aiD13J3buJSh3EpsCABWCJl41ww+hPwC/zqw2IMX3YVJ1bz1I+4wLNvS/zw==
  • 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 EUR05-DB8-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:0GL+X63DZA90fojRf/bD5Zx6kn2cJEfYwER7XKvMYLTBsI5bpzQOm GUdCG6FaayLMzPzcop2bNzio08GuZHRmtNjTlRl3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOH9IQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3ZRn0hVaYDkpOs/jZ8Uk346yo0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJWyDyybJHCEcGBKAVprhZBkNqr PMxEglYO3hvh8ruqF66YsRRvJx+aeXBbMYYsHwmyizFB/E7R5yFW7/N+dJTwDY3gIZJAOraY M0aLzFoaXwsYTUTYhFOUM14xr/u2yiXnz5w8Dp5oYIIpVOV9xNw3aL2LMDcUsGXA8NR9qqdj jKcpjikU0pAXDCZ4R6d21uDhuGfpjHUCbgPDIaZ89pHjnTGkwT/DzVNDADg+aDj4qKkYPpUL FVR8S4zp4Ap5UmzR5/8WQe5qTiKpHYht8F4FuQ77ESBwPrZ/hzBW28CFGYcOZohqdM8QiEs2 hmRhdT1CDdzsbqTD3WA6rOTqjD0Mi8QRYMfWcMaZVAb6Z7KpIcDtz/CEohNF4yR19LcIwill lhmsxMCr7kUiMcK0YCy8lbGny+gq/D1ougdtlW/soWNvlwRWWK1W2C7wQWAtq0ffO51WnHE4 iJZypD2APUmV8nlqcCbfAkaNJCEjxpvGBHBi1puGfHNHByBoyTLkWx4xDx/Ilx1P9xsRNMES ErauAcU6JUDMWawNfJwZdjpVpVsyrX8H9P4UPySdsBJfpV6aA6A+mdpeFKU2Gfu1kMrlMnT2 Kt3k+7zXB726ow+nFJaotvxN5d2mkjSIkuOGfjGI+yPi+b2WZJsYe5t3KGyRu449riYhw7e7 sxSMcCHoz0GDrKmOXSOrdRDdgFRRZTeOXwQg5wGHgJkClo3cFzN99eLmdvNhqQ5wfQJzLqZp BlRpGcBkwGl3iyvxfq2hoBLM+q0Bs4m9xrXzAQpPF2y3GMkb5rn5bUCbZZfQFXU3L0L8BKAd NFcI5/oKq0XFFzvom1BBbGg8tAKXEn03WqmYXD5CBBhJMQIb1KSpbfZkv7Hr3Rm4tyf7pdl/ NVNF2rzHfI+euiVJJqMMKnwngzo4SZ1dSAbdxKgH+S/sX7EqOBCQxEdRNduSy3VAUSbmGmpx EyNDA0GpOLAhYYw/ZObzeqHtoqlWa82VEZTA2CRv/78ODj471iT59ZKcN+JWjTBC0Ly2qGpP ttOw9/GbfYooVdtsqhHKYhN854Q3dXUioVh/lxWJ0mTN1WPIZF8E0aCxvhK5/FsxKcGmA6YW XCv29h9OJfQNPi4DVQ6BREEa96b3qo+gQji7vUSIWT76hRo/bGBb15gAhmUhAFZL5p3KIkAw 9Y+iPUJ6ge6tAUmAuyGgg9Q6W6ICH4KCIcjib03H67pjVAN5mxZQJmBFBLz3o6DW+9MPmYuP DWQoqjI3JZY50jadksMBWr/5vVcibsOqSJ14gc7fXrRoeX8h9gzwBF12hY0RF4Mzhx4jsRCC lIyPEhxfaiz7zNkgfZYZF+VGiZDOky92lfwwF43hmHmXxGWdmjSHlYcZ8eJ3m4kqlx5QBYK3 Yul2F7EUCnrdv7fxiEde1BogN29QM1T9j/totGGHcOEJacEWh/Jv7OUSEtUjyS2APEK2VPLl dNr9r1OdJ/QaDEbpvxjOba8jb0vGQ2gIT0bTd5x4qlTBnztImCu+DmRKnKeftFGCOzK/HSZV e1vBJNrfDav2Bmeqgs0AfY3HIZ1u/oy9v8uR6jOJ1Nal5e+9R1Sr4P32g7yoEQJUudeu58xB a2Jfg3TD1HKo2VfnlH8ifVtO026RIIhTxL91uXky9c5PcsPn880eH5jz4bumWueNTZm2Bemv AnjQavy5M46wKROm7rcKIlyNz+WG/jSCtvRqBuStu5QZ+zhKc3N7gMZimf2NjRsYIc+ZY5Fq qSvgvXWgmX15K07QkLIqamnTqNp3/i/bMBTE8DwLURZoxe8Zd/R00M93F68eLN0k4J7x8i4R gGHRtO6WvwLVvx8mnBESShsPCwMKqbwb6vQmD63quuNLjM/0gX3Csyt2lG0TGNcdw4OY4bfD C2tsdmQx9lolqZ+Lz5aOONHWbpWeETCX4kifP3P7QioNHGi2A6+i+GzhCge5iHuIVjaNsTDu LbuZAX0LTa2s4H2lOBpiZR45EArPSwskNsLXxwv/vBtgGqHF08AF+MWNKsGBrxykiDf0JLZZ inHXFA9CBfSDCh1ThHh3OvNBguvJPQCGtPcFAwb+0m5bySXBoTZDoU4p20kqz1zdyD4xe6qF cAG9zeidlKty5VuXqAI6ub9ne5jwejAy2kV/Vzm1fb/GAsaHa5AwUkJ8NChjsAbO5qleIT3y WkJqaRsbXyBERO0PewwPnlfFVceoS/lyCguYWGX2tHDto6HzepGjvriJ+X01b5FZ8MPTFLLb W2iXHODugh6xVRK0ZbFefpw6UO3NR5PNtWnaqnnLeHXt7/l8XwpZqvuggJWJPzPO2dj/5f1i yTq5XxW6IFp7qxO8OX+9DjlMK6dnp7B4/8lQeI/SfL7fcQF8uXk
  • Ironport-hdrordr: A9a23:KokVAa0YhNwfmOgtSbHUsAqjBJokLtp133Aq2lEZdPU1SL3gqy nApoV46faZskdzZJhCo7C90cu7MBfhHPdOiOF7V9rPYOCMghrOEGgN1/qF/9QiIULD398Y+6 Npc607LsbxA1h8hcO/xAWjCd4vzJ2m3cmT9ILjJrtWIz2CopsA0ztE
  • Ironport-phdr: A9a23:ZHU9VRfP+Z9oSguo38e/bf06lGM+j9HLVj580XLHo4xHfqnrxZn+J kuXvawr0AWUG9yLoKofw6qO6ua8AzBGuc7A+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oRvRu8UMnIdvKak9xgfHr3BVf+ha2X5kKUickhri6cq85oJv/zhVt/k868NOTKL2crg3Q rBfEDkoKX0+6tfxtRnEQwuP538cXXsTnxFVHQXL7wz0U4novCfiueVzxCeVPcvtTbApQjui9 LtkSAXpiCgcKTE09nzch9Fqg6JapBKhoAF/w5LRbYqIOvdyYr/RcNUHTmdaQM1fSzJODZ+9b 4sXDuoOI+BYr5Xmp1ATqReyHBSgCP/zxjNNgHL52rA00/k6EQHewgMvA84OvnrTrNXwLqgSU Oa1x7TMwTjMa/5a3DHw45XKfB88u/GBRbJ+f9TMx0kzGQ3LjVufppDqMTyazekNr3OU4vB8W e6zhWMqqQd8qSWvyMc2jYnJg5oYxl7Z+yR3wYY6O8e4SFVnYd6+CpRcrzyROItsTs0/WW1jp SI2xb0BuZ6mYCgF1o4nyxvRZ/eadIWH4gjvWvuLLTllinNleaywhwyp8Ui80O3zTNK50EtXr iZflNnMsmkA2hrO4ceIVvVz5F2u2SqT1w/N8OFEJ1g5mLbUJZMjxrM8i4cevEXfEiPrl0v4j LKaelk69+Wp6enqf7rrq5CYOoNqhQ/zLKsjl8+9DOo3MgYAUGiW9+q92bDl4Eb3TrJKjvgsn anYtpDXPdgbprOnDANP1IYj7w6zDzih0NQfknkHKExKdAibgIjuPlHCOOv4Dfa4g1SxnzZn3 e7JPqDnD57QLXbDiK/scLlh50JG1QY/0dJS64hKBr0dOv7+Wkv8uMTGAhI4LwC5zePqBMhh2 owEWG+CB7GVPL/JvlKN6O8gOfWAaYoQtTv/LfUu+uTggmUjmVAHeKmkxZsXZ268HvRhO0iXb nTjjMsdHWoKpwYwQvHnhV6bXT5UfHm9Qbgw5jYmCIK6FojDQZ2tgLqc0yuhBp1WfGdGCkySH nj0a4WEWvAMaCSILs9mjzwESbyhS4gm1RGtrgP1171nLu/M9i0Zs5LsysR16vXcmB0u7zB4E tiR3mOXQ21qgm8EXT870aRnrUx40FiD0Kx4g/JCFdxU4vNESgc1OYTBweBgFt7zVAPBccmTS Fa9XtWmGys+Q8ksw98TeUp9HdGiggjF3yWxG7AVjaCEBIQo8qLA2Hj8P9txx27c1KY9l1kmX tdPNWq+i6Fj8AjTHpfFnFmdl6a3bqsRxzXN9WeGzWqWpk5USg9wUaPfXXAefETat9r55lmRB 4OpXP4nOxBCxMqGAqtDcd7kiVEAQ+3scpyKY2uqmGq0AT6Iz6iPYY7uPWIH03OZQGELnwlb+ H+HMQk4CW+lonnCRGhnGl7mS0ft6vVl7ni7R0sxwhuRKVZsgf79sBUSnLmXT+4Z9rMCoiYo7 TtuVh7p1NXPTtGEugBJfaNGYNp77k0RhkzDsAkodKe/Lq14nUIEekA/gAXVkV03NYJdjcUw7 TlimDU0EuSjz1JMbSiEx5nYJ6CRLG2kr0PnULLfxlyLiIXewawI8vlt7gi61OnIPk8r8nE9l sJQz2PZ/JLBSgwbTZP2VE8zsRl8vbDTJCcntMvPzXM5F66yv3fZ3s4xQvM/w0OfOewZC7yFG RXpD9cTL9WzbuouyBCydhxRBOlJ7+YvOt++Mf6P2aqlJuFlyQ3gtiJ8/4FwyFmQ7SNUV/OO2 ZJWi+qA0F6/XiznxEykrtixmY1AYmQKGXGjzCH/GINLToBPR95WTEuEc4iwzNg4gIPxUXlF8 lLlH0kBxMKiZRuVaRr6wBFU0kMU53egnENU1hRSlDck5uqa1S3KmaH5cQYff3RMTy9khEvtJ o69i5YbWlKpZk4njknt40Gy3KVdqKllSgubCU5VYyj7KX1jWaqsp/KDZcBI8pYhrSRQVqy1f 1mbTrf3pxZS3TnkGiNSwzUydjfivZuc/VQytySmak1srXfDYt1qzD/C+ZraQb8Z3zYLQjV5l SiCHkK1bJGi+dSZkYuGs/jrCzrnD8UMN3Ozi97R507ZrSVwDBaynu6+gIjiGAk+i2rg0sVyE D/Pp1D6a5Xq0KKzNaRmeFNpDRny8ZkfeMk2n40uiZUXwXVfiI+S+C9NriHId+5E2K/kd2YXT BYW3pjT5EK2vS8rZmLM3I//WniHl4FeIeL8WXwX1zgm89pDILqJqrpA13g9sh+zqgTfZuJ4l zEWxK416XIUtOoOvRIk0iSXBr168VBwBSX3jFzI6tm/qP8Sf2Ozaf2q00E4m9m9DbaEqwUaW XDje55kEzUipsl4NVvN1jX05OSGMJHvK+lVjQKVng3bk/JcAI8s0PwOzSZqImPyu3Q5xvVz0 UQohMnl+tLfbTg8tKuiSgZVLDj0e98e9lSPxe5Fk8Ca0pruVpRtFzMXXYf5GPehETYcr/PiZ E6FFDwxrGveGKKKQVfZsR856SiXVc36ZBT1bDEDwN5vRQeQPhlaiQEQBnAhm4IhUxqtz4rne Vt44TYY4hj5rAFNw6RmLUqaMC+XqQG2ZzMzUJXaIgBR61QI2AHud/eB7+9pBD1C97W8sUqLL ibIAmYARXFMQUGCC135a/ORo+KGyPeZC/ClM+HHSaiT7+paHaTtp9rnws5t+DCCMd+KN39pA qgg20ZNant+HtzQhzQFTyFE3zKIdcOQow2wvzFmts3quuq+QxrhvMHcbtkaecUq4R29hr2Pc vKdlDosYygNzYsCnDfJ0ORNgAZU2nsoL3/1Vu1d/S/VEPCMwukOV0FdM2Urc5IWisB0lghVZ ZyG0JWsjuY+1rhtTA4ZHV35xpPwPZBMfz77bBWfQx/UfLWee2+RypmuM/rlEO9e0L0M5U/35 Wb+cQerPyzdxWPgD0n9aLgV3i/HZEcM6sbhI15sETaxFtu+M0/iaYYlg2Fumu9k3iuSZzxbb GAZEQsFr6XOv3lR2qwtQjUYvHQ5dbLWkH7Bt7uKbctP+fpzXHYunroDsi1jkulbsHkfFvItw HOA/Jkz+TTE2qGOzDFjTRZD+C1Tio7NpV9lJajS6phHXzDD4Q4J6mKTTR8NopMgA9nr8ci80 /D3nbnoYHdH+tPQp44HAtTMbdiAOzwnOAboHzjdCE0ESySqPCfRnR4VnPaX/3yT5p80z/qk0 IIJUaNeXUcpG+kyJ3lfRIFHDL0nGzQunPickdIC4me4oF/JXsJGs5vbV/WUR/LyNDKeiroCb BwNpNGwZYgeLYz03UV+Z0IywNyMQhKPG4oV5HAwJgYv6F1A6n1/UnE+1wr+ZwWh7WVSXf+4k xgqixdvNOQg8DC/hjV/blHOpSY2jAwwgYC52XbIKGG3dv/2ANAFbki8/1I8OZ76XQtvOAi7n Eg+cSzBW6oUlbxrM2ZilA7bv5JLX/9aV6xNJhEKlpT1L70l10pRriK/yApJ/+zAXNFd0jBsS oGtomhbxxhqRMMoY6rUbvksrBAYlueVsymk2/pkihcZPFoI+XiOdTQglXEybuRjCwD4u+tm5 EqFhidJf3UKW7wyuPV2+0ghOuOGiSX9z7pELUP3POuaZfD82SCIhYuDRVU+0VkNnk9O8O1t0 MstREGTUlgm0LqbExlafdqHMwxeaNBesWTCZSvb+/uY2op7Zs/uc4KgBf/LrqsfhVioWRokD 5hZpNpUBYGiiQnZNZu1cOZDmE9rvEKzYwzYRPVRJEDXyHFe+575lNkvmtADQ1NVSWRlbXfqv PCO/lds2LzbG45qKnYCAtldbi5wBJL8w2gB+C0fRDivjLBDwVDbvWal/3beUGGkPYgkOKfxB 1skCcnoq282q/Hk0AeOoJuCfzqoZ5M+65fO8b1I/Z/fUqENFOAvvRuEwNsIHyTyATyITIbQR dC4apFyP4b9Ui/oCwXm2TxpF5yjN471dvraxlyxDYdM7tvB1Wh6Z5bkT2MQR08r9e9bvPouN 0peOf9ZKVbpsQ86KqCychyA3NnoW3yqNTZdU/hYy6O9eqBTyC0vKOS9zTNlR5U+hYFfHmYQW dcMikOHrR5GT5RDFy73SCQ1k+TniBcDzzUkGsxih+A1zVXPrEUWNC2NeKpxcmtYstogBFSUZ 3JrFm4/QFzaho3GsFfE4g==
  • Ironport-sdr: 63905ccc_s2wikeGNB7tEGvSfWmsG8RoftwG+Y82JufialFuBGIeuh4C endBAFWVOwcXWnQXqOwro1R4EIblPoj3KdAyCLw==


===================================================================
FP Dag 2023

30th Netherlands Functional Programming Day

Friday, 06 January, 2023

CALL FOR PARTICIPATION

https://set.win.tue.nl/nl-fp-day-2023/
===================================================================


The Netherlands Functional Programming Day (or FP Dag) is an annual
gathering of researchers, students, and practitioners sharing a common
interest in functional programming. The day features talks that cover
the latest advances in research, teaching and applications in the area
of functional programming and (implementation of) functional languages.

Coffee and lunch breaks provide ample opportunity for networking with
your colleagues and meeting new people. Experts and newcomers to the
field are equally welcome.

Colleagues from neighboring countries are more than welcome to attend;
the language of the FP Day is English.


Registration:
-------------
Participation is free of charge, but registration is required:


https://docs.google.com/forms/d/1MgoY-tsSykzGtDdHq4GY4sTqO0Vm7oGIB2AXnDGbCL0

There is a soft registration deadline of Fri 23 Dec 2022.

We are thankful for the sponsoring by Sioux Technologies and the
Software Engineering & Technology group of TU Eindhoven.

Schedule:
---------

You will find a preliminary schedule on the website:

https://set.win.tue.nl/nl-fp-day-2023/

Details will be added as speakers become known.

Location:
---------

The morning session of this FP Dag will be held in the Auditorium,
Lecture Hall 04 of Eindhoven University of Technology. You can find
detailed instructions for traveling to TU Eindhoven here:

tue.nl/en/our-university/tue-campus/

The lunch and afternoon session will be held at Sioux Labs:

https://www.sioux.eu/media/pt0bkkhm/sioux-campus-map_extern.pdf

Organisers:
----------

Tom Verhoeff (Overall & Content) <T.Verhoeff AT tue.nl>
Anges van den Reek (Logistics, TU Eindhoven) <A.K.M.v.d.Reek AT tue.nl>
Duncan Stiphout (Sioux) <Duncan.Stiphout AT sioux.eu>


  • [Coq-Club] Dutch FP Day - Call for participation, Swierstra, W.S. (Wouter), 12/07/2022

Archive powered by MHonArc 2.6.19+.

Top of Page