Skip to Content.
Sympa Menu

coq-club - [Coq-Club] CoqPL 2023: Call for Presentations

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CoqPL 2023: Call for Presentations


Chronological Thread 
  • From: Tej Chajed <tchajed AT gmail.com>
  • To: coq-club <coq-club AT inria.fr>, types-announce AT lists.seas.upenn.edu, eutypes AT cs.ru.nl
  • Subject: [Coq-Club] CoqPL 2023: Call for Presentations
  • Date: Wed, 21 Sep 2022 07:58:34 -0700
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tchajed AT gmail.com; spf=Pass smtp.mailfrom=tchajed AT gmail.com; spf=None smtp.helo=postmaster AT mail-pl1-f180.google.com
  • Ironport-data: A9a23:AQX0NKJsa2Now0+4FE+RAJElxSXFcZb7ZxGr2PjKsXjdYENS0WZUn 2NLCGzXMvnbYDf9KtAgbtvn/E0H7ZXdm4JmTVYd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fQLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWCfg7+s9JIGjhMsfjb+Uk25K6aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes1zFfUuxVPJHZSwmZyV4HSdekex+vtnC0MvJIY1w7xsAW4bo JT0KBhVBvyCr+e/wbb+Uu01w8p6fJGtM4QYtXVtizreCJ7KQ7iZG/SMtYIehm5swJkeRZ4yZ OJBAdZrRAjLYxRNN1s/B5c3nePujX76G9FdgA/O9fprvDKDpOB3+KfVEoPacPeTfOcLn2y5n TjJ5iPdJThPYbRzzhLcqi727gPVpgvwX5tXH7ml/NZxkViLzyoSDgcXXB21u5GEZlWWXtteL wkM/nNro/FirAqkSd7yWxD+q3mB1vIBZzZOO708xzjWw5aJ2giQAWodVzVsUYY9tMBjEFTGy WS1t9/uADVutpicRnSc6qqYoFuO1c49fTBqicgsHVRt3jXznG0gpkmQEYs7QcZZmvWwSG6gm WnbxMQrr+xL1ZZj6kmtwbzQb9uRSnXhSwc04kDPWjvg4FopPMiqYIun7VWd5vFFRGp4crVjl Chb8yR9xLpWZX1oqMBraLtXdF1Oz6jfWAAweXY1Q/EcG82FohZPh7x47jBkP1tOOc0ZYzLva 0K7kVoPusQNbSv0N/InO9rZ5yEWIU7IRYSNuhf8PoomX3SNXFLvENxGPhPJhjiwwCDAb4luZ M7KGSpTMZrqIf0/kGDeqxY13rgsySQzrV4/triqpylLJYG2PSbPIZ9caAXmRrlgsMus/VuIm /4CaJPi40sFDIXWPHKMmaZNdgBiEJTOLcqpwyChXrXTfFQO9aBII6O5/I7NjKQ8x/QMzrmSo yviMqKaoXKm7UD6xcyxQigLQNvSsVxX9xrX5AR9Zgr66Gtpeou18qYUer0+eLRtpqQpzud5Q 7NBM4+MC+hGAGaPsTkMT4jPnKo7fjSShCWKI3WEZho7dMVeXADnwILvUTbu0ygsNRCJk/UCj Yeu7D6GfqpbdT9eVJ7XTNmN02KOuWMsnbMufknQffhWVkbe0KlrDC3TiPUIDdkGAkjBzGHC1 iK9IxQRlc/SqaAbrfjLgqGlqd+yMu1cR0B1IUjS3YyUBwL7oFWx4NZne/maWBzgT0XIwbWGS cQJ6uDjIdsFsU1vsYEhI410zKk72cTjl4VawitgAn/PSVahUZFkHVWrwuhNsb9r1JZCmA7rR H+KxMZWCY+JNOzhDlQVAggvNcaH9PMMnwjt/eYHG1r76AB37Yi4fx1rZTfUsxNkLZxxLI8B6 sUispRP6wWA1zwbAuzfhSVQr2mxPngMVps8ja4jAajptFsP6kpDapniGCPJ8MmxS9FTAHILf B6QpoT/3op5+GSTUkAOBUDs3PVcj6sgoBpl7kEPDHXXl8vnhs0Y5gxw8zM2RDt71h9siv15F kV3BU9YeYClojFi3plFVU+RBjAbVQG4+1Pw+XQNhmb2X0mlbU2TDWwfaMKm3lEVzHJYRRdfp Iqn8WfCVS34We3AxQ4wZBJVkOPiRtlP6QHyosCrMMCbFZ0cYzC+oKuRSUcXihngW+UduVbmo LR0weNOdqHLDy4cjKklAY28175LahSlJnRHcM5x7pEyAmDQVzGj6wegc3nrVJt2GMXL1kukB +hFBMFFDU2+3RnTiAErP/cHJrsskcM54NYHRKjQGlcHlLmh/x5Jq5Pb8xbsiFA7G+tOldkPE aKPVjagPFHJu15qtT7sludmNFC8Q+E4Xyzn/eXs8Ow2B5MJ6+5tVkcp04qLhXaeMSo53heYo DL8Y7Tyysp8w79NhKrpKL1IXC+vGOPwVcOJ0QG9iMtPZtXxKvXztxsZh13kHgZON54TZohTu ZGSluXohWXpka0TUW/Lv7WgTYxy+tSUTu5bFunVPUtqt3KOd+G06iRS5l3iD4JCle1sw/WOR iy6TZCVXsEUUdIM/09lQXFSPDhFApumc5q6gz22qsmNLR0v0QbnCteD3l2xZEF5ch44AbHPO jXWid2PuO8B9J9tASUaDc5IG5V7eV/veZU3fu3L6AW3MDOavUOgiJDDyzwQsD3FMyzRWoKyq 5fIXQP3exmOqbnFhoMR+ZB7uhoMSm1xm68sd0Ya4MR7kC2+EHVAF+kGLJEaEdtBp0QeDn0ji O3lNwPOyBkRXAiotT356dXnGx+bX6kAY4ehYDMu+EyQZmG9A4bo7H6NMMt/yy8eR9ch5LjPx RIiFrnYMR24w5UvTuEWjhB+qfky3evUnxrk5mik+/EfwH8i7XEi23loHQ4LXivCey0IeIMnO kBtLV15rIqHpYId3Cqul7O52P3Ugd838wgVUA==
  • Ironport-hdrordr: A9a23:3Q1JeqyfcpBnH+GxIWy1KrPwIb1zdoMgy1knxilNoH1uA6ulfq WV9sjzuiWE6wr5NEtBpTniAsi9qBHnhPxICOAqVN/IYOCMghrMEGgN1/qH/9QiIUHDHyxmuJ uIv5IQNDQ4NzZHsfo=
  • Ironport-phdr: A9a23:IWXu/x3iWv2KP2/SsmDOTQ4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaEo6421RSZBM3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsip2e2+4ZPebgtViDayYr5+M Qi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjT bxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7 bpkSAXwhSgINzA3/mLZhNFugq1Hux+uvQBzzpTObY2JKPZzfKXQds4aS2pbWcZRUjRMDJ2iY IsNEuEMI+ZYoJP/p1QQsBS1GA6hBP/zxT9InHD237M13Pk6HAHJ2QwvBdMOsHDOoNrpM6cSV Pm4wa/VxjrMc/1Ywy3y6JTUch8/u/GMW6p9f8Tfx0QuFQ7JkFuepZHrMj6ayukAsnSW4epkW O+sl2MpqwN8rySzy8ojhITFmp4Yxk3K+Ch93Is7K8O1RU97b9OiDZBeuSaaN45sTcMjRWFlo D06yrwJuZ6jeCgF0pInywTYa/ydfIiE+hLjVOGNIThknnJlYKiziAq18UilzOD3S8q60E5So yZbjtXBsmoB2h/T58SdVPdx40is1SyS2w3Q9u1JJ10/m7DBJJ472LEwk4IesUTdES/yn0X7l KqWeV8l+uis8ujnerHmqoKFO496lw3zMbgiltawAeQ/NQgOUGyb9vqm2LL/+k35Ra1Gjvwwk qbHrJDXPdoXqrK9DgNP0Ysu6wyzAym73NkXh3ULMVFIdA6fg4jsIV7OIfT4Dfmlg1SrlTdm3 +zGMaHhAprXLHjMjqrucK1y605Z0gUzzNRf64hIBbEGJfL/Qknxu8fAAR8jLwO02/rnCMl61 o4GRG6DGrWZP7/KsV+U+uIvJPGBa5MSuDbkMvQq+/rujWIillIGZqmo3Z4XaGiiEfh8IkWZZ 2DsgtYbHmsQsAo+Vr+itFrXWjlKIn22Qqh0sjo8EcetCZrJboGrmr2ImimhSNkeenFeB0vJG HHucJiCUPokbCOJPtQniTENTv68U4In01ejuBK+g7d6MvvM9zYwvomlzsUz4emAuws18GlIA sbV+GGETWx41jcUTD8/3q1ziUN4w1aHl6N/hqoLRpRo+/pVX1JiZtbnxOtgBoWqMuqgVtKAS VL8B86jHSl0VNU6hdkHf0d6HdymyBHFxSujRbEPxPSQHJJh1KXa0jDqItpljW7c3fw9hFkvQ MZDHWKjj697sQPUAt2BiF2Xwp6jbr9UxyvR7CGGxGuKsltfVVtsWqXMX30TTkTTpNX9oEjFS uzmEqwpZy1Gz8PKMa5WcpvpgFFBEe/kI8jbanmtln2YAB+JwvaUaNOvdTxNhGPSD08Llw1V9 nGDXeQnLgGmpW+WTDlnFFa1Jljp7fE7snSwCEk90wCNaURlkbuz4B8cw/KGGbsV2foftSEtp i8Rfh711s/KC9eGuwtqfblNKdI77lBd0GvFtgt7dpW+JqFmj1Qafkx5pUTrnxlwD4xBl4Ato hZIhEJuIqKR0l5NXzyd1JH0fLbQLyi6/RyibbLXxkCLyMyfqe8E7PU1rUmmvRn8TBJztSU6l YMMjz3Fts2ZaWhaGYj8WUs26RVg8rTTYy1nopjRyWUpK66/9DnLx9MuAuIhjBemZdZWdq2eR 2qQW4UXAdajLOsylh2ndBUBaapO/649Pc6qX/SD0a+veu1nmXj16AYPqJA4yU+K+ydmH6TU1 JYMwfyU9gSCXjb4ylymt4qk0ZABbjYUEG2lzCHiD4MEfax+c7EADmK2KtG2zNFz73L0c0ZR7 0XrR1YP2cvzPAGXc0S4xwpbk0IevX2gnyK8iT1yiTAg6KSFjmTCxOHrdRxPPWAuJiEqkVzsK Iq5g/gVWUGpa04ikx7t6UvhxqddrbhyNCGJGRYOL3WwdTg+FPLg7vKLeIZX5YktsDlLXejZA xjSUbP7rxYAkmviE2ZY2DEnZmSvs5T9kQZ9jTHVJ3JyoXzFPMBokE2HtZqMGLgLh2ZAHXkg2 ly1ThCmMtKk/MuZjcLGu+G6DSe6U4FLNDPsxsWGvTe64mtjBVu+meqyk5vpC1tfs2ez2t90W CHPtBu5bJPs0vHwLelnd0tlCHfz7sN7Hsd1lY561/RykTAKw46Y+3YKizK5Ld5b0KDzYFICQ DcKx5je5w2viwVza3mOwYz+THCUxMBsMsK7bm0h0SU498lWCa2Q4e8h/2M9sh+ioAnWe/Q4g iYFxK5k9isBm+9Q8lll3mCHD7sVB0UdISH8i0HC8YWltKsOAQTnObmoiBglwJb4XenE+F0DH i6+IMtqHDcsvJsjdgiXizuqtNmiIJ6JPJoSrkHGzUmG1rAPbsp3zr1Q3U8FcSr8pSF3lbB91 0A/m8Hi+tDAcT0l/brlUEECcGSpIZpCoHe1yv8O1seOg9LwQtM4QGhNBN2wCqv2dVBa/fX/a 1TXSG168yjEX+qZRUjFsQ9nty6dSs/wcSjGeD9Bi40lHUfVJVQD0lpMDXNqw9hgTFDsnIu4L yIbrngQ/gKq8EISjL84cUCuCCGH4175IjYsFMrFdUQQtFoToRyPd5TZt7M7CShc+tfJQBWlD GudakwICGgIXhbBHFX/Jvy04tKG9eGEB+24Jv+IYLOUqOUYWe3ajZSompBr+TqBLKDtdjFrE uE710xfXHt4B9WRmjMBTDYSnj7MaMjTrQm1+yl+pMSyuPrxXwen6YyKArpUedJhnnL+yb+EL PKVjT1lJCxw05oNwTrQzOFa0gdC02dhcD6iFblGvinIDerRlqJREx8HenZzOc9PvMdelkFGP c/WjM+w16Yt1KZkTQcYEwa4xofwNZRZRgP1fEnKD0uKKrmccDjCwsWtJLi5VaUVluJf8Ru5p TecFUbneDWFjTjgER61YoQuxGmWOgJTvIalf1NjE2/mGZj6YR2yMtJ7pTIzyLwwwHjNMCRPV Fo0O1MItbCW4S5C179nHHdd63N+MeSesyOQ7u2dMpJP9PUyUnwymOVd73A3jbBS6WsXIZ490 DuXpdlorVa8l+CJwTcySxtCpAFAg4eTtFljM6HUnnGvcXnB9RMJq26XDkZTzzOEItjmuqQV0 tyW0ayqeG8E/NXT8s8RQcPTLZDfWJLEGRXsET/QSgACSGzzXVw=
  • Ironport-sdr: 632b26b8_NuMgNJ6UZ7wk4fvt/8j8yQEgvNnERyqxlkCJoK7/2Y4G0GU MHGOhfmeiFivoIcA5crlEMFlbXNpfioSLmOlQ+w==

