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] The Coq Workshop 2022: Call for Presentation Proposals
- Date: Thu, 10 Mar 2022 10:16:15 -0600
- Authentication-results: mail2-smtp-roc.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 mx6.cs.washington.edu
- Ironport-data: A9a23:0CDFdaqj6KBLdYJdQZGPEp9nQbteBmLTYxIvgKrLsJaIsI4StFCzt garIBmObviIajamKYojaIq1oRhUsZCAnIVjGQA9qCFmQ3kU9uPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKicfHkZqTZMEE/Nszo68wICqtMu0IDR7z+l4 4uo+ZWEYQf9gVaYD0pNg069gEM31BjNkGhA1rAOTagjUIj2yhH5pLpGTU2AByOQrrt8RoZWd M6fpF2NxV41yj92Yj+TfhkXRWVRKlLaFVDmZnO7wMFOiDAazsA5+v5T2Pbx9S67hh3R9+2dx umhurTtZS0bGa/lt9g+VggGGRx+HqsY3q3+dC3XXcy7lyUqclPp06soB1pwIoQD+udxDn1J8 7oVJC1lghKr3rjmhujjGq8w2YJ+daEHP6tH0p1k5S3DDPApTIrrSL6M+tZD3DY2idxJG7DTa 9dxhT9HNkmdOkUQZwh/5JQWocODmUnZNDRijVOFg5E1vnf53FNJz+24WDbSUoHTG5ULxS50v Fnu9GPgRxoeKda30iuA6nvqh+nVnCq9Vph6KVGj3vt63huY3SoMAQYWVF20vf6/zEOyRrqzN nD45AJzgYIA006CYeXeWgzmqkOEnRhCfchpRrhSBB629oLY5AOQB24hRzFHacA7uMJeeQHGx mNljPu1WmIw6+b9pWa1s+7O92juY3V9wXoqOEc5oR05D84PSW3ZpinCR8p/FKPdYjbdSGGpm 2viQMTTd9wuYSMj0rXlu1vcxS2lvZjISAEp4QORU264hu+YWGJHT9f2gbQ4xa8eRGp8crVnl CJU8yR5xLlVZaxhbATXHI0w8EiBvp5o8FT02DaD5aUJ+TW34GKEdotN+jx4L0oBGp9aJWG5P ReN4V8AusM70J6WgUlfPtrZ5yMCkPOIKDgZfqy8gidmOcAsKlHblM2QTRPPhwgBb3TAYYliY MnLL53E4YcyFKJm0jesXOYBwPcsyGghzHjTRJb00xOhuYdyl1bIIYrpxGCmN7hjhIvd+VW9z jqpH5TSk003vSyXSne/zLP/2nhRdCllX8+q85ILHgNBSyI/cFwc5zbq6etJU+RYc259zI8kJ 1mxBR1VzkTRn3rCJVnYY3xvcuqwD51k620yJiwtO1m03H5lbIqytf9Ne5wydLgh1epi0f8pF adcJJvYWqxCGmbd5jAQTZjht4gzJh2kiDWHMzehfDViLYVrQBbE+4O8cwa2rHsOAyO7uNEQu bql0g+HE5MPSx47U5Tdc7SwxkixvH4ShOV0GUbEP4ALKknr9YFrLQ33j+M2fptScEqdnmPC2 l/PUxkCpOTLr4sky/XzhPiJ/9WzDu9zPktGBG2Kv7+5OB7T8nen3YIdAv2DeirQVT+s9aivO bdVwvX7PKFVlVpGqdAlQbN7k+Q1/J3wrqRazwJrAHLNKVmnF+o4cHWB2MBOsIxLx6NY5FHoA x3RooECNOXbIt7hHX4QOBEhMLaJ28YUrSbfsKYuK0Lg6S4poLfeCRdOPwOBgTB2JaduNN932 v8ovcMbt16lhhwxPorUhyxY7T7VfHkQDeMsrdcFCZTriwwk1lZEJ5HQF3ausp2IbtxNNGgsI yOV2fCc3usCnhKafiphD2XJ0MpcmY8K5kJAwmgCEEuEx4jejfgt0RwPrTluFlZJzg9K2v5YM 3RwMxEnPr2H+jpliaCvhYx3992t0PFYxqDw97fNvGjJEQ+jTSrSJXY9OOCC4EcftW9QY1C3O V1eJHnNCV7XkAPZh0PemnKJb9ToVppu/xbCmcaoA8ODWZQ2fFIJR4ewMHEQpUKP7dwZ3SX6S CoDwAq0QabgczEZuK06DYaG0rJWRRyZTICHrTeN44tRdVzhlPqONfRi5qx/lg6h5xAHzKNgN /FTGw==
- Ironport-hdrordr: A9a23:NXRxDq37WVUfA9gl5FPvzQqjBcRyeYIsimQD101hICG9Lfb0qy n+pp4mPEHP4wr5AEtQ/+xoS5PwOE80lKQFkrX5WI3PYOCIghrNEGgP1+rfKl7bal/DH4xmpM BdmsFFYbWeY2SS5vyKgzVQZuxQpeVvh5rY59s2oU0McShaL4VbqytpAAeSFUN7ACNcA4AiKZ aa7s1b4xK9ZHU+dK2Adw04dtmGg+eOuIPtYBYACRJiwhKJlymU5LnzFAXd9gsCUglI3awp/Q H+4nvED+SYwoeGIy3npifuBqdt6ZDcI+54dYWxY4YuW3/RY02TFfxcsvW5zUsISaeUmSMXeZ D30m0dFtU25HXLcm6vpxzxnwHmzTY18nfnjUSVmH35vKXCNUIH4ud69PxkmyHimjsdVf1Hod 52Njiixudq5Dv77VvA2+Q=
- Ironport-phdr: A9a23:jDyPwhwGGDQU8DfXCzKhwlBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z haZvK81xw+SFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkelM8NlBYhCsPWQWfyLfrtcjBoV J8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZpO+j5AIHfg9qp2+yo5pHffRlEiDW+bL58M R67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84T aFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QrcpVzS/9 KdrUAHnhzsbNzA392HXj9Z/jKNdoBm8oxByzIrZbISTOfFjfK3SYMkaSHJOUchRWSJPAZ6yY ZUTAOcaJ+lUs5PwqkESoReiBwShAv7kxD9Shn/x2K03y/ovHhvC3AwhBd0FrWjarNTzNKcdT ++11rTDwDLfb/NM2Df97ofIfQ47ofyXQb1watDdyEc1GAPejlWQqIrlPzyJ1uQKtWiX9fRvW v+yi2M+rQx6vzegyNs2hIbTmoIV1k7L9T9/wIstKtO1S092bMOqHZdMty+XNI97T98sTW12p Ss21rwLtIOmcCUI1Jkq2R/SZ+GIfYSV/B/uVPudLCp5iX9hZr6ymRC/+lWuxO37U8m7yldKr ixdn9nCsnAN0ADc5tabRvdj4EutwzGP1xrc6u1cLkA0lLbbK548wrErjJYTsEPDEjf5mEX3k K+Wcl8r9fOy5+TmZbXqvp6cN4luigH/KKsigMK/Af4gPgcQRWeb4uS926Hj/ULjQbVKlOc6k q7DsJDVI8kQu623AxdN34o+9RqyDC2q3MoEkXQENl5IdxCKg5LpNl3TOPz0E+uzjlC2nDpox /3KJKDtD5TMI3TZn7rsf7Bw4FNGxgUp19BQ/ZdUB6kBIP3tXk/xs8TVDho2MgG12eroFM592 pkQWG2VGa+ZMKLSsVmH5uIzJOmMYpUZtyjgJPg4//LujHk5lkEBfaSxwJcbdnO1Eu54L0mFY nfgmNgMHGUQsgc+UeDmkFiCXiRSZ3a2UaI8/DY7CIe+AIffXICtgbqB3CilEZ1MfW1JFkuMH W3mdoqeQPcMaCOSIslukjwYUrihTZUt2g+zuw/n07ZnKPHb9TUCtZ3/zNh1+/HTlRYq+DBpF 8idyX2CT3lonmMUQD87xLxwoUtkyluazad4h+FYGsdI6vNSUgY6MIbcwPZgB9DzXALBZNaJR 0y8TtWoGzFiBu42ltQJegN2H8iophHFxSujRbEPxJKRA5lhzqvY3nG5Hcd7xHvcnP09lVggT cZVHWa9wLF27AjSAYHVlEPfmqq3I/dPlBXR/XuOmDLd9HpTVxR9BPmUNZh+Tk7frNCjo1jHU 6frE7MsdA1I1c+FLKJOLNzvl1RPAvn5a5zFe2zkvWC2CF6Tw6+UKpLwcjABxiTbB0UeuwsIu 2mPLgg/ACi9pGSYATBzRhr0e025yeBlszugS1MsiQSDbklvzb2wrwIPhPqTRuk71alCpy46q zRyE0q62ZTbB8fT7xF5cvB6ZtUwqExCyXqftwF5Ocm4KLt+g1cFbwltl0b+iVN8EcNfmNMqr XUl0A10b6+UzTutbhu+2pb9cv3SI2j2plW0brLOn0vZ25CQ87sO7/IxrxPiuhuoHwws6Scv1 d4dyHaa6pjQaWhaGZvsTkY68QR7rLDGc2E84Y3Tz3hlLaiztHfLxdsoAOIvzhvocc1YNeuIE wr7EstSAMbLSqRih0KoaB0JJshZ7+grNtimdv2JxKmteutsgXPujGhK5px8zlPZ7zB1GYuql 94Ox/CV2BfCVi+p1Q3x9JqvycYYOndPRznaq2CsHoNaa6xscJxeDG6vJ5fy3dBin9v3XHUe8 le/BlQA0cvveByIblW70xcDsCZf6XGhhya8yCR51j8zqa/KljDUwuLteQAvMXUNW2B5jVbqL pSziZYXUFXiPG1L3FO1oF33waRWvvE1M3PSR0hFZQD9NCd9W7Cwt7yNf8lJrp4krG8ENYb0K UDfQbn7rRwA1irlFGYL3zE3eQahvZDhlgB7gmaQRJpqhELQYto4hRLW5diGAOVUwiJDXi5zz z/eGlm7OdCtu9SSjZbK9O6kBSqtUZhacC+jyo3l1mPz+XdrBxKyhdi4gZv4GBM60Cn0y95sE yjEsV7wb5Lq2KKzLe98NhAyVBmms5o8Rt44z9J4jYp1uzBSnpiP+HsbjWr/ec5W367zdjtFR DIGxcLU/Bmw3URiKnyTwIeqHn6Zw8Zne5y7ejZPgHJ7tZgaTvvLquEdzk4X6hKioAncYOZwh GIYwPoqsjsBhv0R/RAqxWObC6wTGk9ROWrtkQ6J5pawtvYyBi7nfL6u2U55hd3kAquFp1QWR Gz4fJgvBwd79YNgOUnM0Xv89obiPtTccJhA03/c2weFlOVTJJ8rw7AWnythNm/nlXY+jfEyl hxv256mu47BJmlwtvHcYFYQJnj+YMUd/SvohKBVk5ON3oyhKZ5mHy0CQJriSf/7WCJXr/nsM ByCVSEtsnrOU6SKBheRsQ01yhCHW4DuLXycI2MViMlvVAXIblIKmxgaBX0zzIU8Chit2dCne 1w/+y9X61Llz3kEguNwa0ulCjqZ/l3wLG5rF97GcEQRtVsK5l+JY5bGs6QpRXkep8P86lXRd CvAPWEqRSkIQhDWXgqzeOjzo4Ocqa7CXLD5dKGGYK3S+7UEB7HSncLpis07uG3WfsSXYis7V a19gBITGykpQoKB3G9RLk5f3yPVM5zC+E/6o3Et6Jvltq2xCEW1uMOOE+cAaIk3vUnq2+HZb LLW3XwpbmwFs/FEjX7QlOpGgwVU0Xw2MWP3TvJY8nSRBKPIxv0OUEVdMX4rcpIWv+RlhlkKY pS+6Ju916Yk3KBkTQYcEwa8wIfzPotReSm8LA+VXRzbcu7edXuRmp2xP/77Euc17q0ctgXs6 2/BQwm5ZmTFyWGvDkv1droWxCCDYE4H4tH7KE49Tza7Co+6LUbhVb0/xTwwyrkpin6YAnUEP 35zdERCqrDW5iRdyvR5EGhc4nc3NvGK3T6D6PXVIYoXtv0tBTlok+Vd4zIxzL4wjmkMRfp+n Dbeo4xgr0q+nPSUjDR9XQFOpzNChYbNvEIqOKPS8oRMVCTD4Q4H6niWBxEDpt8jAdrppaFXj N7CiMeRYH9U+tbQt6PwHuDyL8SKeDokOBvtQnvPCRcdCCSsPifZjlBcl/eb8juUqII7o97ig shGTLgTT1EzGv4AbyYtVNUfPJd6WC8lmr+HnYYJ43S5thzYWMRduNjOSPuTBfzlLDvRg6NDY lMExrbxLIJbMYOeuQQqcl5hgIHDAFbdR/hIsnMnZRRyv0xW8Hl4QXE03QToZh7sqH4fGPion wIn3wtzZeN+kVWkq1wzJ1fMuG4xiBxow4Wj22jBNmKuavrpDuQ0Q2LuukM8M432WVNwZAy2x wl/MSvcAqhWhP1mfHxqjwnVvd1OH+RdROtKekx1p7nfavM23FBbsijiy1VA4L6PFYFjkgQna 7antDRf0hljbdg6OavWYqdF0xID48DG9j/tze03zAIEcgwV93iOfScTpEESHrw2eWyj5apz4 BeCmj1MZG8KEfcmv7g5kyF1c/TFxCXm3blZL0m3POHKNKKVtV/LksuQS08x3EcF/6Gg1bNtl 9gqaEqVUU8zy73XGhgUZ5KqweB9atoMsnPIOzmHquXMx51pOIP7G+z1H7fmXEk8iVniAw8yH 4UK4dgGGN+h3FyKdK/a
- Ironport-sdr: og3Pr619NPbrWLUnaxdxovxpj0vkA4v8nFJW94LDoLDQszsUyAn+Cj6QwRfgEQKtekA499y+tH hYKe7lA4val1hlKZjwqJHW9WfQ7fShXX3YiplfVofNfi2Sj1rhxh2Lb/IJUtrqnv9INtTGohYD 7OQAz9lNggyH6U/kZVwtzjMfL8qY68MzMfom+igtqET79d99N/vb9jnUCe7D3i+uMc6XZC2isz pai8P+iVmyQpIq0/2+ZuISsW14pMQem1yTs5QIVhhmd7JkR6dyVbnjsnA/ouSmstIPmv2NNtD+ YRxGo1jhMAetZMAvdtlaLhRA
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] The Coq Workshop 2022: Call for Presentation Proposals, Talia Ringer, 03/10/2022
Archive powered by MHonArc 2.6.19+.