Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] [ANN] jsCoq + CoqDB mini-workshop tomorrow

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] [ANN] jsCoq + CoqDB mini-workshop tomorrow


Chronological Thread 
  • From: Suneel Sarswat <suneel.sarswat AT gmail.com>
  • To: coq-club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] [ANN] jsCoq + CoqDB mini-workshop tomorrow
  • Date: Thu, 31 Mar 2022 00:26:54 +0530
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=suneel.sarswat AT gmail.com; spf=Pass smtp.mailfrom=suneel.sarswat AT gmail.com; spf=None smtp.helo=postmaster AT mail-ed1-f50.google.com
  • Ironport-data: A9a23:KgSUjKOz96NN8pLvrR2XkcFynXyQoLVcMsEvi/4bfWQNrUpw3zIBn zNNUD2Fb6zZMGP9fNgjPI7k8UkA7MSHm9VgQHM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8kk/jgqoPUUIYoAAgoLeNfYHpn2EoLd9IR2NYy24DiWFvV5 bsenuWGULOb824sWo4rw/nbwP9flKyaVOQw4zTSzdgS1LPvvyF94KA3fcldHFOkKmVgJdNWc s6YpF2PEsw1yD92Yj+tuu6TnkTn2dc+NyDW4pZdc/DKbhSvOkXe345jXMfwZ3u7hB2Yuc1Bl u9wh6C5agkUJaDyn/ZNC0JhRnQW0a1uoNcrIFC6uM2XikDKKj7inq0oA0YxMokVvO1wBAmi9 9RCcGFLPk3F3brmhu/jIgVvrpxLwM3DJ54Zt3xkiyrQF+05SIzrTKDD5Nse1zA17ixLNa+GP 5pIM2Y0BPjGSxJWM3UxMrUBpfqLm3/kQjN/t3fOiqVitgA/yyQoiOS3WDbPQfSBQtwQlUKFr Erd7mHhC1cbMsaewHyL6BqRavTnmCr6XMcfGOT9+KMyxlKUwWMXBVsdUl7TTeSFZlCWSvRCG xIuxxgSpIs8yVemcN7vD0XjmSvR1vIDYOZ4H+o/4QCL76Pb5QeFG2QJJgKtjvR25KfaohR6h je0c8PV6S9H6+LKFCrMnluAhXbjZnhPdD5qiTosFFNdu7HeTJcPYgUjp+uP/Yawh9zxXDz8m nWE8XB4iLIUgsoGka68+DgrYg5ARLCZH2bZBS2NBgpJCz+Vgqb7POREDnCFtp59wH6xFAXpg ZT9s5H2ABoyJZ+MjjeRZ+4GAauk4f2IWBWF3wI/Qsl4qmjwqyD5FWy13N2YDBc5WirjUW+5C HI/RSsMjHOuFCfyPf4uO9zZ5zoClPC9SIyNug/ogipmO8AtLmdrDQlhYkmf222FraTfufBXB HtvSu71VSxyIf0/klKeHr5BuZd2mH1W7T6MHfjTkkX/uZLDNSX9YepUYDOmMLplhIva+1692 4gEZ6O3J+B3CrKWjt//qt5Nczjn7BETWfjLliCgXrXdelA/QjFwVqe5LHFIU9UNopm5X9zgp hmVMnK0AnKm7ZEeAQnVOH1ldp31WpNz8SAyMSA2bASn3nEiZcCk66JGL8k7erwu9epCy/9oT qldK5/QXKgXEjmXqS4AaZTdrZB5cEv5iA+LOR2jamdtcpNlQTvP5dK5LBDk8zMDD3bsuMZn+ ++g2wrXTIAtXQNnCMqKOvujw0ng73cYkeN2GUDPJ4ALKknr9YFrLQ33j+M2c5lcc0WdmmPC2 l/PUxkCpOTLr4sky/XzhPiJ/9WzDu9zPktGBG2Ev7u7MC/t+GD8k4JNVeC/ey+ECDH59aCkU uViz//mNcoBklsX4ZF3FKxmzP5n6tbi++1awwBjECmZZlinEOk7cHyP3M0Ku6EUg7EE4U25X UWA/tQcMrKMYZu3HFkULQsjT+KCyfBExWWIvKpteB33tH1t4b6KcUROJB3Q2iZTG714bdE+y uA7tc9KtgGy1kgwPtCdgnwG/miANCZbAaAut5VfDYOyzwR2khdNZpvTDiKw65aKMo0ePk4vK z6SpazDm7UMmRaYIiRrTSDAjbhHmJADmBFW11tedV6HrdzI260s1xpL/DVrEwlYw32rCQ6o1 rSH6qG0GUmPw9usrM1KXmTpFg0YQRPEogr+zFwGkGCfRE6tPoAIwKvRJs7VlH31MUoFFtSYw F1c4GngWDfuOsr220PenGZ7/uf7Q4UZGhLqwaia8gfsI3X+STXgi66qI2EPrnMLxC/3aFLv/ YFXwQq7VUE32eP8bUH250l2GIn8kCy5GVE=
  • Ironport-hdrordr: A9a23:HbPLYqqXcLOtyvD+fnIcszcaV5oSeYIsimQD101hICG9E/bo7v xG+c5w6faaskd1ZJhNo6HjBEDEewK+yXcX2+gs1NWZLW3bUQKTRekI0WKh+V3d8kbFh4lgPM lbAs5D4R7LYWSST/yW3OB1KbkdKRC8npyVuQ==
  • Ironport-phdr: A9a23:YgjjlhJ87NsFmjzh3tmcuKJsWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFv7M00gWCBN6Do9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6s95HJfglFhSSxbbxvI Bi4sQnaq9Ubj5ZlJqst0BXCv2FGe/5RxWNmJFKTmwjz68Kt95N98Cpepuws+ddYXar1Y6o3Q 7pYDC87M28u/83kqQPDTQqU6XQCVGgdjwdFDBLE7BH+WZfxrzf6u+9g0ySUIcH6UbY5Uimk4 qx2ShHnlT0HOiY2/2HZiMN+jKxVrhG8qRJh34HZe5uaOOZkc67HYd8WWWhMU8BMXCJBGIO8a I4PAvIcM+ZFqYnyuUUBrR+jDgexHuzv0CRIh3Hs0q0mzu8sFhrG3BEmH90QrnvUqM/5NLwIX uCv16nJwy/Mb+9N1Dfy7YjHaBEhofWWUb1sdsrRzFAiGgXYhVqftYLrJSma1vgRs2eF9epgU /qihWEnpgxxvzWiyccihInJi44J1lzK+yF0zZgrKdC3VEJ3f8OoHZVQuS+UN4Z4TN8vT3xnt is4xLAKp4C2cDYWxJkh2hXRZfuHc42S7RLiUuacOTh4hHN5eLK/mha96lKsxfH7Vsmx1ltBs ylLksHUu3wTyxDe7tKLR/h980u7xzqDywPe5vtELEwok6fQNoQvzaQqlpUJtETOBi/2l1vyj K+Rbkgk//Kn6+XjYrn/uJCTKpJ4hhjwMqkuhsCzG+s4Mg8JX2iU/eSzyqfv8lH+QLVPlvE2k 6/Zv47GJckDuKK1HwtY3pwg5hu/FTuqzsgUkHodIF9FZB6Ll43pNEvPIPD8A/e/mVOskDJzy vDdI73hBIvCIWbHkLv7ZrZy8VRcyBE9zN9F+5JZEb4BIPfpVU/wsNzUFAM2Mwuxw+r/DtVyz ZsRWXiTDa+BLKPSrViI6/oyL+WUfo8apC79K+Q55/7plXI2hVgdfbCw0ZQLbHC4A+9pLl6CY Xvsh9cBCX0FshA/TOzskl2CUCRca2y8X6ImtXkHD9etCp6GTYSwivTV1yCiW5ZSe2puC1aWE H6ueZ/SCNkWbyfHGdJnnzEAHYOoUZQ+3A3m4BTnzbdqKqzP8zcDqpv//Ndw7uzX0xo18GonX Iymz2iRQjQszSszTDgs0fUnyaQc4lKK0KwjxuddCcQW/PRRFAEzKZ/byeV+TdH0QAPIONmTG x69WtvzJzY3Q5oqxsMWJV5nEoC5kxbO0i7sGLYPjKOCGLQ796vd2z76IMMug23e2vwZhkI9C tBKKXXgg6d+8wbJAIuciFifmquuM78VxjXS/Xurwm+HvUUeWwl1Au3eRX5KQEzQoJzi41/aC b+jDbNyKgxa1cuLMbdHcPXshFRCAfrvYZHQPjr3lGC3ChKFgLiLaeIGYk072yPQQAgBmgEXp jOdMBQmQzymuyTYBSBvElTmZwXt9/N/oTW1VB18yQbCdEBn27evn3xdzfWBV/Me2K4FsyY9u n11Gli6xdffF9uHoUJoYqxdZdo35FoP23jeskRxOZmpLqYqgVB7EUw/pF7o2hhzTJ5Ji9M1p W8Cww97KKbe21RENnuZ0Z32JrzLOzzq5hn8Dsyeklra0duQ5uIO8KFi8wSl7FzvTBJytSg/g Lw3mzOG657HDRQfS8f0W0czrF1hoq3CJzI6/8XS3GFtNq+9tnnD3cgoDa0r0EXFHZ8XPaWaG Qv1C8BfCdKpLblggEWvYx8Aevtb7rUrNt+OeP6P2artN+Fl1mHD7ywP8MVm30SA+jApAPXV2 ZsIx7eD1xGcSD7gpFiku8Hz34tDYHtBewj3gTihD4lXaKpoeI8NAmr7OMy7yOJ1gJv1UmJZ/ lqub78f8PegYgHaL1n03AkLkF8SvWTigiygiTp9jzAuqKObmi3I2eXrMhQdaCZHQ2xrjFGkJ obR7ZhSR1WuYgUt0gCs/13lzrRzq6F2Lm2VSkBNNyT7NGBtVKKsu6HKOZYersN1938PAKLhO RiTUduf61MC3jnmHndCyTxzbDystpjj3lR7hG+bMHdvvS/ccMB0yw3Y4Y+UTvpQ0zwaAShg3 GOPVx7sYp/zpYXSys+Q14L2H3isXZBSbyTxmIaJtS/goHZvHQX6hPer3NvuDQk91yb/kdhsT yTB6hjmMeyJn+y3N/xqek5wCRry8c1/T8tlj409iZVWwnEAnYqc4VIIlG7yNZNQ3qe0Px9vD XYbhsXY5gTowhgpNW+Pyo/9EG6U2NB+bsWSbWYf2yZ75MdPQvTxjvQMjW5+pVy2qhjUaP52k 2IGyPcg33UdhvkApAsnyijOSqBXB0RTOjbg0giZ993r5rsCf36hKPLjsSg21cDkFryJpRtQH Wr0aot3VzEl9d1xaRrNyCGhsdyiIYiIK4hP6VvM1E2cx+lNdMBvyrxQ3nEhYDyl+yVikr9e7 1Qm3Inm7tbZbTw1puThREYfbGW9ZttPqG+zy/wCz4DGh8b3Wc85UjQTAMm3F7TxTHRL5K6hb 0HXQFhe4j+aAeaNQlPZsR076SqJS9fyaTmWPCVLlI0yAkDCewoPxlhTBmxyn4ZlRFn1n4q4I Rs/vnZJoQemz3kEguNwa0ulCjaZ9FruM21kDsDYdUUe7xketR2Mb4rDvqQqTnseptr4/USMM jDJPV0WSztSCwrfXRa7eeD/gLuIu/6RAu70RxfXSZOJr+EWF/KBxJb0l5Bj4y7JLcKXeH9rE /w83ENHG3F/AcXQ3TsVGWQRkGrWYsiXqQ3ZmGU/p92j8PntRAPk5JeeQ7pUP9J1/hmqgKCFf +eOjSd9IDxc29sC33jNgLQY2VcTjWlpeVzPWfwYsjXRSavLhqJNJxsSaic2OccRqqxhhk9CP snUjt6z3bl9z7Y0B1pDSV39i5SpaMgNcATffBvMAEeGMqjDJCWemZmmJ/PhD+cI3KMJ707V2 37TCULoMzWdmiO8UhmuNboJlySHJFlFv5n7dB9xCG/lRdagaxuhMdYxgydlpN98zn7MK2MYN iBxNk1XqbjFpzhFhPhyHypa52B+MuCYsymc5ujcbJ0RtLE4Z0Y83/If+3k8x7ZPuWtcQ+dpn SLJstN0i1Svk+3KxzY+FRQT8nBEg4WEuUgkMqLcvMolOz6M7FcG6mOeDA4Prt1uB4j0uqxe/ dPIkbr6NDZI99+8FSo0AsHVLIeKPCNkP0exXjHTCwQBQHigMmSN3yS1ddmd83SUqt4xrZ2+w PLmpZdUUVU0ErURDUE3RbQ/
  • Ironport-sdr: sk6eGpQ3kTmELGz5WTk9vKbqYXEYeBEcUzyUoz67n0/jk6nWs/GMh/eVWqfqiGBasmz2FrPEDe QNG4nf5qHlRV+WyZbjkAqRdb1Vn4Iong/Roamgd4gvVUXNSKw2xjs8WXjCjcXYr0VJPwYN1EV1 Z+8I9XOVJ0/KRcJruAfCQJHECS9Mdymb/fwkgtykVSSTGJXaOxD8yW51ChbgYIOAG1JPVRpwLq dMfRoHnxZN5AZFj7zrkk4DWRNyO/BbXd2W9CUioip20g7f0XB1NL+PPJrG8+Lzbo32JwD/MkiE 0rrdUkljMNXQ/fvqF55UWF1V



On Wed, Mar 30, 2022 at 10:43 PM Emilio Jesús Gallego Arias <e AT x80.org> wrote:
Hi all,

[I'm sending this now as it seems Hanneli's mail didn't go thru listserv]

The JsCoq a CoqDB Hackathon session will happen Thursday, March 31st,
14h00 Paris time (08h00 NYC time - 05h00 Seattle time); that is to say,
tomorrow.

See https://github.com/coq/coq/wiki/jsCoq--and-CoqDB-Working-Day for
more details, including participation instructions.

This will be an entirely virtual session held with Zoom. Please don't
hesitate to stop by if you are interested!

Kind regards,
Hanneli and Emilio



Archive powered by MHonArc 2.6.19+.

Top of Page