===================================================================

                          CoqPL 2023

                9th International Workshop on Coq
                   for Programming Languages
                              --
             January 21, 2023, co-located with POPL
                  Boston, Massachusetts, USA

                   CALL FOR PRESENTATIONS

           https://popl23.sigplan.org/home/CoqPL-2023

===================================================================

Workshop Overview
-----------------

The series of CoqPL workshops provide an opportunity for programming languages researchers and practitioners with an interest in Coq to meet and interact with one another and members from the core Coq development team. At the meeting, we will discuss upcoming new features, see talks and demonstrations of exciting current projects, solicit feedback for potential future changes to Coq itself, and generally work to strengthen the vibrant community around our favorite proof assistant.

Topics in scope include:

- Formalizations of PL research in Coq
- General purpose libraries and tactic language extensions
- Domain-specific libraries for programming language formalization and verification
- IDEs, profilers, tracers, debuggers, and testing tools
- Reports on ongoing proof efforts conducted via (or in the context of) the Coq proof assistant
- Experience reports from Coq usage in educational or industrial contexts

Workshop Format
---------------

The workshop format will be driven by you, members of the community. We will solicit abstracts for talks and proposals for demonstrations and flesh out format details based on responses. We expect the final program to include experiment reports, panel discussions, and invited talks (details TBA). Talks will be selected according to relevance to the workshop, based on the submission of an extended abstract.

