Skip to Content.
Sympa Menu

coq-club - [Coq-Club] CoqPL 2022: Call for Participation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CoqPL 2022: Call for Participation


Chronological Thread 
  • From: Amin Timany <amintimany AT gmail.com>
  • To: types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr, eutypes AT cs.ru.nl
  • Subject: [Coq-Club] CoqPL 2022: Call for Participation
  • Date: Sat, 8 Jan 2022 15:48:49 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=amintimany AT gmail.com; spf=Pass smtp.mailfrom=amintimany AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr1-f53.google.com
  • Ironport-data: A9a23:j678Xqz4cEygQY/v5BR6t+dUxyrEfRIJ4+MujC/XYbTApDog0DVWy2sWUTvXPPbZM2L2etp1aojl/E4DsJaHx9diOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA/3z27AsFehsJpPnjkrrYuiJQUVUj/nSHOKlUL6cY0ideCc9IMsfoUI78wIGqtUw6TSJK1vlVeLa+6UzCnf9s9JHGj58B5a4lf9alK+aVAX0EbAJTasjUFf2zxH5BX+ETE27ByOQroJ8RoZWSwtfpYxV8F81/z91Yj+kurPyc0lPXaSLeAbT0TxZXK+thhUErSs3uko5HKBEOAEH1nPTxYk3lY4lWZ+YEW/FOoXFneUbTxhdGidvFaJD8b7DZ3O4tKR/ymWfLyCyk6Q2VCnaOqVBorotaY1UztQTLylIZRSejcqt0bejQ69tgN4iJY/lJusiVttI2WmMV7B5VcmWG+OS8YUNhHFq15EXCa2LP4xEfWU6RQrkSBhrFlczKZsYoP2MuHjaZ2QA/QvP4fMji4TI5Al40byoL8CMP9LXHoNamUGXom+A9GP8aiz2/ee3kVKtmk9ATMeW9c86ZG4TKFF83vtjgVnW2XZKTRNLDh20pv62jkP4UNVaQ6DR0kLCsoBqnHFHjPGkN/F7nJJAlhEZUttUVeY97WlhD4LKth2BCDFsoiFpMbQbWQxfedDu/lCMltLtQzdotdV5jFr1Gqi89VuPBMTeEYPOieLog+fIDxkPbbzfVi7yc+s=
  • Ironport-hdrordr: A9a23:5QSS7ayCEsxQR4XTLbC3KrPwF71zdoMgy1knxilNoH1uA66lfqWV9sjzuiWE7gr5NEtQ+uxoRpPwJk80hKQFhLX5VI3KNGKHhILBFuBfBODZslnd8kPFh5dgPGRbH5SWyuecMbG3t6nHCXGDYq4dKRC8npyVuQ==
  • Ironport-phdr: A9a23:3NmOXhNPXMaGY9A1ttcl6naxDRdPi9zP1u491JMrhvp0f7i5+Ny6ZQqDv6wr1QOUFtmBo9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9AdgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6v95HJfglFizqwbbx9IRmosA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KOT4l/27Yl8J+j6xVrgymqRFk2YHYfISVOeB+fq/Bf94XQ3dKUMZLVyxGB4Oxd5cCD+8APeZesoLzuVoOrR6kCgmqBOLk1zhFiWXz3a071eQhDQDG3Ak6ENIIsHXZt9r1NKIIXuC0yKnE1ynMb/RT2Trk7oXDbx8ur+2WU71qbcrR1VcgFxnDjliItYHpIy+Y2vkTvmWf4OdsSeKhhnMlpg9+vjSiyckhh4fJi4wV1lzJ9SF0zYI7K9GlVkN3fdGqHZtQui+VKoZ7QcUvSHxmtiY9z70Jo5+7fC4SxZQ8xh7fZOSHc4yS7RLlTuqRJi14hH1jdbmihBiy6VCtxvPgWsSwylpHrSpInsPSunwTyhDf8MiKR/Vl8kqi2DuDzQDe5v9eLUwpi6bWJYQtzqA+m5cTt0nIAzX4l1/sjKCMc0Up4uio5PrjYrXhvpKcMpV7igD6Mqg3lM2/G/k0PhEAX2Wb9+mwzrLj/Ur+QLVFiv05jLPVv4zdJcQevqK5AglV3Zg/6xunETuqzNAVkWMEIV9FYh6LkZblN0zULP34A/qzm1Gsny1qx/DCML3hGJLNLn3bnbj7eLZ96khcyBYyzdBa/Z1UDLEALen8Wk/0rtPYDxs5PxaozObgDdVxzpkeVn6XAq+FLKPStkeF6f4oI+mVfYMapDL9K+U+6PP1ln84mVodfbGz0pcNaXC4GO5mI0SDbnb2jNcBCzRCgg1rUP3yhUbHWDhVYGu0VK8U4jAgFJngForKXcawmLGH2mG2EoASLmtBExWHFWriX4SCQfYFLiyIZodsjyAVTbW6Y4Q6kwuz8gn+mJR9Ke+B0ygZs9rf1d184fybwRg39DpoDsGU1XClQGR9n2dOTDgzivMs6Xdhw0uOhPAry8dTEsZesqshuuISOpvVzug8ANf3CFqpljihR1OvQ9HgCjY0HItZKz4mZk98H5C9lEmG0XfxRbASkLOPCdo/9aeOhxDM

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

                          CoqPL 2022

                8th International Workshop on Coq
                   for Programming Languages
                              --
             January, 2022, co-located with POPL
           Philadelphia, Pennsylvania, United States

                   CALL FOR PARTICIPATION

           https://popl22.sigplan.org/home/CoqPL-2022

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

The CoqPL'22 program is now available online: https://popl22.sigplan.org/home/CoqPL-2022#program

This year's edition of CoqPL will consist of six contributed talks, two invited talks, and a session with the Coq development team.

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.

Invited Events
---------------
- Coq meets literate programming: tools for documenting, preserving, and sharing mechanized proofs: Clément Pit-Claudel
- Verifying Concurrent, Crash-Safe Systems with Perennial: Joseph Tassarotti
- Session with the Coq development team: Matthieu Sozeau

Contributed Talks
-----------------
- A Visual Ltac Debugger in CoqIDE: Jim Fehrle
- Scrap your boilerplate definitions in 10 lines of Ltac!: Qianchuan Ye and Benjamin Delaware
- Tealeaves: Categorical structures for syntax: Lawrence Dunn, Steve Zdancewic, Val Tannen
- Towards a Formalization of Nominal Sets in Coq: Fabrício S. Paranhos, Daniel Ventura
- A Verified Pipeline from a Specification Language to Optimized, Safe Rust: Rasmus Holdsbjerg-Larsen, Bas Spitters, Mikkel Milo
- A Case for Lightweight Interfaces in Coq: David Swasey, Paolo G. Giarrusso, Gregory Malecha


Hybrid workshop due to Covid-19
------------------------------------------------
CoqPL 2022 is collocated with POPL 2022 and will follow the guidelines set by the organizing committee of POPL 2022. POPL organizers have decided to hold POPL and its collocated as hybrid events making both in-person and virtual participation options available to all participants. (It is possible that these events would change to fully virtual events if many participants decide to convert their participation from in-person to virtual.) For more information see POPL's website: https://popl22.sigplan.org/.



  • [Coq-Club] CoqPL 2022: Call for Participation, Amin Timany, 01/08/2022

Archive powered by MHonArc 2.6.19+.

Top of Page