Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PLDI 2025: Tutorial proposals due Nov 14/24

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PLDI 2025: Tutorial proposals due Nov 14/24


Chronological Thread 
  • From: Clément Pit-Claudel <clement.pit-claudel AT epfl.ch>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Cc: "woosuk AT hanyang.ac.kr" <woosuk AT hanyang.ac.kr>
  • Subject: [Coq-Club] PLDI 2025: Tutorial proposals due Nov 14/24
  • Date: Fri, 8 Nov 2024 06:48:42 +0000
  • Accept-language: en-US, fr-CH
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=clement.pit-claudel AT epfl.ch; spf=Pass smtp.mailfrom=clement.pit-claudel AT epfl.ch; spf=None smtp.helo=postmaster AT smtp4.epfl.ch
  • Ironport-data: A9a23:el0uoKp6CO1D7PPXE2o56BzUXKpeBmJAYhIvgKrLsJaIsI4StFGz/ xJOGSnaY6zbJjuqJcY2M9718ldF4MGLn5ImCldcGRtFVHdLrMeDHYuCRqubF3nCcZSfHBhqv 59EYIeYIptrE3XWrE/9YrXtoXMlhfjUHrfxUuLOai1/H15qRikvhB4zyrZp2NI3j4a0UgnUt N2aT6EzVrOA82cc3jU8sPnS9HuDxcjauC8Epg55IvdAp0eYm3gaDZkSP733JHz9GqRpdtJWP N0vsIxVhEuBuU9FN/uljqrjIApNRbXJJU6Ci3VXUKW4nl5JoSlq/eVjvhLUOkdLly3b2Nt4w 9hXqYf2RQYmP6bBgvhbWB5dVA1/Mqxt9aXbCGOkrNaew2zqWH/tzvNyJ2gZZ8sT4PovaV2ij sf0VA3hFDjbwbre/Zq7VvV0nZZka9b0I8UTu35hxjzDEbAtRpWEaJ3xvXWxcf9z3qhy8Y3li 70khUBHMVKZCyBnOksLEIls26C3mWa5fzxXqVmYv7Zx6G/WiydJ6+BH2VA9q+HieSkuparvm 4681zm/W3knHNyD1SKeoDXrmfDQ2y/6V4MZGaeksPVthRqJ3mVWFRROPWdX2sJV/XNSIfoCb RV8xxcTkEQSyKCKZtDwU0G1rHff4UdEUYdbSuBi5lyHlfDeugqUXmNaF2YRQdF378VeqR4Ch gbYxYuxbdBMmOTIEizFru/8QReaY3V9wboqPHdcJec9y4C/5tt11Hojd/47eIatlNr5BDrs9 D6DqSk6lt07gNUCv0mB1QmvbwmE+N6QFGbZ2i2NBjj5t1ohNNb8D2CVwQGzAchofN7xomap5 yBsd/i2tIgmEZyLnSqRd+QBdJnBCyGtbVUwKXY2d3UQ32zFF0yLJei80xkiTKtdCfvoTBeyC KPlVay907cIVJeiRfcfj4tckK3Gx4C4fTjufqi8gtaj/vGd3eJIlc1jTRf44ozjrKQjuaYiG J28bIGXNHcxE4J5xgiofsZH9LB+k0jSxUuLLXz65w+izaLCInONR7NDO1vmguIRtfnU5lyKo 5AFbZfMkUwOOAH9SnG/HYo7JlQHKHU9GdbuqtASfeqKPwZrHEksE/HVh7ghE2Bgt/0EzLeVp C/iBSe0znLngFGEcUKlU0xlYei1RZhbsXwyYwUzaAPAN38LJNzHAL0kX5AwZPws8PFp5eVlS uEMPcSGGPVGDDrdkwnxdrHmqZB6KFKmnQyKeSGlCNQiQ6Ndq8Xy0oeMVmPSGOMmV0JbGONny 1F8/ms3gKbvRjiOyO7Nbe63kxW8pXYZ3ulyN6cNzh+/Z220mLWG6QSo5hP0Hy3IARjbyD/c3 Ab+7dIwu7zWu4FsmDXWrfnskmpqeteS2mJXB2ffq722XcUfEqxP3qcYONu1kfvhuK8YNUlsi Si5Dx0xDRHfoGt3jg==
  • Ironport-hdrordr: A9a23:JgUkza+RmnCYJhBCvatuk+AFI+orL9Y04lQ7vn2ZESYlC/Bxl6 iV7ZcmPGzP+U4ssRAb6Ky90cy7Kk80mqQFhrX5UY3CYOCEghrWEGgB1/qF/9SIIUSXnIMzu5 uIGJIOauEYeGIK6foSlzPIdurIruPmzImYwcvm4FIoZR12ashbgzuRQTzraXGeDDM2f6bROq Dsm/Z6mw==
  • Ironport-phdr: A9a23:/41CghFA5xxpsx6E3T1dWZ1GfxREhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21RmRAM6KtboE07OQ7/u4HzRYoN6oizMrTt9lb1w/tY0uhQsuAcqIWwXQDcXBSGgEJ vlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+I A+5oAjfq8Uam5duJ6Y+xhbNo3ZDZuBayX91KV6JkBvx6Nu88IR//yhMvv4q6tJNX7j9c6kkQ rNUCygrPXoy6MP3qxfIUBGB5mEbUmUYkxpIBxbK4RTnVZrvsSX0q/Rw1jCCMcL5Ub47VzKi7 7x2SBDzkycIKyQ58GDMhcNuiq9QvQ+sqAZ+w47QZ4GVKeZ+c6bAdt4UWWZNQsBcXDFHD4ihb YUAEvABMP5YoYfjuVYAsAe+CwevCuPu1jBHiWT73aIm3+k7CwzKwBAsEtAIvX/JrNv1LqASU eWtwaTWyTXEdfZW1in76IjUbxsvu/CMXa5pfcfPzUkgDR7FgUiOpozhIjiY0fgCs2yF4OplS +2vjXInpxtpojiu2scgk5XGhoYPxVDZ6Cp23oI1KMamR05jb96kFIFcuD2aN4ZvRM4pXm5nt jogxLIcpZ67YDYFyI4hxxPHZfGKcJWE7BzhWeuMPDp1hmxodrK8ihi8/kWuxfPwW8ip3VtKo CRJjMXBumwC2hHX6MWKSvVw8lq91TqTyQze6OdJKl06m6rcLp4u2L8wlpwLvETYHy/2l132j KuMeUUi4OSo7P7nYrrgq5SBNIF0khnzPrkwlsG8G+g0LwoDUmuB9eiiyrHu8lf1TKtXgvAyi qXVrY7WKMcBqqKkAQJY0Zwv5wuiAzqnytgUg30KIEpYdB6ZjIXlIUzCLfL7APulnVigjjhmy +rbMrDiApjAKGXInanlfbZg8E5c1BQ8zcpC6ZJVC7AOPur+VlP3udfFFBE2KRa0zPziCNhl1 oMRR2aPAqiBPaPJtF+I+vovLuaWaIALoDb9Jfwl6+Tygn85gVMdfK+p0oULaH2gA/hqPUaUb WDxjtoDEmoGpBQyQPLlhVGYTzJfenK/U7o55j4hCYKmCYnDRpqqgLyExCq0AplWaX5DCl+SF 3foa5+IW+8NaCKOO8NujjgEWqK8S4A8yx6usBT3xKR/Lura/i0Ur47s1Nht6+3Vjh497SZ0A NiF02GRU2F0mXsFSyIu0KBlvUN90kuD0bR/g/FACdNT4OpJXh4mOp7Y0ux1EMv/WhnBf9eMU FapWM+qATA3TtIrwt8BeVxxG9u4jkOL4y3/SbQSjvmAAIE+2qPaxXn4YchngT6S3644ylIiX 8FnNGu8h6c5+RKFVKDTlEDMvKIrcKkawGb19XvG5m6HoU1VVEYkWqHIWH0Zeg3OrMi87UfLU rOjDZwqKgVFj8WCfPgZIub1hElLEa+wcO/VZHi8zj/Y7Xegw7qNaNCvYGABxGDHD0NClQkP/ HGAPAx4ByG7omuYAiY9XUn3bRbK9u9z4Gi+Uldy1xuDOkZl2r+4/AJTnf2ADvgX168ItSMJp i16GBC234GeEMKO8jJoZ74UetYh+BFC3GPduRZ6O8mrK61ni1gCNRx2owbl0xxqBohEucUyo ndsxwohYbmA3gZncDWVlYv1JqWRKmT2+0W3bLXK31jFzNuM0rwK9Oxk7Vj7sgXvHUpKH2xP9 d5T3jPc45zLCFBXSpftSgMt8BM8objGYy477oeS1Ht2MKDyvCWQk9QuTPAozBqtZbI9eOuNC RPyHssGBsOvNP1iml6naQgBNfxT86h8Nt2vdv+P0qqmdOh6mzfugWNC6YF7mkWCkkg0AuXM0 pMIxe3exgqbEjz4hUqtv8TflJhKYXcZHiv3yCTpApJQerwnZZwCWgLMa4W8wtRzgYKoWmYNr QTzQQpZiInzI0bUNQWsjmgynQwNrHeqmDW11WlxmjAt9O+E2TDWhv7lf1wBM3JKQ29riRHtJ 5K1hpYURhvNDUBhmR276EL936Ueqr54KjyZSkNFeiXwMyd6U7f1vb6LfsJC7LslqStTFu+8K wP/KPa1s14B3iXvEnELjjs/ejSnvIm/hx1mzWmZJWt/oX7xdNl+wVHU5JaPIJwZlipDTy5+h z7NA1G6NNT85tSYmaDIteWmXn6gXJleGcXy5buJrzDzpWhjABnl2uu2hsWiCw8xlynyy9htU yzM6hf6eIjikaqgY6preUxhBVm07MQfeMk2mY89gZwWxT4Ch4nQ9n4OjGv+Nf1Wwaz6KnEND TIG2N/a5gH51VYrdyjZgdumBjPHmJcnPYDrKmoNv0B1p9hHEqKV8KBJkWNur1y0oBiQKflxk zEByOc/vXsTguUHog0onUD/SvgZGUhVOzCplgzdtoru6vwINCD1K+T2jhMvzrXDRPmYrwpRW Wj0YMInFC50tIBkNU7UlWf04cficcXRatQasluVlQ3Bhq5bMsFU9LJCiCx5NGb6pXBgxfQ8i Ekk1pW3uYWBNyN1/b78CRpRKzH4Y+se4j/py61e1JXzvcjnDtB6FzMHUYG9B/msHTcfs+ihL weSVTY4o2qXFL73EBeR7AFtrzicdvLjf2HSL34fw9J4QRCbL0EKmwEYUgIxmZshHxyrzsjsI w9poyoc7Vnipl5Q2/plYlPhB3zHql7iOVJWANCPaQBb5QZY6wLJPNyCu6htSjpA8MTprRTRe D3GIV0XVydZCwrdXQCkZOTm5MGcobnFQLPhdb2fOfPW7rYCMpXAjZO3jtk/p23Kb5TReCM/V btjnRAYFXFhR5aAw2lJF3NRz2SVKJfE7Bakpn8u95/5qqytBFiptczVWt4weZ1u40zk2P3fc bTN3WAob28EkchVjX7QlOpGhg5U1XwoLmjyV+1Y7WmWFcey0udWF0JJMnkjcpIXv+RlgFcLY 5ac0Yu916Yk3KdvWxEcCgynwJjzI5JSa2ClaAGeXhbNbevWY2eRn4enBMH0AbxI0LcN7U324 GnLVRW5YnLZzmmuDEnnMPkQ3njAYVoH4tz7L0crUzG9KbCuIhyjbI0u0WBwm+ZuwCmXbihEd mIgO0JV8u/JsX4e2K4uXTUfsDw8cLjMmj7FvbCEddBM7KAtWH0o0bgHuBFYg/NU9H0WHaAk3 nGK9Jg3/Ajgy7Dfgjt/DEgX9mcN3trR+xw9Y+OAq8UIWG6YrktQsCPJU0lM+Z0/UoWo4Pg1q JCHlbqvem4do5SPp41FX5GSc5/PMWJ9Y0O5RXiFV01cEWbtbSaF3QRciK3Ary3I6MFg9962x dxeDeUKMT59XvICVhY8TIFEeccmGGl/z/jDy5RSrXu4px3MSMgIiYvfWKjUDO3hLHCSjfFSb h8Mi9sUNKw1MYv2kwxnY1h+xsHRHlbIGMpKqWtnZxM1p0NE9D5/SHcy0gTrcFHl5nhbDvOyk hMs72k2Ke0w6Dfh5Us2LVvWtWMxlkc2g9DsnTGWdnb4Mq6xWYhcDye8uVI2N9v3RAN8bAv6m kIBVn+MX7VKk75pbnxmkifHvIdXRbhRVaNAJhQQhLmWa/guzVVAu3CnyEtAto6nQdNpkAond 4LprmoVglgzKodqdeqKfvYPlAEB1cfs9mey2+s8wRETPRMI+WKWImsTvVAQc6MhLGyu9/Bt7 gqLn31CfnINXrwkuKEPlAt1NuKewibny7MGJFq2MrnVJKeUvmXGiYiQQ0913UcBikVI+ZB7y cknNUGUHRNKrvPZB1ESOMzOJBsAJdJV72TWdD2SvP/l2pdpJ9n7G/jmSamFtOxH5yDsVBZsF IMK4MMbG5Cq20yNNsbrIokOzhA17RjqLlGIZBysUB+TnjNBqMHtlPefPKFGIy0FXSNwKSuzo L3X9FdCaBWrUc84ZjERXtldXk8=
  • Ironport-sdr: 672db455_n2F8nsLuHvBVjdPUJBRoQ2DJ1emFVgHs5JpV2zKDzhXtUdb Rv0QjdOsGjdZGmv+blW1fKeIxsMU+UKP4wBQVYw==

Hi all,

Woosuk and I are organizing the tutorials and workshops for PLDI 2025.

Proposals are due November 14th, 2024 (Nov 24th for workshops without
proceedings). Details can be found in the call at

https://pldi25.sigplan.org/track/pldi-2025-PLDI-Workshops#Call-for-Workshops-and-Tutorials

We look forward to receiving your proposals!

Cheers,
Woosuk and Clément.

Attachment: smime.p7s
Description: S/MIME cryptographic signature



  • [Coq-Club] PLDI 2025: Tutorial proposals due Nov 14/24, Clément Pit-Claudel, 11/08/2024

Archive powered by MHonArc 2.6.19+.

Top of Page