Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Agda Implementors' Meeting XXXVIII: Call for talks and participation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Agda Implementors' Meeting XXXVIII: Call for talks and participation


Chronological Thread 
  • From: mukesh tiwari <mukeshtiwari.iiitm AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Agda Implementors' Meeting XXXVIII: Call for talks and participation
  • Date: Sat, 16 Mar 2024 08:02:51 +0000
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mukeshtiwari.iiitm AT gmail.com; spf=Pass smtp.mailfrom=mukeshtiwari.iiitm AT gmail.com; spf=None smtp.helo=postmaster AT mail-yw1-f170.google.com
  • Ironport-data: A9a23:ERU38KJt2mnR+mW7FE+RcJElxSXFcZb7ZxGr2PjKsXjdYENShTZRy GpOWTjTb/mPMWemfth3a9m1pElX78LRzNBjS1Yd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf6s9JIGjhMsf7b80oy5K+aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuXFCxk9VLAkcKAa4+/6FnXDlE2 KccAWVYBvyDr7reLLOTT+BtgoEyM5CuMtpA4jdvyjbWCftgSpfGK0nIzYUAjXFg24YXR6aYP pVBAdZsREyojxlnP0oUBYk+gOa3j2P+NTxZqU6QjaUy6mnXigd21dABNfKFIIfQH5wOwS50o Ero52vZHgsDNeCi5hTUsUugvur3oS7kDdd6+LqQraMz2ALCmAT/EiY+Xlyi5PK9l0SWQMNaM 0VS+yw0rKF0+lbDczXmdxixoXrBrwFFHtQJTLV85waKxa7ZpQ2eAwDoUwKtdvQJn5JmZRkk0 GO1vPXsQiwy6Le4Ena0o+L8QSyJBQAZKmoLZCkhRAQD4sX+rIxbsv4pZoYzeEJSpo2lcQwc0 wy3QD4Ca6L/ZPPnOo2+9FHDxiOz/93HF1FtoArQWW2h40VyY4vNi22UBbrzvK4owGWxFwbpU J04dy62srpm4XalynblfQn1NOv1j8tpyRWF6bKVI7Ev9i6251modp1K7Td1KS9Ba5ldIWKzP xON5FsBvPe/2UdGi4cnM+pd7Ox6ncDd+SjND6u8gidmO8QvLlXWo38GibC4hDi1zhdEfV4D1 WezKpv1VSlLV8yLPRK5QOAS1bJjxyY1gwvuqWPTnnyaPU6lTCfNE98taQPQBshgtf/siFuPr 753aZDRoz0BC72WX8Ui2dRMRbz8BSNrW86eRg0+XrLrHzeK70l6VKOMnOx4INQ790mX/8+Rl kyAtoZj4AKXrRX6xc+iMBiPsZu2Bcwl/0EodzchJ0ip0HUFaIOipvVXPZgucLVtsKQpwfdoR rNXM4+NE9ZeeAThoj49VJjaqJA9VRKJgQnVATGpTgJidLFdRivI2OTeQC3RyAc0ABGaj/AO+ 4+b6luDQL4oZRhTM8LNWff+k3KzpSc8ncxxbWvpI/5SWkPmz6ZyIQesjPVte8AoAjfAzwu8y Ay5L0o5p+7Mgolt6/jPp/mOgLmIGttEPHhxPjfk/5fvEgLF7E+P/JRmbN+YWRz8CEbl57SEZ 8hO6vP3bc08g1dBtrRjH4ZRza4R48Xlo5lYxF9GGErnQkuKCLRyBGuvxuhK67Nww4FGtTuMW k6g/sdQPZOLMpjHFH8TPA8UUfSR58oLmzX97eUHH2ui3XVZpIG4aER1OwWArAd/L7EvaYMs/ roHif4ssge6jkInD8aCgiVq7F+zF30nUZg8l5QkEYTu2xsKyFZDXMTmMRXIwqqzMvdCDkp7B QWvpvvmp69dzU/8YXYMBSDz/e5Ct68v5jFO7nE/fmqspPSUp8UKzCVw8Cs2RDt71h9o8fx+E Uk1OlxXJZehxSZJhs9CVV+CAwtqXUCV6GHt+Vkkz0jyEk+iDD3LJkIAJNfXrVw48n1dTBdf7 rq32Gboahe0XcDTjw8Ze19plOzndvN1rjb9ocGAG9+UOaU6bR7OoL6cVUBRpzTJWcoO1VD6/ 8909+NOWIjHHC83oZxjLbKF1L4VGSu2FEYbTd5PpKo2THzhIhes0j2zKme0SMNHB9rO1WSaU 8VOBMZ+Zy6S5Ra0jAIwJPAzeudvvfsT+tA9VKvhJjcGv5uhvzNZis/s2RaktlA7YedFsJgbE ZzQRQKgA2bLpHpzmk3xludmFFe8Q+E5YFzb4Ljo3sQPT4kOocN9Q3EUi7GUhUiYACFj3hCTv T7AWZPo8vxf+dxSuLXoQ4p+BFSSCNLsVe633hi5nPZQYPjub8rflQMnhWP2HgZRPIlLAtR+q quQgYSmwGLEo7cEfGTLkLaRF6RyxJuTXcgGFunVPXVljS+5d8u02CQ6+ke8Mo1vrNxGw9uOH i+UVZOVTsEEfPt431hXWjh6PzdGLJqvdYbmhye2j8rUOygnyQadce+Wry74X19UZgojGsPbG ATrn92M+9oBjoBHJCFcNsFcG5UifWPSA/o3RebQ6wudIHKj2G6Zm73YkhEl1zHHJ1+EHOv+4 rPHXhLOTwuzio6Z0OBmt5FOgTNPAEZfmeUQemcvy+xygR2+D08EKr05GrcCAZd2jCfz9c/ZY BfgUWgcMhj+DA90KUjE3NfeXwmhX71Efp+zIzEy5EqbZhunHI7KUvMr6i5k5GwwYTf5iv2uL dYF4HDrIxyt2ddTSP0O4uCgy/JSrh8AKqnkJWim+yAzP/ofPVnO/HloHQ4IRDOeVs+Uyx2NK m8ySmRJBkq8TCYd1Cqml2F9QHkkUPHHll3ErhtjBP7QvoyayKtLz/iX1yTbzOgYdMpTTFIRb SqfeoZOilx6HlQcvKIov5Qihqoc5Tdn2CSlBPeLeDD+VJ1cJojq0w3uUMbPoAwfFNZjLm7g
  • Ironport-hdrordr: A9a23:3v/LT6iUxU8ldZ0rTf1M3ZMa0HBQXtcji2hC6mlwRA09TyX4rb HIoB1/73XJYVkqKRIdcLy7WJVoIkm8yXcW2/hyAV7KZmCP01dAR7sSiLcKrQeQfxEWNdQw6U 6jScVD4RHLYmSSRPyV3DWF
  • Ironport-phdr: A9a23:/O0eOxfuyNmwE0lH67d/KS+4lGM+2NfLVj580XLHo4xHfqnrxZn+J kuXvawr0AWYG9WDoKsd16L/iOPJZy8p2dW7jDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajZb5+N ha7oRneusULnIdvJbs6xwfUrHdPZ+lZymRkKE6JkRr7+sm+4oNo/T5Ku/Im+c5AUKH6cLo9Q LdFEjkoMH076dPyuxXbQgSB+nUTUmMNkhpVGAfF9w31Xo3wsiThqOVw3jSRMNDsQrA1XTSi6 LprSAPthSwaOTM17H3bh8pth69dvRmvpQFww5TMbY6aNPRwcKDTc84ES2VdRcteTTBND5mmY ocTE+YMP+BVpJT9qVsUqhu+ABGhBObyyj9LmHD2xq062Pk9EQHH0g0vBcgOsHXJp9jyMacST OO1w7fTzTXDc/NW2Dn855LSchAgu/2MXLNwccvNyUkqDA7FgVCQppbkPzORzOgCr2+b7+95W O+plmUopB1/rCK1yccwlonGmJgVylbc+Ch4z4s5OcC0RU1lbNCrHpZdqiOXOYtqTs88TG9lt iQ3xqEbtJO6YiUEx5cqyR7CZvGFc4WG7RLtWPufLzpmmn5ofq+0iRi18Uil0OL8V8+03U5Wo SpFiNbMsnUN2ALJ6sicUPd95Vmu1DCS3A7Q8uFJOV44mbbfJpI7wbM9loAfvVndEiL1gkn6k a2belki9+O19ennZqjmpoSAN4BqkAHwL6Uum82hDukgLgQDWXWQ9/6m273550L5Ra1Hjv0on andt5DXPcEbqbS4Aw9Ry4oi6xi+Ayq/3NQWgHUKLk5JdAiIj4juPFHOL/T4Aumlj1uwlzdrw ujKPrznAprTMnjOiKntcap55kJGywc+zcpT649KBrwCOv7/R038uMDAAh88KQO0wuLnCNtn1 oMZXGKCGqqZML7RsVCW/eIvI/WMZI4buTnnMfgl5uTijX44mV8cYamp2IAaaH+9Hvt8IkWZZ WDgjcsGEWcPpgY+Svflh0WYUTFPf3ayQ7485jYjBY67FYvDXJyigKSd3CenGZ1bfnxJCleVE Xvxa4qEX+oMZzmJL896kj0EUKChRJU72RGvsg/60btnIfDO9i0Wr5KwnORysubUjFQ58SF+J 8WbyWCECW9uzU0SQDpj2b18rFd9gkuCzqFigrQMEMFQ6uhJTgYlPITdie17Csz3cg3Ed9aND l2hR4P1UnkKUtstzopWMA5GENK4g0Wbt8LLK7oclrjQQYcx7rqZxH/pYcB013fB0qAlyVggW MpGc2O81eZk7waGIYnPng2CkrqyM7wG1XvI6WSO1mqSvV5RSg82UKTEQXU3aU7frNC/7UTHH Pe1EbpyCgJa0oaZL7dSLNjgjFFIXvDmbdHDYG+qm3uxGh+Sx/WNbYv2fk0S2SzcDA4PlAVAt W2eO10YASGs63nbECQoFV/rZBb09vJirXqgUkIu5wSDbkkkxqXsvxBM2qTaRPQU0bYJ/iwmr l2YBX6b2NTbQ5qFrgtlJ+BHZM8lpUxAzSTfvhB8OZqpK+ZjgEQfekJ5pRGm0RI/EYhGncUwy RFihANvNaKV1k9AfDKEzNjxPLPQMGz74BGobebfxFjf1N+c/qpH5u4/rh3vuwSgF0xq9HsCs ZEd1maf647KEAsNWIjwFEc29gR/j77fayg5oYjT0DwkMKW5tCPDx8N8HPEsmXPCN59UNKKJE hO3EtVPXZD/brx33QHzPlRdY7gBkcx8d9mrfPaHxqOxaeNpnTb9yH9C/Jg4yUWUsSx1Vu/P2 Z8BhfCexAqOETnm3zLD+oj6n55JYTYKEy+x0y/hUcRUe65/ZoYXCHinOczxx9R/m5vFVHtR9 VrlDFQDkpzMG1Lafxnm0Atc2F5C63m6miajzyB1jDgzr+ye3S3SxsztcRMGPihAQ2wo3jKOa cCkytsdWkavdQ0gkhCosF37y6Zsr6N6N2DPQE1MckAaNklaW7Cr/vqHas9Ls9YztDlPFf+7e RacQ6L8pB0T12XiGXFfzXY1bWPitpL8lh18wGWTSRQ75H/EesxrxQve+9XGRLhQ3zsaQQF3j DDWAh63ONzh8diPlpjFu/yzTCr7DswVIXStlNnQ8nLkvSVjGnjd17irl8fiEBQm3COzzNRsW SjS7V79boTty6WmILdid0hsCkX77pkfeMk2mY8xiZcMnHkC08/NrDxXzCGqa4UdgP2mPx9vD XYRztXY4RbowhhmJ3ONnMfiU2mFh9Bmf5+8a38X3SQ064ZLDr2V5fpKh3gQwBLwoATPbPx6h jpYx+Ep7StQhvwKtREt0iSCC6oTW0hZPDDpvxuN5tG66q5QYSz8FNr4nFo7ht2nALyY90tZR XX0YZc+HDB59MQ5MVPNzHjb5YTted2WZtUW/E7x8V+In61eL5Q/keAPjCxsNDfmvHEr/OU8i ARnwZCwuIXUY3Uo5q+yBQRUcyHkf85GsC+4lr5Qx4zFuuLnVoUkADgAW4HkCO6lAC5H/+qyL B6ASXU9sivJQueZRF7Hrh068DSXVMr3f3CPeCtHkZM4H0LbfRIHxlhTBWRf/NZxFxj2lpK/N h4hvHZJoAa/8EMEy/o0ZUehFD2D9UH4MnFsD8LHZBtOslMdvQGMbYrHv7g1R2YBrvjD5ESMM jDJOFgOVDtUHBTCXxe6YPGv/YWSqrDIQLPhcL2eJ+3J87UWVu/Ul8vwic0/rmrKboPXeSA8a p9zkktbASIjQ5Wfy2hJEnZH0XqKNpHTpQ/gqHcu8IbioLKyCVipvczWWvNTKYk9oUnox/3YZ qjL3mAhbm8Js/FEjWnBzLxVtLILowdpcTTlUbEJtCqWCbnVhrcSFBkDLSV6KMpP6as4mAhLI 8/SzN3vhPZ+ibYuBlFJWEaE+InhbNEWI2y7KFLMBVqafLWAKzrRxsjrYKS6AbROheRQvhe0t H6VCUjmdjiEkjDoUVioP4QuxGmDOwdCvYimbht3IW3qTdajewLiddEu0mVwzroziXfHc2UbN Hk0ck9AqKGR8TINgvh7HD8kjDItJu2FliCFqujAf8xO4L07X2ItzbIcuStimN43pGleSfd4m TXftItrqlCiyayUzyZ/FQFJsnBNjZ6KukNrPePY8INBUDDK5kFojy3YBhIUqt9iEtCqtbpXz 42Fkb/wJSxC79PL9NEdQcnVKd6CGHUkOBvtXjXTCUFWKFzjfXGanEFbnPyIozeNqYMmr5H3h JcUYrpSVVhwB+xDT0o8Q4REL5BwUTcp17WciYRbgBj25AmUT8JcsJfdU/uUCvi6MzeVg45PY B4QyK/5J4AeXmUa80lra10/jZuTXkSJAogLrSpmYQs55k5K9SomJoXc803gYwKppnQUEKzt9 vbTogR7aOUpsjzr5gVvTmc=
  • Ironport-sdr: 65f55238_WsTrzWVvLaNcJCDSt7k8H2rbfaNsg9818AxVz+Dm0q3zR9h MfTaOP3vEkzyam8EYZ716IyT1ZTkQJBEvprFVfQ==

