Skip to Content.
Sympa Menu

coq-club - [Coq-Club] ICFP 2022 - book acommodation by June 30

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ICFP 2022 - book acommodation by June 30


Chronological Thread 
  • From: andrej.bauer AT andrej.com
  • To: epn-all AT inria.fr, types-list AT lists.seas.upenn.edu, coq-club AT inria.fr, haskell AT haskell.org
  • Subject: [Coq-Club] ICFP 2022 - book acommodation by June 30
  • Date: Wed, 8 Jun 2022 15:32:31 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=andrej.bauer AT andrej.com; spf=SoftFail smtp.mailfrom=andrej.bauer AT andrej.com; spf=None smtp.helo=postmaster AT mail-ej1-f43.google.com
  • Ironport-data: A9a23:bF9iXaL69jl2GcZ2FE+R6ZMlxSXFcZb7ZxGr2PjKsXjdYENS0jZRz 2BNXjrXMvyPN2qjc953Ydiy/RsHuMfVn4NgTQYd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefSLlbFILas1hpZHGeIcw98z0M68wIFqtQw24LhXVvd4 YmaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhnf5w6 s1irpeJRQ4yFITCo+s+dz5WKnQrVUFG0OevzXmXtMWSywjLcSKpzak1Sk4xOoIc96B8BmQmG f4wcmhcKEDewbjvkPTnEYGAhex7RCXvFIoZtmttz3fTBOsrW7jKRanQ6N0e1zA17ixLNaqGP 5ZJMWMzBPjGSxcXMBBPLJ9vpszrj1PzTQF4oQO2/YNitgA/yyQoiOS3WDbPQfSBQtwQlUKFr Erd7mHhC1cbMsaewHyL6BqRavTnmCr6XMcfFuT9+KIxxlKUwWMXBVsdUl7TTeSFZlCWWfxeC VQ74SEXoaEp3mWlddbeezq2mSvR1vIDYOZ4H+o/4QCL76Pb5QeFG2QJJgKtjvR25KfaohR6h je0c8PV6S9H6+LKFCrMnluAhXbjZnhPdD5qiTosFFNdu7HeTJcPYgUjp+uP/Yawh9zxXDzym nWE8HN4iLIUgsoGka68+DgrYg5ARLCZHmbZBS2NBgpJCz+Vgqb7OuREDnCFs559wH6xFAXpg ZT9s5H2ABoyJZ+MjjeRZ+4GAauk4f2IWBWF3wMzQcN/qW7yqyTzFWy13N2YDBc5WirjUW+5C HI/RSsMjHOuFCD2MfUoO9zZ5zoClPi4So2Nug/ogipmO8AtLmdrDQlhYkmf222FraTfufBXB HtvSu71VSxyIf0/klKeHr5BuZd2mH1W7T6MHfjTkkX/uZLDNSX9YepUYDOmMLplhIva+1692 4gEZ6O3J+B3CrKWjt//qt5Nczjn7BETWfjLliCgXrTTc1Y4QjF9Uqa5LHFIU9UNopm5X9zgp hmVMnK0AnKm7ZEeAQnVOH1ldp31WpNz8SAyMSA2ZA760n4ve4utqqwYcsJvL7Ug8eViy99yT uUEKpnbWq4QFWuY9mRPd4T5oaxjaA+v2VCEMR26bWVtZJVnXQHIpIPpJ1O96CkUAyOrnsIiu Ln8hBjDSJ8OSl06XsbbYf6i1X2run0ZlL4gVkfEOIALKkzq/JJnKWr6ifpue5MALhDKxz270 QeKAEZE/rGX/NBqr9SQ3PKKtYakFed6D3F2JWiD4ObkLzTe80qi3ZREDLSCcwfCWT6m466lf +hUka3xaaVVgFZQvoNgOL931qZitcD3rrpXwwk4TnXGa1OnVuFpLnWch5Ids6RMwvpUu1LzV B7UvNZdPrqNNYXuF1tIfFgpaeGK1Pc1nDjO7KRqfB+runcvpLfXA19POxSsiTBGKOcnOo0Sx +p86tUd7Bayi0Z3P9va3DpY8X+Aci4JX6k97MpIBYbqjk8myAgHb8CHTCDx556LZpNHNUxze m2Yg6/LhrJ9wEvecipsSSKcg7IF3Zle6gpXyFIiJkiSnoaXjPEA2hAMoy88SR5Yz0ka3u9+U oSx25aZ+UlaE/ZUaMl/s6SEHghAAFiU+BW0xQdS0mLeSEasWyrGK2hV1SNhOqwG2zo0Q9SZ1 OjwJKXZvfLCdcf9xCYwH0VirpQPiPRvoxbalpnP89utRPEHjPmMvkNqTWMOpwHqA4U6g0ivS SyGOgpvQfWTCBP8aJHXx2VXOXr8hfxEyKF/rSldwZ40
  • Ironport-hdrordr: A9a23:1uFWy6qNSCAZ6WF5aupSjHoaV5urL9V00zEX/kB9WHVpm5Oj+v xGzc5w6farsl0ssSkb6Ki90dq7MAjhHP9OkMIs1NKZMDUO11HYSL2KgbGC/9SkIVyGygc/79 YrT0EdMqyWMbESt6+Tj2eF+pQbsb+6GcuT9ITjJgJWPGRXgtZbnmVE42igcnFedU1jP94UBZ Cc7s1Iq36LYnIMdPm2AXEDQqzqu8DLvIiOW29LOzcXrC21yR+44r/zFBaVmj0EVSlU/Lsk+W /Z1yTk+6SYte2hwBO07R6d030Woqqu9jJwPr3NtiEnEESutu9uXvUiZ1S2hkF1nAho0idurD CDmWZlAy050QKqQoj8m2qR5+Cn6kdi15aq8y7lvVLz5cP+Xz40EMxHmMZQdQbY8VMpuJVm3L tMxH/xjesgMfrsplWI2zHzbWAcqqN0mwtQrccDy3hEFYcOYr5YqoISuEtTDZcbBSr/rIQqCv NnAs3Q7OtfNQryVQGQgkB/hNi3GngjFBaPRUYP/sSTzjhNhXh8i08V3tYWkHsM/I80D5NE++ PHOKJ1k6wmdL5eUYttQOMaBcenAG3ERhzBdGqUPFT8DakCf2nArpbmiY9Fkd1DU/QzveQPcV T6ISFlXEIJCjPT4Je1reN2Gzj2MRWAYQg=
  • Ironport-phdr: A9a23:kN+32BF8ex7GmjbBgfBq9J1Gf0pGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k31xmQBdqQtagMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5ZPebx9ViDahY75+I xS7oRvMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2Q rxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6 bpgRh31hycdLzM38H3YhMN/g6xGoxyvqQJxzYnPbYGJLfp+e7/RfdMGSWdDWMtaSixPApm7b 4sKF+cOJ+BYoJTnp1QQrxuyHxKjC/nyyjBWnH/7xrc10+I8HgHcwgMgHcgCv2jTrNXwMqoZT O+6wrXSwzrZc/NWxSny6JLOch05o/yBU7x9fdTVxEQuGQ7IkkmcpJLnMj6I0ukBrWaW4/d+W e+ui2AppRx8rziry8oui4TFmIIbxk7a+Clk3oo5O9u1Q1N1b96jFZtfrSCaN41uT8M5QmFot z46yrkctp69ZiQKz44nxxHZZveacIaI+gruWPiNLTp8nn5oe7Kyiwys/US9yeDwTMa53VhSo iZYltTBuGoB2wLJ5sWGSPZx5Eis1DKJ2gvO8O9LO1o0mrDeK5M5wr4/iJ4TsUPbEy/zgkr2j auWelw69eiq9ujre7vmq5CSOoNuhQH+NaMumsO7AesmKAQBQ2+b+eGk2L3i+032XqlKg+Uon qXFtJ3WP8cWq66jDwNLz4ou6AyzAjio3dgAmHkINlNFeBaJj4jzPFHOJej1Au25g1uxijdk2 fLGMqf6DZrXM3jMjq3hcK1n5E5a1QUz185Q55BOBr4dJ/LzX1f9tNrDARAhKQy73/7nCMlh1 oMZQW+DH7eVMLnOvl+Q+uIvP+6MaZcJtzb6Mvgp/uLhjXskmVAGZqSpxpsWaHWgHvt8OUmZY Hzsgs0AEWgQpAY+Qvbq2xW+Vmtef3D3VqY4zjA9EoOvS4nZAsixkaSMx2K/H4ZKTmRHEUyXV 2zlfp7CRu8BbiTUL8N81nQPUqHkQIs83zmvshX7wvxpNK6c+iQDtp/n0PB17vbQmBU2sztuA JezyWaIGmhyknkFRXk81b1yu2R0zFuZ3Ko+iPtdRo8b3O9ATgpvbc2U9Od9Ed2nAmopH/+MQ VeiGJC9BC0pC8g2yJkIalp8HNOrilbC2TCrCvkbje/DH4Q6p4Tb2XW5PMNh0zDezqB0hl8qW MZNc2evm6Nl3wHVC5TEkQOSkKP5Pb8E0nv282mf42OPuAlDVRJoF6DMXHQRfEzT+N3/6lnPT fmkAKkqKCNIz8KYJ6kMYdrs3h1dXPm2HtPYbiqqnnuoQxaFwrTZdI3xZ2AUxznQEmABmgEXu HuEbE0wWnznrGXZAzhjU1noZisA6MFYr3W2Bg8xxgCONQh60qatvwQSjrqaQu8S2bQNvGEgr S91FRCzxYCeDd3IvAdncKhGBLF1qF5ayWLUsRB8NZ28PuhjgFAZaQF+o0Lp0V1+FIxBlcEgq H5iwhB1LOqU11ZIdjXQ2p6VWPWfI2/+5h2tLaTfx1zE+N+Q9r0C6rIzrFCi9AClG0w+8ml2h sFP2ij5hN2CBw4TXJTtF0cvokIi9veKP29nvtOSiSY/VMv8+iXP0N8oGuY/nxOpftMFdbiBC Be3CcoRQc6nNO0tnVGtKBMCJuFbsqAubKbEP7OL3rCmOOF4kXeol2NCtcp01E6W+ig6QOfV0 owtyveUxAaFETz7iR3y16K/0ZABfjwUEmelnGLtAoJLa680d48WBH2GKsu73Nh8wZXqXjQLk TzrT0ND08ivdx2IalX71gAFzkUbr0usni6gxiB1mTUkxkaG9BfJzfjMfRsDci5OTWhm1xL3J JSsysodVw6uZhQokx2s4QD7wbJareJxNTubTUBNdinwSgMqGqy+/rOEb9RC6tUiuDhaSsy1Z 1yAR7y7qBwfmyL4V2pYzzQ6cTym8on+1xp9lCqRIW1yo3zQZcwVp1+XvoSNA64MmGBfFG8k0 nHeHRCkMsOs/MmImpuLqe24W2+7F9VSfSTt0YKcpX6+7GxuDwe4mqPW+JWvGgw73CnnkthyA H+Q/VCsP8+xjvT8bbk0GysgTEXx4Md7BIxkx445hZVKnGMfmo3Q530M12H6LdRc36v6KnsLX z8ChdDPs22HkAVuKGyEw4XhWzCT2MxkMpOzZG8M1yB75clXBb285bpIhyZ35FG/qEiCBJo11 idY0vYo5HMA1qsAvgY3wyfbCLkPEFNwNCrgjRmKqdu5qe8EAQTnOaj13014k9e7CbiEqQwJQ 3f1dKApGipo59l+OlbBgzXjr5vpc97KYZcPpwWZxl3e2vNNJst7xZ9ozWJ3fHjwtno/x6sng AxyiNuk6ZOfJTwl/aSyBgNUO2/0bMcU5z2rhqFb1tCf24Tldnl4MhMMWpagDfehETZI8O/iK x7LCjo37HGSBbvYGwabrkZgtXPGVZ6xZTmRIzECwNNuSQP4RgQXiR0IXDg8gp8yFxy7jM3nf kBj4zkN51n+4hJSw+NsPhP7Xy/RvgCtIjszTZGeKlJR4GQgrw/NNteC6+toAyxC1piorQjIJ 27CIgoUVicGXUuLA12lNb6rpJHB/+WeGuuiPq7ObLGJ+ok8H7+DwZOi1Jcj/i7ZbJ3eeCk/S adiigwfBiMceYyRgTgERi0JmjiYaseaoE354ShrtoWl9/+tXgvz5IyJAr8UMNN1+hnwj73QU ozYzCt/Nztc0YsBgHHSz71KllcUhztjdX+nGKkNrwbESq7Kl60RBBkeIXAWVoMA/+cn0w9BN NSOwMvyzaJ9h+UpBk1tUFXgnoSkZ5VPLT3mclzAA0mPOfKNIjiBkKSVKeusDLZXiutTrRi5v z2WRlTiMjq0nD7sTxmzMOtIgUlz3TRbsYC5NxtvUC3tEImgZRq8P9t6yzYxxO9s7pslHWcaP SJxcQVGqbjCtkuwZ912HWBb43gjJu6ByX7x0g==
  • Ironport-sdr: 5wbOJ+f9X1EJ/83mf9sL0BfUzKT51Eq7r9aJ4ZZ6OCRNArpUHWv9GJCt+ze2Tyd0EFXkAW9pf4 ukUZ9kEBMIBKI2nNtJWNqu1cWZz9DP8xTrYJ0d+3rUpkRESPWQE+BO2uzirVUivXIYhzFwPrTR 8MbXNeYROkVQNqfN0K1kue+WVZCDlpWflQAWPbTmhjwT4GJBmfa8mtqYWkpnEDiFPmoKybWijC 5s35myBoNirL5IV41KF5T+IS2flIZHvxKEAUvRNj11O2YKWWtHTEJzf9zQ6lbrmcoGDr6AbwX9 zw1dSobx7JOqSwsCYia8u+xn

Dear all,

apologies for semi-spam, but I would like to draw your attention to the
looming deadline for accommodation reservations for ICFP 2022, which is
taking place in Ljubljana from September 11th to 16th 2022.

Because Ljubljana is a popular tourist destination, we're only able to hold
rooms for ICFP participants until June 30th, after which they will be subject
to availability. If you're considering attending ICFP, which I hope you are,
I encourage you to book your accommodation early. The venue has partnered
with local hotels and set up a web page, see

https://icfp22.sigplan.org/attending/accommodation

Note that cancelation of reservations is free until August 15th, and that
date changes are free but subject to availability. So there is very low
financial risk in reserving a room now – but it may save you considerable
trouble and money later on.

Apologies again for sending you such trivialities.

With kind regards,

Andrej Bauer
General chair of ICFP 2022



  • [Coq-Club] ICFP 2022 - book acommodation by June 30, andrej . bauer, 06/08/2022

Archive powered by MHonArc 2.6.19+.

Top of Page