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
- Cc: Anton Setzer <a.g.setzer AT swansea.ac.uk>
- Subject: [Coq-Club] Agda Implementors' Meeting XXXVIII: Call for talks and participation
- Date: Mon, 8 Apr 2024 09:05:33 +0100
- 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-f177.google.com
- Ironport-data: A9a23:SN8TC6PzSIiRBBTvrR0Dk8FynXyQoLVcMsEvi/4bfWQNrUpwhWcOy GEXXT2DOv+OZGL0LdEjbt6w9BxSuZOHyN8ySnM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYADNNwJcaDpOt/rf8Ew35pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGX3VmLD6MlcLXsmY4Mz9ulsOVl30 98xfWVlghCr34pawZq+Q+how9U8dYzlZdxA/H5nyj7dALAtRpWrr6fiv4cJmmdtwJkUTbCHO JVxhTlHNHwsZzVKJ1QaE5IinfihnHi5cjxZtFe9qq8+4myVxwt0uFToGIqJI4bVHZQM9qqej l6d2HTDHCgDCNKg7wer/m+u293OnTyuDer+E5Xjq6cy3wzNroAJMzUdUkL+qv2kgGalStdHI goV/DAvpO487iSWosLVWhS5pDuVoUdZVYMPTKs17waCzqeS6AGcboQZctJfQO0DreAdeQ4L7 E/XkfjlCidXiISzalvIo994sgiOESQSKGYDYwoNQg0E/8TvrekPYvTnHosL/Emd3oKdJN3g/ w1muhTSkFn6sCLm/6Cy/FSCki3145aQEVFz6QLQUWaoqAh+YeZJhrBEC3CKs56sz67AETFtW UTofeDDvYji6rnTzkSwrB0lRu3B2hp8GGS0baRTN5cg7S+x3HWoYJpd5jpzTG8wbZ9eJGa1P hCP5VgAjHO2AJdMRf8pC25WI5R6pZUM6fy8C5g4k/IXPsYqJVTZpEmCm2bLgDi8ySDAbp3Ty b/ALJ/0UidEYUiW5DWxQOgZ3PcqwCt4rV4/triqpylLJYG2PSbPIZ9caAXmRrlgsMus/l+Jm /4BbJDi40sEAIXDjtz/q9F7waYidihlW/gbaqV/Koa+H+aRMDB9WqeMkO1+JeSIXc19z4/1w 510YWcAoHKXuJENAVvihqlLMeu1B8RMvjggMDYyPF2l/XEmbMz9pO0cbpY7N/1vvuBq0fc+H bFPdtSiE8Z/bG3N2w0cSp3h861kVhCg3jyVMwSfPTMQQp9HRi7ywOHCQDfBzic0M3eIhZMMm IH4jgL/argfdjtmF/fTOa6OzUvunH0zm9BSfkrvI/tVcnrC6IJBdi771Kc2B+ouKhzz4CSQ+ CjLIBUfpMjL+5QU9vuQj4+6jo6ZKclMNWsEIHv6tJGdKjv/0le457N5QMKkXGz4RXzl3qePf sBXxKzMC+IGl1N0rIZMKbZn4qYg7d/JpbUB7ABbMFjUTlasGJVyC2Kn2JRRi6hz2bNpgwu6d UaR8N18O7/SGsfEEkYUFTU1fNa4yvAYtTnD38sbeHygyndMw4OGdkFOMz2nqi9XduJ1Obx45 9YRgpcd7gjnhyc6NtqDsDtvyF2NCX49SIQiiIARBd76qwgsy2waW6fmNA3N3MitZelPY24QG R3FoIrZhr9Z+FjOTGprK1jJwthmpMovvDJk8QY8Amqny/v/qN055hlzyQgMbx90y0xH2t1jO 2IwOExSI76PzghSh8NCfj6NHg1dNSKd4Wj07UUDr0zCbkySTmeWBnYMCeWM20E48mxnYTlQ+ o+D+lvlSTrHeMLQ3DM4fExY99jPaMNXzRKbvuyKBOGHEIseTRu/p5SxdEwarxfDKuEgtn3t/ OVF0r55VvzmCHQ2vaY+Nbi/6Z0RbxKhf0lpXvBr+fIyL1H2IT2d92CHFBGsR5lrOffPzE6fD v5uLOJpUzCV9n6HjhIfNJ42D45Eptwbz/tcReqzPk8DiaWVkRRxupGJ9iTeun4ic+8zrekDc LHuZxCwOU3Oo0BLml39jthOYUu5RtgmWDfS/s6I9McxKpZSl900LG8T1OOvsmS3ITlX2Uuen Dn+ap/8y81gzoVRnLXQLJhTOjXsKf3PebSJ1CuRr+Vxacj+NJaSlgEN9XjiEQdkHZoQfNVVi YWytMXT7EeemY1vVkXlkMKlEqVX75++R9hsb8D9diFbuQCgW8bcxQQJ1E7lCJ5OkfJbvtKGQ SnhYuSOVNclYfVv71wLVDp/SjEzU7/WaIXkrgOD98W8MAAXi1H7HYn25E3XYnF+XQ5WHZ/HU yvfmeukv/Jcp6RyXC40PelsWcJEEQWySJkdVoPDsBeDBTOVmXKEgLzpkCQg5RztCnWpFMXb4 4rPdiPhdSad6b3589VEj7Nc5hEnLm5xoe0VTHIv/9RbjzObDmlfCc8/NZ4AKI9fkw2s9ZXeS QzOUlAfCnTGbWwZSSn/3dXtYF7OTKhGcNL0PScg8E6oej+7TtHISqdo8iB7pWx6YH3/xeWgM ssT4WD0IgP3+JxyWOIP/bautI+LHB8BKq4goigRUvAeAiryxZ0P3X1lWRtSDGnJSp6S0krMI mcxSCZPR0TTpYsd1yp/UyY9Jf3blGqHI/YUgeOnz9PWuoHdx+pFoBE6E/+myaUNNazmO5ZXL U4ahAKxD6S+1XkauK9vsNUs6UOx5TRnAeDiRJLeqcYuc21cJ4jp0w7uXcbCcS36xDNiLg==
- Ironport-hdrordr: A9a23:aOiUmarUUa507QOEqU85sEIaV5ooeYIsimQD101hICG9vPbo8P xG/c5rsyMc7Qx6ZJhOo6HiBEDtexPhHP1OgLX5X43SPjUO0VHAROpfBODZsljd8kPFh4pgPG RbH5SWyuecMbG3t6nHCcCDfeod/A==
- Ironport-phdr: A9a23:DQ44SxXUbugOWfhuWbAIRQ9jcMbV8KylXDF92vMcY1JmTK2v8tzYM VDF4r011RmVB9Sdsq4ZwLOM6OjJYi8p39WoiDM4TNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9sK Bi6txjdu8YWjIdtN6o91BXEqWZUdupLwm9lOV2ckxHg68mq+5Jt7zpesO87+c5aVqX6caU4T bhGAzkjLms4+s7luwTdQAWW/ncTXXkYnRROAwje8RH1RYzxvTfgtup8wyaVI8v7Rq0pVDu47 qdrTBjoiDobNzM87WrahNB8gL5drRm8vBF03ZLab5+JO/p/ZqPdfM0VRWxdXsZKSidNBpqwY 5YTA+YdOOpVqZT2qVkTohukHQSjC+PhxDFLiHHrw6M3zfguHBrc0wA8Bd8DqmjYoMn3OaoUT Ou7zLPIzTLGb/5O3Df99YvIfQ46ofGMQLlwbcvRyEc1GAPfj1WbtIvoPzaI1uQOrWeb9OpgV f6ui28psQ5xuDmvyt0tionIh4IV1lXE+D52wIYwP9K4SUp7bcS4H5tXsiGXLo17Sd4tTG90o ig10KEGuYKlcygQzpQq3xDRZuGbf4WJ4x/uWvicLzl2iX9hd7+zmQq+/Fahx+DiVMS60FZEo ypEn9TNqnwAygHf5tWER/Z/4kqtxCqD2gDV5+pZL040kq/bJIQgwr42jpccrUTDETXymEXzk qCWbF4k9vKz6+v5ZLjtu5ySN5dshw3gLqgjntazDOc4PwQUQmSX5+ex2Kf+8UD7QrhHiOA9n 7fdsJDHPsQburC2AxVI3IYi6hewES+r3MgekHIaNlxKYgiHgJLsO1zWIPD3E/O/g1O0nTdu3 f/GP7nhDozNL3nNjbvtZLh951NexQcx19xf6JVUCrYOIPL3RED9rsDXDhg8MwCswubnDsty1 p8GVG6RHqOUNLnevFyI6+41PuWAeowYtCzgJ/Un5fPilXo5lkUcfamt05sXcne4HvF+LkWcf HrsgckOEXwKvgoiTezrhkeNUSRSZ3qoXqI85zA7CJ6jDYrYSYCthaaO3Ca/HpFMem9GDVWMH W/ud4qfQ/gMcj6dItd9kjwYUrisU5It2Qm0tADm07pnMvbU+ioAuJ3/09h1/vTfmg029TxpF MuQyHqNTmFxnmMQXTA6xqF/oUpnyleCy6d0mfJYFcYAr89OBww9LNvXy/FwI9H0QAPIONmTG 3i8RdDzBCwyQ8kxi8MPfE9nGp32iw3A0jGqH74KnqaKQp01877Z93f0Lsd5jX3B0f9y3BEdX sJTODj+1eZE/A/JCtuMyh3B/07LXaEV3SqWsXyG0XLLp0ZAFgh5TaTCW3kbIErQt9XwoE3YH Pe1EbpyFAxHxIaZL7dSLMXzhABDWfTuI9TCYn24gWb2BBeJ2rakY4/jemFb1yLYWwAfiw5Gx X+dLkAlAzu55WfXDThgD1XqNkbx8uRlqG+6UUYuzkeLbkx90pK6/xcUgbqXTPZAlqkctnIHr DN5VE24w8qQC9eEoF95e75AZNom/Fpd/WfQtgg4L4P5aq472QFYfANwsEfjkR5wD+2siOAMq 3UnhEp3IKOcixZaci+AmIv3IvvRI3Xz+xamb+jX3Evf2ZCY4PVH7vNwsFjlsAyzcyhqu3x6z 9lY1Wed7ZTWHUITV5z2SEM+6xl9ofnTfCA844re0XAkP7Ozt3fO3NcgBe1tzRjFHZ8XNb6HG RTyD8wFDtKvbu0rmkSsRh0BNeFWsqUzOoLudveL3rKqIPc1hCiv3gElqMh21kOB8TY5S/adh c5UhaHFmFLdB3Gl0wjy16K/0ZpJbjwTAGelnC3tBYoKI7Z3YZ5OEmC2Zcu+2tR5gZfpHX9e7 l+qQV0ci6rLMVKfaULw2QpI2AEZu3uizGG90j95iDE1r7WWxi2IwuXjaB8vNWtCRW0khlDpa 9vR7ZhSTA2zYg4lmQHwr0PnxKVApLh+MGDJQAFJfinqKkltV6KxsvyJZMsFu/ZK+W1HFe+7Z 16dULv0pRAXhjjiE2Vpzzc+bzi2u5/9knSWkUqlJW1o5DrccMB0nlLE4cDEAOVWxnwATTV5j j/eAh69OcOo9JOajcWLvue7XmOnHppdFEujhYadtyag5XFrHhSlnraym9z7FCA11Cb6059hU iCAoBvnY4bt3ri3Kqo9JhguVAK6spAqXNghzcM5n/RykTACi4+Q/GYbnGu7Kthd1a/kLTIMS TMN39/J8V3g0UxnIGiOwtGcND3Vyc9gat+mJ2IOj3hlvoYaVeHNtuwCxHQq8T/a5UrLbPNwn ykQ064r4X8e2KQSvRY1iz6aGvYUFFVZOirlk1KJ6cq/peNZfjXKE/D42UxgkNSmFLzHrBtbX SOzf4ohEDRw8sRgOUjNlnzy653hUNbVZNMX8BaTll2T6oodYIJ0jfcMiSd9bCj4oH4o0O4nj ANnx5D8vYmGN2BF86ewAxoePTrwLZB2mHmlneNVmcCY2JqqF5NqF2AQXZfmevmvFSobqfXtM wvdWC15sHqQHqDTWBOO8Eoz5WyaCIilbjvEQRtRhcUnXhSWI1ZTxRwZTClv1IBsDRiknYTga BsrvW1Xvw+g7EEQlaQwcEOjGmbH+FX2NnFuE8PZdUQOqFkFvhawU4TW7/ovTX8GuMT59krVb DTcPVwADHlVCBLaQQq/b//+vZ+YtLLATuumc6mRO/PX9aoHBq3OndX2gu4Et36NLpndYSUkV qdmnBIFBTcgRYzYg2ldEnRH0XuSMIjL4k/7oHQ/r9jjoq20A0S2tNfJU/0KdowxnnL+yaaba 7zK3Hc/eWsej8lcgyePkedX3UZO2Xs3KX/wQfJZ5HSLFOWJy+dWF0JJMXotcpETvuRnhE8Vf peK77G9nqhxivp/Y7tcfXrmnMzhJckDImXmcUjCGF7OL7OeYzvC38DwZ6q4D7xWluRd8ROq6 36dFAf4MzKPmiOMNVjnOPxQjCydIB1VuZ2sOhdrB2/5Sdv6axq9eNZphDwyyLcwizvEL2kZe TR7dkpMqPWX40Y6yr1nHHdd63N+MeSesyOQ7u2dO4lP9PUyXXsymOVd73A3jbBS6WAMRfB4n jfTss87o1yilbrqqHIvWx5PpzBXwYOT6B86aOOJq98ZAyaCpU1SvgDyQ1wQqtBoC8PiofVVw 9nLz+foLStatsnT5Y0aDtTVL8SONDwgNwDoEXjaFlhgL3bjOGfBikhaiPzX+GeSq81wr4Xvl YEOVr5EXUY0UPIbC1hgNNMHKZZzGDgjlPTI6axArWr7txTXSMhA69rfUemOBPz0NDuDpbxNZ h9N0KyhaIpKadK91EtlZV132o/NHgCDOLIF6j0kZQgyrkJX9XF4RWBmwEPpZDSm53oLHOK1l Bo74uORSeso/TbopVwwIwiTzMPVuEY0kNThxzuWdWypRE9RdYRfCi6xpldod52iHFkzYgq1k khpcjzDQuAJ54Y=
- Ironport-sdr: 6613a55a_0RirJRo26qVmS3dBbDk5IeB1d7YKfBwdOusGP6LM9PfyowN Yrcmw0iyriuRAoGzHjGtqUUgTq7xe0/zOj4SYAg==
Dear all,
The thirty-eighth Agda Implementors' Meeting will take place in Swansea, Wales, UK from Monday 13 to Saturday 18 May 2024.
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
Best wishes,
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, 04/08/2024
Archive powered by MHonArc 2.6.19+.