This may be of interest to a few of us.

Dear all,

The thirty-eighth Agda Implementors' Meeting will take place in Swansea, Wales, UK from Monday 13 to Saturday 18 May 2024.

Wiki link for more details: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII
 
The meeting aims to bring together people not only developing but also using Agda or even those who are simply interested in it. We will have talks on the implementation details of Agda in the morning and code sprints in the afternoon. You can still submit your proposal for a talk or discussion!

There's a (soft) deadline for registration on 14 April 2024

Registration instructions: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII#Registration

Anton Setzer

-----------------------------------------------------------------------------

Dr Anton Setzer
Darllenydd / Reader
Ystafell / Room  403
Adran Gyfrifiadureg / Dept. of Computer Science
Y Ffowndri Gyfrifiadurol / Computational Foundry
Coleg Gwyddoniaeth / College of Science
Prifysgol Abertawe/ Swansea University
Campws y Bae/ Bay Campus
Abertawe / Swansea   SA1 8EN
DU  / UK

Rhowch wybod i ni os hoffech dderbyn eich gohebiaeth yn Gymraeg. / Let us know if you would like to receive correspondence in Welsh.
Rydym yn croesawu gohebiaeth yn Gymraeg neu yn Saesneg. / We welcome correspondence in Welsh or English.
Ni fydd gohebu yn Gymraeg yn arwain at oedi./ Corresponding in Welsh will not lead to a delay.


  • [Coq-Club] Agda Implementors' Meeting XXXVIII: Call for talks and participation, mukesh tiwari, 03/16/2024

Archive powered by MHonArc 2.6.19+.

Top of Page