coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Conference on Algorithmic Law Design and Implementation: Call for participation

From: "Joost J. Joosten" <jjoosten AT ub.edu>
To: coq-club AT inria.fr
Cc: Joost Joosten <jjoosten AT ub.edu>
Subject: [Coq-Club] Conference on Algorithmic Law Design and Implementation: Call for participation
Date: Wed, 16 Mar 2022 09:01:32 +0100
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ub.edu; dmarc=pass action=none header.from=ub.edu; dkim=pass header.d=ub.edu; 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=5b/v64xAnT/NO52on43DSwjNMTPEMA0NM0LYf5gOsWk=; b=CeQ/cgQOrFybKPJzLCzeCgcBbgpdallw7+f9cVAEyR9jCXXXO7LrF2gwUR3nbUJoSaO/zXZaRWSZ5352A5Ul8stzGgfkwPPN+DZhDek2rsGmouBxeFa3imw6Rv3I0+rhb1lAJrw34ojP63TfZqbsCuBC9FBzVz0Ni5X+osjUdve+y08RMUiuD5aYixaK+38ssppmuZLvptAQYcPz6eV9OKDzO/4LxG762OzarKPtr3i/jKv1A0jGzx95ws1OppFxrNM/GJ1ytkY8vDblR5aU8nvnjZLzUgK3doTveXadONkd1FOftQtqYiS0nt9tREdd72+5ZQsiOkS9GBcE7KrCMw==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=LQPc6uZ/KEa3KGBheYu9qGIhh1uF/1kpIzylZjE3fJ3RGdkYWzCcwxded/lkESRkU5cgb6+bgccYlXAheCaIFXxmBaIFN44ryuxXvYZ4Cv7nvU6rY4vu2l88jIVDIfpF2bkxD2Ob7yWEbzSdrwpMH554PZu+KpOcBShBXvfPh50EmTHMP8DM/03DRpScCq7xtzDWODOgV7VSGzprNJJDXLBHCEieWggRUIaD0TVQ55ffVkVu2TJ/29LKRiyUjNPDBbnNGSat9li4IiPUOpZdJ+r38/o2SyHFH5B+UgCKxQTySn7UI2LOL+MwDUXR7Tq0OU8U9OF4hXTCtpFumU2oJw==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jjoosten AT ub.edu; spf=Pass smtp.mailfrom=jjoosten AT ub.edu; spf=Pass smtp.helo=postmaster AT EUR04-DB3-obe.outbound.protection.outlook.com
Ironport-data: A9a23:ChMz5aqIM3l8ClY45ifzVWLJqateBmJSYBIvgKrLsJaIsI4StFCzt garIBmCM6zcM2byL4gla4Xj808G6pTQm4VgHFNo+y41ESkTpOPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKicfHkZqTZMEE/Nszo68wICqtMu0IDR7z+l4 4uo+ZWEYQH9gVaYD0pNg069gEM31BjNkGhA1rAOTagjUIj2yhH5pLpGTU2AByOQrrt8RoZWd M6fpF2NxV41yj92Yj+TfhkXRWVRKlLaFVDmZnO7wMFOiDAazsA5+v5T2Pbx9S67hh3R9+2dx umhurSPWzsFO+6VxdgRWgByNzEvYvBdob7+dC3XXcy7lyUqclPB/s82UAQaF9Zd/ex6R2ZT6 fYfNTYBKAiZgP67y666Te8qgdk/KM7sP8UUvXQIITPxUa5gGMicBfuMu4IwMDQY3qiiGd7cZ c0eciZiajzdaVtCNkp/5JcWxrnz1iOiL2MwRFS9mLAN2lPRyFRLjubkCMX4fN2Td5hKtxPNz o7B1z+gWUpFXDCF8hKO9WvpjevSlwvgSYcKHfu58ORriRud3AQu5AY+UFK6pby0jVa0VMgBc xRKp2wpsLQ481GtQp/lRRqkrXWYvxkaHd1ND+k97wLLwa3Ri+qEOoQaZgFTVPAj95ZreTAjz 3Wtj4K2WCc2sYTAHBpx6YyohT+1PCEUK0oLaikFURYJ7rHfTGcb3k2nojFLQPHdszHlJd3j6 23R93Nu3t3/meZOif/mrAivbyeE/8CRFmYIChPrsnWNzy4RiGSNS5Gi7VndhRqrBKrBFDFtU FAglsmY9/wDF/mweMGlRewMGPSk4O6PPyeC2QYxQt8m6iin/GOlccZI+jZiKUx1M8ECPzj0f EvUvgAX75hWVJdLUUOVS93sYyjJ5fG8fTgAahwyRocUCnSWXFLdlByCnWbKgwjQfLEEyMnTw 6uzf8e2Fmo9Aq961jewTOp1+eZ1mn9klDuPFc2mk0vPPV+iiJi9Gedt3LymPrBR0U94iFmJm zqiH5fXl08PDL2mCsUp2dRLfQhTcxDX+qwaW+QML7XYfWKK6UkkCvTLxqgmdZAtlKNPjuDS9 228XUkw9bYMrSyvFOl+UVg6MOmHdc8n8xoTZHVwVX71hSRLSdvxvc83KspvFZF6pbcL5aMlH 5EtJZ7aatwREWuvxtjoRcKgxGCUXE/33l3m0uvMSGRXQqOMsCSSo466JFSzrHdSZsd13ONny 4CdOsrgacJrb2xf4Az+MppDFnu94ioQnvxcRUzNLoUBcUng6tY4Nia3g/MqepleJRLGzzqc9 gCXHRZI9LWQ89JrqIHE1fKesoOkM+piBU4GTWPV2rC7aHvB9W25zI4cDeuFJGiPVG799Ki4S /9SyvXwbK8OkFpQ7dhhGfBmwb9nv4njoLpTzwJFGnTXbgT6Vu4wfyfehcQW7/9D3L5UvweyS 3mjwNgCNOXbIt7hHX4QOBEhMraJ28YSl2SA9v8yOkj7uHJ68bfbA0VfOx6A1H5UILdvbN537 Nob4JJTxybkzx0gP5CBkzxe8HmKIjoYSaI7u5oGAYjtzA021lVFZp+aASjzucndZ9JJO0gsA zmVmKud2OsFlhCeKyI+RSrXwO5QpZUSoxQVnlIPIlK+nNCa1PI62Rtm9ys6E1ZOxRJd3uMvY WVmax9vKaOV82s6jcRPRTz8SQRIBRnc90vpwVQTyjWBERTuUXHRJmogP+rL5Foe729XYjlc+ vef1XrhVjHpOsr223JqC0JirvXiS/139xHDx5/4RpTfQ8FibGq3mLKqaEoJtwDjXpE8iUjBk u9go7R9ZKj9AigPrvBpEIKdz7kRFEuJKWEqrSuNJ0/V8bwwuQ1e2ARi72icR/kVe7nm2xT9D MZjYMVSSx65ySCC6CgBArIBKKN1m/hv48cefrTsJigNtL73Qv9BrsfL7ian7IM0a4wGrCr/A tq5m/G+/qi4mHESlmPQxCWBEnTtesEKPWUQw8jsmNjk1Ps/XCVEbEt037ep15lQ3M2L4DrM1 D7+i2TqIyCOBGiic0YA0kmOOulsFe7OaQ==
Ironport-hdrordr: A9a23:AYZSrKtfGl6bTs0i14f2sdst7skCjYMji2hC6mlwRA09TyXGra 2TdaUgvyMc1gx7ZJhBo7+90We7MBThHP9OkOos1NKZMDUO11HYSL2KgbGD/9SCIVyFygci79 YET0EWMrSZYzlHZK7BkXKF+r0bsbu6Gc6T9IHjJyAHd3ATV0gs1XYNNi+rVmlNACVWD5swE5 SRouJBujqbYHwSKuC2HGMMUeTvr8DC0MuOW29wOzcXrC21yR+44r/zFBaVmj8YTjN02L8ntU zIiRbw6KmPu+yyjjXcy2jQxZJLn8aJ8Ko2OOW8zuwubhn8gAehY4psH5WEoTAOuemqrG0nld Hdyi1QT/hb2jf0RCWYsBHt0w7v3HIF8Hn502KVhnPlvIjQWC86I9Apv/MTTjLpr24b+P1s2q NC2GyU87BNCwnboSj779/UEzl3i0uPp2Y4m+J7tQ0WbWInUs4dkWUjxjIYLH9ZdxiKp7zPUd MeRf003cwmO29zNBvizydSKN/FZAVDIv7JeDlChiWv6UkroJlI9Tpk+CUhpAZ+yHtEceg82w 3lCNUaqFgcdL5lUUpCbN1xP/dfTFa9Ny7xDA==
Ironport-phdr: A9a23:q3m8rhQ5HPwO+muQBKSVMNJovtpsoraWAWYlg6HPa5pwe6iut67vI FbYra00ygOTB8OCsKsP0rOO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtWiDanfL9/I gi6oQrMusULnYdpN7o8xAbOrnZUYepd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQ bNXEDopPWY15Nb2tRbYVguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu8 6FmQwLzhSwZKzA27n3Yis1ojKJavh2hoQB/w5XJa42RLfZyY7/Rcc8fSWdHQ81fVTFOApmkY oUPE+UPIOVWoYfjqVUJohSzHhOjCP/qyjJShn/6wa833uI8Gg/GxgwgGNcOvWzaoNvxM6cSV vu1zLXVxjvHdf9dxDPz6I/PchA6vfGDQ7RwfcTMwkQoFQPFjFKQqYv+PzOJyOsNtXOW7/d7W u61lWEothxxryGpy8wxhYbHmpgbxUrY9SVl3ok1P9u4RVZ7b9K5EpZdtSCXOpZ3T84/TWxkp SQ3xqMbtZO/YCQG1ZUqyh/CZ/KHfIWF7RztWemTLDpminxod6+yiRmv/UWgzOD3S8e60FFPr iVfk9nMsGgA1wHI5cSdVPRy41qh1DCS3A7Q8uFJOU85mbbBJ5I83rI9lIAfvEXZEiL3mEj6l LGae0Q49uWm7unrf6nqqYWdOoJxlw3yLqEjltG7DOk7NwUDWnaX9fq62bb+50P2Wq9Kgeczk qTBsJDVO8AbpqmhDgFa3Ikt9wqzAji/3NoWgHQKIktJeBWcgIf3IV3OJ+34DeukjFSrjTdrw e3JMqf5ApXXKXjDjKnucqph605dzwozy8pT55VJCrEdJPLzXUjxtN/CAhAlNAy0xv7rCNR71 owARWKCGqCUPL/IvVOV+u4iIfOAaY4PtDv8K/Up//vugmU4mV8Zc6mpx5wXaHWgE/RkIUWZZ n3sgswdEWgUuAozV/Hqh0aYXTFNenmyQrow5jcgB42+F4fMWpitgKCd3Ce8BpBae3hKCkqQH nfwa4WER/AMZTqOLc9mizwITKSuS4s81R61rwL60LpmLu/M+iICr57j1d515/fSlR4o7zB0A d6dgCmxSDR/mXpNTDsr1oh+p1Z8wxGNy/tWmftdQJZx4PRSTk8Yc9b+yOthF930EEqVfNWOT 026T9OOHDt3Q94slYxdK31hEsmv20iQlxGhBKUYwvnSXMRcGsP02nHwI5w40HPazOw7iFJgR MJTNGqgj6o59g7JBoePnV/K372ye/E62yjAvHyG0XLIpFtRBQxyVqLeQX0ZTlbc69n1+xCKV KegXIwuKRAJ0sueMu1PY9ztg09BQaLhOtPZeH68nU+tD1CFyq7fJJHydTAl1T7GQFMBjxhV/ XuCMl0mATy9pmvFEDF0PX/SWRuwtMVU8za8REJyyByWZUp80bbz4gQSmfGXV/IU2PQDpTslr DJ3Wl262ro6EvKmoAxsNOVZaNI5uhJc0H7B8hZ6NdqmJrxjgVgXd0J2uVnv3lN5ENcIl89it 34swAdoTMDQmFpcazOV24zxMbzLOyHz+h6ocavfxlDZ1p6f5K4O7P0yr1irshuuEwIu9HBu0 t8d1HX5hN2CDggVVontX0Af6hI8qr3HI2E8647SyXxwIPysqDaRk9ktBeYj1lOhZ4IDaOXdT FC0TYtEWpvLSqRigVWiYxMaMfoH8ac1O5njbP6awOuxO+0mmju6jGNB6YQ700SW9iM6RPSbu vRNi/yewAaDUC/xyVm7tcWi04JGYjYJAme54TXuQoNde+chNZZOEmqoL8Ctk598hZnqQGJV8 na+DRUL1NLjKn/wJxTtmAZX00oQu3munyC1mid1nz8epa2axCXSwu7meXLrI0ZzTXJ5xRfpK Imw1ZUBWVSwKhIun12j7Fr7wK5SoOJ+KXPSSAFGZXq+I2ZnW6q2/r2MBqwHoJEqtiJMTOm6S U2QDLPxvlMW3jjiEG1X2D0gP23y/MyhwFokzjzAZH9o5GLUY8Rx2QvS6JTHSPhd0yBHIUsww TjbC16gPsW4qNCdlpPNqOe7BCqqUpxedzWuzJvV6HP9vDU1R0P5wa3g/7+vWRI32iL6ydRwA CDBrRKmJ5Luy7z/K+VsOE9hGF777cN+XIB4iIo5wp8Kih14zt2Y+2QKlWDrPJBVw6X7OTAPR zkM2MLY5iD40gtuIm/DlMrpE26QxMdsfYzwYGER3Tkh4sZiFa3S4bBZ13gQwBLwvUfaZv5zm S0YwP0l5SsBgu0HjwEqyz2UHrEYGUQLdTypjRmD6Mqy6blGfGv6O6blz1JwxJryadPK6hEZQ nvyfY0uWDN9/tkqekyZy2X9s8nlYIWCMYpV50fSy1GYyLEIYJMpyqhW3Ww+YT275Tt9jLdl6 H4mlZCi4NracSM0pPr/WlgAcWSpL8ILpmO01foYwpnQh8b3Wcw+UjQTAsmyRKrxQmtL7Kbpa 17WQm979if+e/KXHBfBuh1v9yudSsnyZX/LfCJLn5I+FFGcIkdbnQwZDi4ikJJ/Dhqt2MHqb EZ+4HYW+0L8rRxPjOlvMnydGi+arQOsIF/YUbCnJQFNpkFH7kbRa4mF6/5rWjtf9dunpRCML WqSY0JJC3sIUwqKHQKrMr6r7NjGu++WY4j2Z+PJeqmLoPdCWu2g6K+Vitcj0xzXc8KFMz9lE uEx3VdFUTZhAcPFlj4TSisR0SXQc8qcoxT68Spyy6L3uPjmQwPg44KTBqAabY0pokjpx/nFa bPYjT0xMTtC05IQ2XLEgKMS2lIfkWAmdjWgF6gBqT+YTK/UnfwybVZTYCdyOc1UqqMki1UVf 5eD1ZWrkOAl3ZtXQx9fWFfsm9+kf5kPKmC5bhbcAVqTca6BLnvNyt32ZqW1TftRiv9Vvlu+o 2X+cQerMzKdmj3uTx3qP/tLiXTRPh5Zv5qhfxBFFGKlQd77IE7eUpc/nXgtzLs4i2mff3YbK iR5elhRo6e4wB5i2qk6N0Yaq31vIK+DhjqT6PTeJtAOq/x3Dy9oluVcpnMn179S6yICT/tw0 ni3zJYmsxStle+BzSBiWRxFp2NQhY6Fik5lPL3Q6phKXXuXtAJI92ibDA4G4sd0EtC68b4F0 cDBzeigTVUKu8KR58YXANLYbd6KIGZ0ewS8AybaVUMEVWL5aTmZ1hYbyLfKsSTI5pki9sqww NxXEuAdDBptUapEbyYtVN0afMUqBHV9yebd1IhQoiPi5BjJGJcD5syBCq3UWbO3b2/GxbhcO UlSyOuhf91Kb9/1hxQ6OAs9wNSveQKYXMgT8HdoNlZm+RwUonYiFjZhiQW5Okus5nQXCPK5z AUuhAc4ef4q6Drn/1YwIBzNuTc0l04y397ihFXzOHa0JaO0F+m+5ALpvQ48Po6pGm6djCWfo HY8aHLobekUiLFtM2d2lAXbpJ1DX+ZGSrFJawMRwvfRYOg01VNbqWOswkoVvIMt7LN/nk0nf YP+9xp9
Ironport-sdr: FdJ9x9UMyh+GD7p/5AJIgM82yp6itdCKciyEpPi8CeoBiPx4vGR4JhFy/FsG3D0g30pI4FsspE pgGIM1QrmzqZfcZ20FuZrma0sN3Y5Idibubk7vnPFZVwm7ZNhJqyQWlt5SEFhpdZgHqiUgc7oC okTiR76nqZmSGBXse5SbkhHfCvz/2zAkAO9NCJgsTtnw0Q884Eq9MRNvp2f6/V+9ZvJMs/8yrR dk2tqYdeHgdk6HEUma17u1WC90U6bjtoZkdAsUi9ky+xzEETfXuNouD1E5ec/MzJIR6yg49v1y qAJFYYuEaMrsJmbCVXM4gexr

