Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Call for Participation FUN 2020 & 2022

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation FUN 2020 & 2022


Chronological Thread 
  • From: "Mosteiro, Miguel A." <mmosteiro AT pace.edu>
  • To: "Mosteiro, Miguel A." <mmosteiro AT pace.edu>
  • Subject: [Coq-Club] Call for Participation FUN 2020 & 2022
  • Date: Tue, 19 Apr 2022 20:44:12 +0000
  • Accept-language: en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass (sender ip is 198.105.34.2) smtp.rcpttodomain=informatics-europe.org smtp.mailfrom=pace.edu; dmarc=bestguesspass action=none header.from=pace.edu; dkim=none (message not signed); 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=bvg//WG948qrEbEn6j6eKFYlCFmgwzDCo12t2m/tB5w=; b=F70zcTrcDsb1V8JR7fnzPs/3X/yO+2O7dohW7aT3z5Gj6ZTxLpvbZ/JlfXaRe2Q6YayNfMG8Bv+y2G19S5ehvpjrbzODyMyPJzUyIzFyvWGJkHGgfpLqQKeUvbiKB4KeMOmlxdoOC+Nr7IOrqBQnXsGsbn4f6ySH08QhEYH8KRJtkLLxGVRHNWeSzYoFVePJi57umuYaqGLiZ9POrk3ii5d9wsMIUIXhh5VZd0V8CDcGUAB5UNX0PJnPXErVAGcbEd/upOy/n2A2Pd6SI392xEjYRGxEkxzPP0VlXStTzBuFvNiByucM6cH2tpLoTagkDcTZVEL0DZooBsHktNUTAA==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=CtvlFt19yQbya5tljQcTiabFVHB2CU/lao9UhPvbGeF0CDLeg49aO1JccXUHcAPpIhKAq5TQW+hgpbWOrS98d/e0glm5aEzW7fFZFmOugVJp6pCk0NXsrOu3mqHezx45p7+WjI0C4aGbEqSbU+ICus+tPbnyr40qMvDWaCJ0DjBxBmzeQ7CEyAr3DL+nOyQTfygO+dyyjYnKhWgi1YIFIxYwk/N2UXS5xvLZK/ObQd7IAmgUj242apdFEeEVzUgN/3Q6nszqOHJ18q7wnJ9LazFBVcbaBU9USGFQ0Kfo9yBnv5hFNJo/8aLR77DZ3fkAudQe3FiKYhfbTNTAzMyT1Q==
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mmosteiro AT pace.edu; spf=Pass smtp.mailfrom=mmosteiro AT pace.edu; spf=Pass smtp.helo=postmaster AT NAM11-BN8-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:lTepGazJpfC4C/oRUqp6t+dtwyrEfRIJ4+MujC+fZmUNrF6WrkUEy mBLWjjQaa3ZNGGkLY0jOtji9hlT6J+Am9MwGwtuqVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOOU5NfsYkidfyc9IMsaoU8lyrZRbrJA24DjWVvR4 IKq+aUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPhAw eRcmYfoFzsqAZDjhuJHXkVqNThxaPguFL/veRBTsOS15mifKj7G5aUrC0s7e4oF5uxwHGdCs +QCLywAZQyCgOTwx6+nTu5rhYIoK8yD0IE35ikmlGmGS6x9H9aaG/WiCdxwhF/cguhLGPHFe 8cYcz1HdB3LbltCNkp/5JcWx73z1yimLWQwRFS9+JJr/lqD9SFI2pfCO+veVPWwHJR2kRPNz o7B1z+gWUpFXDCF8hKO9WvpjevSlwvgSYcKHfu58ORriRud3AQu5AY+UFK6pbyzjB64UtcGc ksSoHN2/e416VChScT7U1ugunmYsxUAWt1WVeon9AWKzamS6AGcboQZctJfQO0vhd4aXmR06 ly2ovz3A2Zi7I+zUH3Io994sgiOESQSKGYDYwoNQg0E/8TvrekPYvTnHo0L/Emd3oKdJN3g/ 9yZhHNg2ehI0abnw43+ogCc3G/0znTcZlRtjjg7SF5J+e+QiGSNTYu55UTc656sx67DFQjY4 xDodyVhhd3i4LmInS2JBe8LTLeg4q/cNzuG2AY/WZ486z6q5nivO5hK5y1zL1toNcBCfiL1Z EjUukVa45o70JqWgU1fPN/Z5ycClPSI+THZuhb8Mocmjn9ZKVfvwc2WTRTMt10BaWB1+U3FB b+VcNy3EVERArl9wTy9So81iOF2nnpllTKDGMijl3xLNIZyglbFFN/p13PePogEAF+s+1S9H yt3a5bWkU4EDrWWjtf/qN5DdwhTRZTEOXwGg5cOLbXcSuaXMGQgAOXW2rQvZ8RumL5Nkf3B4 nC6XCdlJKnX1BX6xfGxQik7MtvHBM4hxVpiZHBEFQv2hxALPNj+hI9CJ8pfVeR2r4RLkK8kJ 9FbIJ/oKqoUFVz6F8E1NsSVQHpKL0jw2mpj/kONPFACQnKXb1WQpIS1L1e1qXFm4+jenZJWn oBMHzjzGfIrLzmOxu6PAB5251/u73UbhsxoWE7EfotadEn2oNpyIif8yPI7PphUexnEwzKb0 SeQAAsZ+rCc/NZvqIGRiPDWtZqtHst/AlFeQzvR44GwOHSI5WGk24JBDLuFcGmFBmP58amvf 8tPyPT4PKFVlVpGqdouC79gwOQz68a2/+1WyQFtHXPqaVW3C+w5cybfh5EX7qAUn+1Xowq7X E6L6+J2A7TRNZO3CkMVKSokcv+HiaMelA7U4KlnO079/iJ2oOeKXEgObRmBjCtRcOl8PI8/n bpznuczslX6oDx6d9GMg2ZT6niGKWEGX+M/rJYGDYT3iw0tjFZffZjbDSyw65aKMo0ePk4vK z6SpazDm7UDmRWbIyBvTSDAjbhHmJADmBFW11tddVmEn9zygPVojhBc9DIASBtYk0dc2OVpN 2k3bEB4efeU8zFziJQRVmygAVwYVhiQ+0i0wV1ZkmTcFhCvUDaUdD17PvuR9kcE9W4aZiJc4 LyT1GfiV3DtYd312SwxH0VirqW7H9B28wTDnuGhHtiEQMZlOGq/3vf2aDpasQbjDOMwmFbD+ rtn8eN2Xqvxanwdrqg9PI+F2OlCUxuDPmFDHaps8a5h8bswo91uNeVi6nxde/+h49Ts2GrhU olEAJIKUB6zkiGTsjocGKgAZadum+Ik78YDfbWtInMat7yYrXxit5e4Gu3WmjowW9s3+SoiA tq5St5AOjX4abhod6vltMBPNyy1bcRsiMjUwrWu6OtQf34cmLgETKzxu4dYe12NOQBquR+Yo WsvokMQI/NKkexRomcnLkmP68hY5z8+uCRkPT1fa+hzUO4=
  • Ironport-hdrordr: A9a23:roRh36qUKawUBg8DzZmETSQaV5v/L9V00zEX/kB9WHVpm5Oj+v xGzc5w6farsl0ssSkb6Ky90DHpewKpyXcH2/hvAV7EZniQhILIFvAW0WKG+VHd8kLFh5RgPM tbAs9D4b7LfC5HZKTBkXSF+r8bqbHpntHK9IWuqgYIcexzUcFdBm9Ce0+m+yZNNXB77O8CZe GhD7181kKdkBosH6KG700+LqD+TpDw5dDbSC9DIyRixBiFjDuu5rK/Ox+E3i0GWzcK+rsm+X itqX252k0O28vLhiM1gwXojqh+qZ/E8J9uFcaMgs8aJnHHkQCzfrlsXLWEoXQcvPyvwExCqq iWnz4Qe+BIr1/BdGC8phXgnyP61iw11nPkwViExVP+vM3CQi4gAcYpv/MATvLg0Tt7gDhA6t MM44vZjesRMfr4plW42zEcbWAyqqK2yUBS39L7wUYvDLf2I4Uh07D3x3klWqvoLBiKo7zPWN Meff0028wmPG9yT0qp/lWHk+bcHUjaIH+9Mwc/U4quon1rdFsQ9Tpp+CQI9k1wh67VZaM0ld j5Dg==
  • Ironport-phdr: A9a23:MB+EGBZW29/4eMWjmvckmij/LTGg2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gWPB92AoKsZ0qL/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNfQlEniSxba98I Rm5sAncttQaipZ+J6gszRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3Q qBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4 qx2TxDmlToHNyUh8G7JlsNwkKxVoBWkpxNlwo7UZpyeOP5xc67ZeN8XQ3dKUMRMWCxbGo6yb 5UBAfcdPehWrIf9pkcBoxSxCgS3GOPv0zpIimPq0aEmzegsFxzN0gw6H9IJtXTZtNv5OqAVU eCu0KnH0zTDb+lR2Tvl9YPGdREhof6RXb1udcra1FUiGxnLgl6NroHlOjaV1uMWs2iH8eVgV Pivi2k8pgFpuDeg2tkjhpPXiY0I11DJ7CN0y5s6KtOkUkB0e8KkEIdOuCGAMYt7Wt8vTnx2t Sg6yrMLt4K3cSsIxZon2RPSa+CKf5WI7BztSeucPTl2iG5ndb6hmRu+7EeuxOLiWsWp0ltHo CRIn9vKu3sQ2RLT7c2HReF8/kenwTuP2AfT6uZLIUAwi6XXMYIuwrk1lpcVrE/NHTf2lV35g aOKbEko5/Sk5ub9brn4qJKRNpV4hhziPqktgsCzHOY1PhYUU2SF5eiwzrLu8VHjTLlXk/E6j 7HVvI3eKMkYvKK1HhNZ34Y55xuxADqqysoUkH8aJ1xfYh2HlZLmO1TWLfD4E/i/h1OsnS9zy f3aObPtH4jBImHenbn5frtx8klcxxEtwtxF4JJUF60BL+n0Wk/sstzXEwU1MxSuw+bgFNVyy J8RWX6OAq+eNqPeq1iI5v8zI+mIY48VvzX9J+I56P7piH81gV4dfa+30psLcH21EehqL1+Eb XbwgNoNC3kGswQ/QeDwlVGOTT1ea263X60m5zE7DIymDZ3ERoComLGB2SK7HppNZmBaFF+ME G3od4KfVvcUci2dPtFuniYaWre8Vo8tzReuuxTixLp9MuXU4jEYtY7k1NVt+uHfjQsy+iBsD 8SBz2GNSHl5kX8PRz8vxaxwvUh9ykqY3qVjmPxZFdlT5+tTXQsgNJ7cyfZ6C9HoVQ7bcNeJU gXuftLzSxQ2Vc48wsUJJw5YGtq/gxSL9mzgS+sQkruQGJE16KX0x3H6KoBwx2uQh4c7iFxzC O5ILnGrh7R4s0D2BoHUnkHRvuDgPfAZ2SnW6GqC122mpEhTXUh9XbiTDiNXXVffsdmsvhCKd LSpE7lyblopIa+qL6JLboesllBaXLL5P9+YZWutmmC2DBLOx7WWbYOsdX9OlD7FBh0ilAYet W2DKRB4Hj2o9mfbCydyGFP1ZGv0+OJz7n63Uxx81BmEOnVozKH94RsJnbqZQvIX0KgDvXIkr jJvAFu8xdX+E9OLqkxscLgPKcgl7gJ/3HnC/xd4IoTmL61mgQsGdB9rukr1yxhtIqNptJFz6 VkMnE91I6/e105dfTSF25y2IqfQNmT54BGobejRx03a19GVvKwI7ZzUsn3FuwekXgon+nRji ZxO1meEo4/NB0wUWI7wVUA+8157oavba28z/dGc03okKqSyvjLYvrBhTOI41hatecteO6KYB UfzFcMdHc2nNO0tnRCgcBsFOOlY8KN8MdmhcrOK36uiPeAomzzD7ywP5YV6yV6B9jB7YvbB1 JtDzv2Fn0OGWzr6kFa9o5Xvg4kXLToWH2e51W3lHNsNPusrJdlNUzzwZZTvloYb5dalQXNT+ V+9CklT3caofUDXdFnhxUhK0k9Rp3W7mCy+xjgykjczr6PZ0jadpoaqPBcBJGNPQ3FvyFn2J o3hxdUfW1O0YgkzkzO97E33gaVXue4sSgubCVcNZCXwI2x4B+G1s72Zf8NO8pQAqSxcXaKxb U3QGfbt5hAd1S3kBW5Xwjs2IiqrtpvOlBt/kGuBLXx3oRI1YOlIzAzErJzZTP9VhH8dQTVgz CPQDR66NsWo+tOdk9HCtPq/XiSvTM8bfS7uxIKG/Cy1gA8iSRi6mOuvl9z9FiAi2CT2kdRmS G3EoQ39bY/iy6mheb4/OBAwWxmmsJQ8Q9ku2oIrzIkdw30bmomY8R9l2S/oPNNX1Li/JHsBS DgXwsLEtQ3s2UltNHWMlMryUnSQxNckZsHvPjtQg3piqZoRVuHNtOwX+Ek96kC1pg/Qf/Vny zIUyP90rWUfn/lMog0miCOUHrEVG0Bcey3qjRWBqd6k/8A1LC6id6a90E1mkJWvFraH90tZX XHiZpojByhY9sx0PRTB3GC5ueSGMJHAKMkesBGZiUKKiu1SM448l+ANrTJuMm+7sHE4gb1zn Vll2pe0u5KCImNm8feiAxJWATbyYtsa5jDniasN+6Tel5DqBJhqHS8HGYf5Vf/9WixHruzpb kzdWC15sHqQHqDTWBOS+Fsz5WyaCIilbhT1bDEY1YkwGEHbdRYZ2EZMG2xn1p8hSlL2nIq4K Bg/vnZJoQem4hpUlrA1bV+mCj+Z/EHwLW5oLfrXZBtOslMbvxuTbZPYtqQrWHgHtpy58l7XI zTCNV0RVDMHBhTcVQKkYunLh5GI8vDGVLC3d6KcOOzX++ICD6zal9XzgsNn+T2IK8mCbGJ6A fF9wlBEQX1yB8XenXMIVjATkCXOKcWcoXLesmUyp8S7upwHQSrX7JCUQ/tXONRroVWthLubc vSXj2B/ICpZ0ZUFwTnJzqIe1RgckXMmez6oGLUG/SnDKcCY0rdQFAIeYjhvOdFgyYsZh1AIE +iLz9T/2/h/k+I/DEpDWRr5gMa1aMcWIma7clTaGEKMM7fALjrOpqO/Ka+xUrxfiuxIugb45 W7dShe8eG7YyX+wD0DnOPoElCyBOR1CpIyxOg1gD2TuVpOuaxG2NsN2kSxjwbAwgSCvVyZUO jx9fkVR67yIuH8AxKwnRCobtSQjdLHUyEP7p6HCJ50bsOVmGHFxnuNeujEhzqdNqTtDT7pzk TfTqdhnpxenlPOOw3xpSkkryH4DiYSVsEFlIaic+INHXCOO+RcK9nmdCg4Nj8NsAdCptqxNg Iuq9uq7OHJZ/tTY8NFJTdDTM96COWE9PADBPhfxVVJAZxj7cGbVigpaje2Y8WCTot4isJ/wl ZESS7hdElsoCvcdDUcjF9sHasQSPHtsgfuQi8gG4mC7pR/aSZBBv5zJYfmVBO3mNDeTibQXL wtN277zKp4fc5Hqw0E3IEcvh5zEQgCDOLIF6j0kdAI/p19BtWRzXnFmkVywcRujuTcSDaLmw kZw21E4OaJ1s26xq1YvegiW/G1pyBZ3wZO9xmnPFVy5ZKaoAdMLUWyt7xB3atWjBF8pJQyqw R49bGuCG+0X1/04Mjk0wA7E58kVEKYFH/QdOU0emanPNadvjQQ5yG3vxFcZt7HMUcIwzVJzI 5Dw9ykSiUU/PJY0I6fUOaZEnENIiK7IpjWvyu063A4ZIQAK7X+WfykL/kcPM9xEb2Lt9+hoo 2RqfhNbcWMBEfcmv6AynqvSE/yJxC+m3rJeeBnZ3w23CYq84jGFv+jYB1Q62wUPilVP+qVw3 YE7aU2IWkszzbyXURMUKc7FLgITZM1XpiG7QA==
  • Ironport-sdr: 6waq+v2jEkhXrTuho/ANmU0Xs68/LXhmcLHisIPRaKtj0g+nF6+6GjEy8D0FBEIWbPn+QkKPVY /SRwYdm/A/q/UWxPq3u1hFhco5Q6am1hs2vZApnwFyGsEdiU32zMZi0jJut2hfEe4f0dHX7s2i 7/RRO50HYmfG3nQRlTmsGWHXnBbIufzKF55HemHW8fkz8GbnAxF8qya6D1Po7rA0v5t6f2X7r4 nOtzjD2IKhBIDj7fF3rPDrJ/fbaawJZvGdIEZg3eB7xtmr7nb/9KuES8jiscLlDZ7LyDaZJ5Dd 9E0uFmhcJbg86c798h9UU+XD


(Apologies for multiple postings)

========================================
Call for Participation FUN 2020 & 2022
========================================


The 10th & 11th International Conference on Fun with Algorithms will be held
in Island of Favignana, Sicily, Italy on May 30 - June 3, 2022. The
conference is planned to be held with all participants on site. FUN 2022 will
be co-located with FUN 2020, which was postponed due to the pandemic.

The conference program is available at:
https://sites.google.com/view/fun2020/program
and
https://sites.google.com/view/fun2022/program

Registration is now open at:
https://sites.google.com/view/fun2022/registration

We look forward to see you in Favignana!
FUN 2020 & 2022 chairs


========================================

  • [Coq-Club] Call for Participation FUN 2020 & 2022, Mosteiro, Miguel A., 04/19/2022

Archive powered by MHonArc 2.6.19+.

Top of Page