coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Talia Ringer <tringer AT cs.washington.edu>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Final Call for Proposals for the Coq Workshop 2022
- Date: Mon, 2 May 2022 12:17:45 -0500
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tringer AT cs.washington.edu; spf=Pass smtp.mailfrom=tringer AT cs.washington.edu; spf=None smtp.helo=postmaster AT mx7.cs.washington.edu
- Ironport-data: A9a23:NfZmsKrhZe29WjvabOLaVcI/xNxeBmLoZRIvgKrLsJaIsI4StFCzt garIBmEMq6MYGanc952YYvkpx9UuZOBndFrGwtppSExFShBpOPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKicfHoZqTZMEE/Nszo68wICqtMu0IHR7z+l4 4uo+ZWCYAX9glaYD0pNg069gEM31BjNkGhA1rAOTagjUIj2yhH5pLpGTU2AByOQrrt8RoZWd M6fpF2NxV41yj92Yj+TfhkXRWVRKlLaFVDmZnO7wMFOiDAazsA5+v5T2Pbx9S67hh3R9+2dx umhurSPa1wDZ4zRp908cDNFMAB9YpRX5vj+dC3XXcy7lyUqclPp06ooB1pwIoQD+udxDn1J8 7oVJC1lghKr3r7uhuvnEK83wJ1/faEHP6tH0p1k5S3DDPApTIrrSL6M+tZD3DY2idxJG7DTa 9dxhT9HNU6RM0MSZAh/5JQWpOWJnCblfhhjsAzMgoA8zXqPkSYp+e24WDbSUoHTG5ULxS50v Fnu9GPgRxoeKda30iuA6nvqh+nVnCq9Vph6KVGj3vt63xuY3SoMAQYWVF20vf6/zEOyRrqzN nD45AIRj/MYrW22ceDcfDelg1+H4ScNRZ1pRrhSBB629oLY5AOQB24hRzFHacA7uMJeedDM/ gPW9z8OLWAw2IB5WU5x5Z/I8m3sYnF9wXsqIHZeF1BduYiLTJQb10qXFr5e/LiJYsoZ8N0a6 wuHpTQig7h7YSUjhvXipQ2vb95BVvH0ou8JCuf/BDrNAuBRPdDNi2mUBb/zsJ59wH6xFAXpg ZT9s5H2ABoyJZ+MjjeRZ+4GAauk4f2IWBWF3wM2RcZ8p2jypyT7FWy13N2YDBs4WirjUWO4C HI/RSsMjHOuFCDyMPEpP+pd9ex3kPaI+SvZugD8M4MQMsYqHON21DxoZFCdxXvsjFlklq93J p6AcceqAmodD8xaIMmeGo8gPUsQ7n5kmQvuqWbTkkz/idJzpRe9Et84Dbd5Rr1nvP7c/FWJo r6y9aKikn1ibQE3WQGPmaZ7ELzABSFT6T3e+5QJHgJfCmKK2V3NCsM9BZska9MjlL8Tie7T/ nC7VVNfzhzyiWCvxcBmrJx8QOuHYHq9hStT0e8Q0ZKA0GNlfo+07KYZeIcwe/8q+PELITtcU aweY8vZahhQYm2vxtneBKURaKRpb1K0jBmOPiyqfD85OZNsWmQlPzMikhTHrEEzM8Z8iSfyT 3BMGO8WrVrvijmO1PrrVc8=
- Ironport-hdrordr: A9a23:5EdaparZdTEuMfljRpA0SWAaV5oHeYIsimQD101hICG9E/bo7v xG+c5w6faaskdyZJhNo6HiBEDiexPhHPxOkO0s1N6ZNWGM1QeVxepZnOzfKlPbakvDHy1mup tIQuxRDNXxCBxdlsb14A6xFpIFzMOc+K6lwcfypk0dKD2Cp5sP0+6xMGemLnE=
- Ironport-phdr: A9a23:Hsmg9hedreL2hHs2fGRyAUg0lGM+rtbLVj580XLHo4xHfqnrxZn+J kuXvawr0AWSG9+GoKsc2qKW6/mmBTZap87Z8TgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I RmoowjdrNcajIttJqos1hfEpmZDd+BKyW91P16ekAjw6tmq8JJ/7yhcvu8q+tJdX6n9Y6k2V 6FTAi48M2Ay6s3rtB3DQhWK63ABTGgYkQdGDhbc4h3iUZj/riX1tuxm2CmHJsL2Vqw7WS6j7 6hwVhDljjoMOiMj/2HWjsxwi79boA6kqhdizYPYfJ2ZOfxjdazaYN0aWHFBXt5PWCNdHoOyY YwPD+8bMuZZqYn2ul8CoBS6CAWpAu7k1z1GiWLs3aAi3OsvEQ/I0g89EdwQrHvZt8/6OLsIX O2v0KXE0TfOYvVL0jn98ojIdRUhrOmSU71qdcrRyFMgHB7ZgFWRr4zlMC2a1v4QuGWc8+pgT +Ovi2goqw5vuDii3dsjipLTioMb0F/E7iV5wIczJd23VE57ZtikHIFOuC6HKot7W8UvSHxnt ygm0LMJo4K7fDQUx5Q9wR7Sc/OJfouJ7x/+WuudPTd2iXFhdb+jiRi+71WtxvH9W8SpzVpHr DZIn8fNu3wQ2BLf99aKR/tg8kq82DuC0x7f5/9CLEspm6TbLJshzaQxlpoVqUnDECv2mELqg 6OIakko5Pak5/7gYrX8qZ+QL4B0igDiMqQuh8ywGv40MgkJX2SD9uS81aHj/UnjT7pRlPE2k 67ZvIjbJcQdvK65AhVa3pwt6xalFzupzs4XnWIHLV1ZeBKIlYnpO0vULPD/F/e/jFKhmypoy fDeJrDtH5rAImTZnLv8crtx9VRQxQQpwdxC6J9ZDqkNLOzvVkL1rtDVDR80Pxapz+vmCdhxz J4SVGCRDqKfLajcq0WH5vg1LOmJfIIVuCjyK/wi5/P2iH84ll0QcbO10psMcny5EO5pI16ZY XrthNcBHnsKvg04TODwllKNTCNTa26zX6I6+D47FJqrAZrMS4yxmrCNwSi2EoNMam1IEFyAD HjleoGcV/cJci2SI8thkjIeVbimTo8szQ2utBX7y7phIerb5DcYuIn/29hu/eHSmws99Sd0D 8Sc1WGNQH10nmQORzMswq9wvFF9xk+F0adjm/NYD8Bc5+tVUgcmMp7R1/F2B8joWg3dZteJV EqmQtK+DD4tSdIx2sYCbFp5G9W/lR/OxDGqAr8Ql7yTHpM46KPc337rJ8Z80XnKzqchj0N1C vdIYGahn+t08xXZL4/PiUSQ0aiwJooG2yuYyG6HzGPGhkBeXwNqGfHZR3EZaUbMhd/ioFzLV L+vD7s7NQ0HxMKffPgZIub1hElLEa+wcO/VZHi8zjvhbf7p7raFbY6xPn4YwD2YE08c1QYa4 XeBMwE6QCanuWPXSjJ0Rhr0e0251+54pTugS1MsiRmQZhh9zbuz9RMPrfeHDewaxbIFvig9r DMyEVqgjJrNE9TVnwN6Z+1HZM8lplJO1GbXrQt4a4C6LqZti0Q2eB8xoEr11xRxBZlHl44no G55hBFqJ/e+11VMPyidwYi2OrDTLTzq+wuzbqfNxlzE+NOGpeEE87Inok7jvQemCk0ktXhrz rG5ylO64ZPHREoXWJP1CQMs8gRi4qrdem877p/V0ntlNe+1tCXD0pQnHrltzBHoZNpZPK6ec W26W8QHG8ijLvArkFm1f1oFOu5V7qs9I8KhcbOPxqeqOO9qmD/ug35A5chx1UeF9iw0TeCtv d5N3+uZ2ASKTR/3lxG+u9v3mIZLeTYUWGez1GmsBYJcYLFzYZdeEX2ncKjVjp11g5/gXWId9 Ub2Xg9enpb1I1zJKQWhjF41twxfu3GslCqmwiYhljgoqvHaxynS26H5cwJBPGdXRW5khFOqI I6ujtlcUlL7Cmph3Baj+0v+wLBW4aplKGyGC1tSfi75IntKWbD2qbOZY89J548vt2NaXPn2M jX4Avbt5gAX1S/uBT4U2Co6cT6noL3yhFplgXmdLXB8sH3fP8x82F2Mgb6UDe4U1T0ASi5ij DDRDVXpJNil8+KfkJLbu/y/XWasPnFKWRHi1pjI9C6y5GkxRAa6g+j2gdr/Vw4zzS780dBuE yTOthf1JIfxhey2Nuduf08gA1GZiYIyBpt/lIQ9nrkbwj4Fj46V/HwIjWD1d9hXxOryYWEMS jgC39POqFG5gAs6cijPnMSgCiTVy9AEBZHyem4M3yMh881GQLyZ6rBJh2o9o1a1qx7Qfekom z4czfU073tJy+oNuQcr0mCcGuVLQREeZHC20U/Otozv/8A1LC61fLO91VRzh4WkBbCG+URHX WrhP4wlBWl259l+N1TF1Dvy7JvlcZ/ed4F21FXcnhHeguxSMJ90mOANgH8tJXj8u3Io0cYwl lpx1Iq6vY6IN2Jruq+1H1QLU1+9L9NW4TzrgatEy4yKxYGpEZh7Mj4QGoThVvKpFj0OsvKhO gqTWm5ZyD/TCf/UGgmR711jpnTEHsWwNn2ZE3IeyM1rWBiXIEEMyBBRRjgxmYQ1Uxy73MG0O lks/SgfvxSrz3kEgvItLRT0VX3T4RuleithAobKNwJYt0lD/xuHaJbOqLgrT2cAuMDprRTRe DXBN0ISVTFPAArYWzWBdvGv/YWSqrLIQLDmf72UJ+zW9qRfT6vanMj/lNE+r3DWcJzWYDFjF 6FpgxATGyohS4KD3WxVF0l132rMd5LJ/U3svHcv/obltq2wAEru/dfdUuECd483q1btx/7aa 6aRnHorcGwIkMlUlTmTjuFEhjtww2lvb2X/SO5Q83SVHOSN3PINRx8DN3EqbpsOtfpsmFQLY JSFwtLtiuwh1K5zUQ8VEwC+3JrwAK5Ca2ClaAGeXhbNbuzWY2GUhZyuKaKkFe8J1rUS7UXg/ 2jDVRK/djWby2uwDUDpa7kcyn/DekUF4uTfOl5sETSxFY6+LETnapksy2RqmvU1ni+YbDJEd 2EgKQUW6OTMs2tZmqktQjAZqCM5d6/f3X/Fvoy6Yt4XqaU5WHosyLAGuCximeENtHMdHa4nx iKV94Qx61C+zLvVlGI4AkYW8m4Z3trT7xw7a/eGqvwiET7F5ExftzvIVEZW/4M9WIe34/IJk 4qdy6m7KS8coYiKpZROW5CMcJDdaCJzaEO7Sm6OaWlNBT+zazOF2RQCwq3KriXH9MBi+MG2y sheFvdaTAJnTK1CVRY5RIRacs0vBmF9zezJ15JthzL2rR/aQNhWs8LcTvzLR/70biuGy7RIe lMeyLf8Z+z/L6Xd3EpvIhl/lYXOQA/LWMxV5zZmdkkyqVlM9353Sisy3VjkY0Wj+i1bE/n8h RMwhgZkBIZlvD7x/1c6IEbLryosgQEwn9vimzWYbD/2Ku+5Q4hXDyP+s0V5PIn8Rk55agi7n EosMzmhJfoZl7x7aWVikxPRo7NKCaEaRrYCfxYLxfCRaOkv1xJRpjjmjU5L6O3ZCIdzwQsnd Zn/yhAIkwlnbdMzOenRPP8QkgAW3/7U+HTuj7xgk2p8bw4X/WifeTAFohkNP7gifG+z+/B0r BeFg31FcXQNUPwjprRr8Fk8MqKO1XGFsfYLJ0avOuiYN67ctXLHkJvCXkkx0EwFjWFO5v5p2 NwjckybS0cpiradCl5aUKiKYREQdMdU+HXJKGyWtv7RxJtuI4inPuX4EqmFr+ALi1mkHQAmA 4MKqMkNA9P/tSOQZdeiJ7kDxxI34Q3tL1jQF/VFdiWAlzIfqt2+xpt6tWGyDjoGR3p0KiW24 LnLoQlsjfaeDo5eipYyW5tbcHktHtKzgC5YuXtcCz/x3+4EmlDqB9rUrT+WEzDnb9tla+uTY 1VhBMzkoV0C
- Ironport-sdr: No1yDw/Sesj17tu+y/VjCz7HpsIq8fkKre24sIuC7vXnHNVoqwx5OJ168LiTHKYQmSoip3F84n dIdVd1jIDcTBvHMVkuFvsPt45y5qBsfDedppU6Kwb6LQEprmzfAHqiIC5ozQCsKNAL813lCkGh 0LDCZ+QpKIcqYYKT0O66wOJpRPD/xbRJBHjZAp7BvolWKRyJh0YNlSj0oWYZ/92oS5IhrOobNK mm9XZYM8GIfFy5YLyI9lTZk68mbMtD2iCWi892lS6n49Tu6z1GQ9ZkVGF7/hvTFtcHyRGnzb5k AKY=
Hi all, this is the final call for proposals for the Coq Workshop 2022. Proposals are due on May 10th. We'd love your proposals. More below!
---
We are pleased to invite you to submit presentation proposals for the Coq Workshop 2022, which will be held in Haifa, Israel on August 12, 2022, as part of FLoC 2022.
The Coq Workshop 2022 is affiliated with ITP 2022, and is the 13th installment of the Coq Workshop series. The workshop brings together users, contributors, and developers of the Coq proof assistant.
The Coq Workshop focuses on strengthening the Coq community and providing a forum for discussing practical issues, including the future of the Coq software and its associated ecosystem of libraries and tools. Thus, rather than serving as a venue for traditional research papers, the workshop is organized around informal presentations and discussions, supplemented with invited talks.
Important dates:
- May 10, 2022 (AoE): Deadline for submission of presentation proposals
- June 10, 2022: Notification to authors
- August 12, 2022: Workshop
Submission instructions:
Authors should submit presentation proposals as extended abstracts through EasyChair.
Relevant subject matter includes but is not limited to:
- Language or tactic features for Coq
- Theory and implementation of the Calculus of Inductive Constructions
- Applications of Coq and experience reports on Coq use in education and industry
- Tools and platforms built on Coq
- Plugins and libraries for Coq
- Interfacing with Coq
- Formalization tricks and Coq pearls
Submission format:
Presentation proposals should be no more than 2 pages in length including bibliographic references, and should use the EasyChair style with the fullpage
package. All submissions must be in PDF format.
Program committee:
- Łukasz Czajka (Technical University of Dortmund)
- Emily First (University of Massachusetts Amherst)
- Kesha Hietala (University of Maryland)
- Shachar Itzhaky (Technion)
- Xavier Leroy (Collège de France and Inria)
- Érik Martin-Dorel (IRIT)
- Anders Mörtberg (Stockholm University)
- Karl Palmskog (KTH Royal Institute of Technology) [chair]
- Clément Pit-Claudel (Amazon AWS)
- Vincent Rahli (University of Birmingham)
- Talia Ringer (University of Illinois at Urbana-Champaign) [chair]
Organizers and contact:
Karl Palmskog and Talia Ringer (coq2022 AT easychair.org)
- [Coq-Club] Final Call for Proposals for the Coq Workshop 2022, Talia Ringer, 05/02/2022
Archive powered by MHonArc 2.6.19+.