Dear all,

From April 28 — April 29, 2022, we will hold the in-situ Conference on Algorithmic Law Design and Implementation in Barcelona.

This is a highly interdisciplinary event with speakers and attendees among different communities like logicians, computer scientists, practicing lawyers, public administrators, industrial professionals, and legal scholars.

An important logical aspect of the conference is how formal verification techniques (both proof assistants and model checking) can be set to work to prevent errors in critical legal software and to warrant legal principles as fairness, accountability and transparency. Various related technical, juridical, philosophical, and practical aspects will be discussed during the conference.

Registration and more information can be found at:

https://www.ub.edu/prooftheory/event/lawdesign/

With kind regards,

Joost J. Joosten

University of Barcelona

C. Montalegre 6

08001 Barcelona, Catalonia, Spain

Office phone: +34 9340 37984

Aquest missatge, i els fitxers adjunts que hi pugui haver, pot contenir informació confidencial o protegida legalment i s’adreça exclusivament a la persona o entitat destinatària. Si no consteu com a destinatari final o no teniu l’encàrrec de rebre’l, no esteu autoritzat a llegir-lo, retenir-lo, modificar-lo, distribuir-lo, copiar-lo ni a revelar-ne el contingut. Si l’heu rebut per error, informeu-ne el remitent i elimineu del sistema tant el missatge com els fitxers adjunts que hi pugui haver.

Este mensaje, y los ficheros adjuntos que pueda incluir, puede contener información confidencial o legalmente protegida y está exclusivamente dirigido a la persona o entidad destinataria. Si usted no consta como destinatario final ni es la persona encargada de recibirlo, no está autorizado a leerlo, retenerlo, modificarlo, distribuirlo o copiarlo, ni a revelar su contenido. Si lo ha recibido por error, informe de ello al remitente y elimine del sistema tanto el mensaje como los ficheros adjuntos que pueda contener.

This email message and any attachments it carries may contain confidential or legally protected material and are intended solely for the individual or organization to whom they are addressed. If you are not the intended recipient of this message or the person responsible for processing it, then you are not authorized to read, save, modify, send, copy or disclose any part of it. If you have received the message by mistake, please inform the sender of this and eliminate the message and any attachments it carries from your account.

[Coq-Club] Conference on Algorithmic Law Design and Implementation: Call for participation, Joost J. Joosten, 03/16/2022