To foster open discussion of cutting edge research which can later be published in full conference proceedings, we will not publish papers from the workshop. However, presentations may be recorded and the videos may be made publicly available.

Submission Details
------------------

Submission page: https://coqpl23.hotcrp.com/

Important Dates:
- Submission:   Thursday, October 20, 2022
- Notification: Thursday, November 17, 2022
- Workshop:     Saturday, January 21, 2023

Submissions for talks and demonstrations should be described in an extended abstract, between 1 and 2 pages in length (excluding bibliography). We suggest formatting the text using the two-column ACM SIGPLAN latex style (9pt font). Templates are available from the ACM SIGPLAN page: https://www.sigplan.org/Resources/Author.

Program Committee
-----------------

Co-chairs:

- Tej Chajed, VMware Research and University of Wisconsin, USA
- Benjamin Pierce, University of Pennsylvania, USA

Program Committee:

- Danil Annenkov, Aarhus University, Denmark
- Qinxiang Cao, Shanghai Jiao Tong University, China
- Tej Chajed, VMware Research and University of Wisconsin, USA
- Maxime Denes, INRIA, France
- Hugo Herbelin, INRIA, France
- Benjamin C. Pierce, University of Pennsylvania, USA
- Clement Pit-Claudel, EPFL, Switzerland
- Talia Ringer, University of Illinois, USA
- Christine Rizkallah, University of Melbourne, Australia
- Zoe Paraskevopoulou, Northeastern University, USA


Covid / Remote Participation Plans
----------------------------------

We will follow the same protocol for virtual / hybrid attendance as POPL 2023 as a whole.


  • [Coq-Club] CoqPL 2023: Call for Presentations, Tej Chajed, 09/21/2022

Archive powered by MHonArc 2.6.19+.

Top of Page