Skip to Content.
Sympa Menu

coq-club - [Coq-Club] TyDe 2024: (EXTENDED DEADLINE: Monday 3 Jun 2024 (AoE))

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] TyDe 2024: (EXTENDED DEADLINE: Monday 3 Jun 2024 (AoE))


Chronological Thread 
  • From: Sandra Alves <sandra AT fc.up.pt>
  • To: "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "haskell AT haskell.org" <haskell AT haskell.org>, "idris-lang AT googlegroups.com" <idris-lang AT googlegroups.com>
  • Subject: [Coq-Club] TyDe 2024: (EXTENDED DEADLINE: Monday 3 Jun 2024 (AoE))
  • Date: Wed, 29 May 2024 15:55:04 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sandra AT fc.up.pt; spf=Pass smtp.mailfrom=sandra AT fc.up.pt; spf=Pass smtp.helo=postmaster AT mailout.up.pt
  • Ironport-data: A9a23:h92y4K/DytThav681FJDDrUDQ3qTJUtcMsCJ2f8bNWPcYEJGY0x3y 2BJWmiDPvzfNGbxKdlza43i8hsHuZWHz4A2QFdq+HpEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWYkWo4ow/jb8k834a6j4GlwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TEksxrDEYPF6cj2v8pA0FH1 +AKBT4ycUXW7w626OrTpuhEg80iKM72IMUCojd40Vk1D95/EMuFGv6Vo4IFmmpp7ixNNa62i 84xcjNpYA7JSxNEfEoPTooi9AutrimvKWwD8QvIzUYxy2fizwdQyOnGCfXcX+OlYcQLxFmJi m2TqgwVBTlBaYTBmWbemp62vcfEmjq+U4YPHpWj5/tyiRuSwHYSAVsYTzOGTeKRj0e/X9VCN woJ4mw2scDe6XBHUPGsZhi4p0eulCU8QoRSM+QY9BOgxJXLtlPx6nc/chZNb9kvtckTTDMs1 0OUk96BOdCJmOHLIZ563uvLxQ5eKRQowXk+iTgsdTdt3jUOiIQ6jxbIU8olDbbzlsGd9dDML 9Ki8nZWa1Y71JNjO0CHEbbv2GjESn/hFVBd2+kvdjj5hj6Vnab8D2BS1XDV7OxbMKGSRUSbs X4PlqC2tb9XU8DSynLWG7xWTNlFAspp1hWB2jaD+LF8rVyQF4KLI9A4DMxWfx42bJdaEdMXS B+C6Gu9G6O/zFPxMPcpM97qYyjb5ab9E9jsXfnTJsJHeJE5fUeM/Sxobk+Zl22lmQAwnKo5P pOcfselRXdcEeIP8dZFb7p17FPf/QhnnTm7bcmil3yPiOPODFbLEu1tGAXVMYgEAFas/V+9H yB3bZXakn2ykYTWP0HqzGLkBQtRdSlnXMGp95I/myzqClMOJVzNwsT5mdsJE7GJVYwP/gsR1 iDgCh1r2xDkiGfZKA6HTHlmZfm9Fdx8tH83d2hkd1qhx3FpM87l4bY9ZqkHW+At1NVi6vpoE NgDWcGLWcpURhr9pj8yUJjara5ZTiqNuz6gBSSeTQYaQ49BXC3Mo9/tQRvu/nIBDw2xrsoPn Iej3QL6H7sGHgRrM9bIZMKW0l+BlGUWuNtze2DqIdBjXlrm36Y3Ci72j94xe9otLzeazBSk9 g+mOzUqjsiTnJ0Q7//ImrGik4elN8BcD3hqNTDXwpjuPBaL41f555FLVdi5WAz0VUT2yf2EX vpUxfStC883tg9GnKQkGok60J9kwcXkooJb6QFWHH/rSVCPIZE4K1mk2fh/jIF89oV7iyCXB H3WosJ7PI+XMvzLCFQSfQopTtqS3MEuxwX9064HH1XY1gRWopy8TkRgDzudgnd8LZx0Er8f7 8UPhco00zG72z0WaouoryYM7GmdDG0yY4N+vLEgPYLboA4KyFZDXJ/iNhHL8Ky/M9VhD017D QKX1YzjhqtdzHXsa3AcN2bA9ssDiIUsuCJl9k4jJVOIqN/gm/MH9QBa0Q02ai93zRx39f15F UY2Fk9yJISIpyxJguoaVU+SOghxPj+r0W2v9EkozUr3F1KJUE7JJ00DYde9xlgTqT9gT2IK7 YOmx3bAehe0WsPIhw8Ze1Nv8t7nRvxPrjzyotitRZm5LsNrcAjeo/GcYEQToEHaGuI3vkrMo Ndq8MtWaaHWMS0xobUxO7KF1IY/GQy1G2hffc5PpK85P3nQWDWX6wi8L0qcfsBsJfuT1WSaD 8doBNxEVjXg9SKogw0YO5UxIO5PrKZ03OYBR7LlHn5Zkr29qjEyjonc2BKjj0AWQvJvs/0HF KXvSxy4HFat2ERkw132kJEcO06TQ8U1Wwnn7eXkrMQLD80itc9vQ2ET05y1nXCkIVY+9DnJo w/oRrT3ytZ6wt9GhLrcEaRkBiS1J+jsVe+OzhuBjtRWYf7LMubMrwkwqGS7Dz9JPLAUZct7p Y6NvPHzwknBmrQ8CELdpLWsCIhL4p+UcNdME8eqMkRfozSOaPXs7zQH5Wq8D55Dy/FZx8u/Q jqHeNmCTsEUV/hd1U9qRXBnSThFMJvOb4DkuS+ZhNaPAEJE0QX4cfWWxUWwZmRfLiI1K5nyD zHvgMmX5/dakZ9tASEVDPQ3Er56J17eAZEdTePTjgXBLGeUgQKlgIDAxCoQsWSBTjHOFcvh+ pvKSyTvbBn46umC0NhdtJc0pRENSmp0he4rZE8G5tpqkHaAAXUbKfgGe4AzYn2OfvceCLmjD N0MUIcjNck5dTFNcBH7/cilQx/ZHvBm1hLROGky503NA8upLNroPVej3n4ID7RKlv/LwurhN MlY4mGY0t2Z3MRyXehKjhCkqb4P+x4Zr07kPWjzmIrvG1AGHd3mEZCn8BVlDUT6Li0GqKkHy aXZi4yJrIFXhHMdyfpdRkM=
  • Ironport-hdrordr: A9a23:hoY55a4lBLtDTuMn7QPXwPLXdLJyesId70hD6qkQc3Bom62j5q OTdZEguyMc5wxhP03I9erhBEDiewK/yXcW2/h0AV7KZmCP0wbGTb2KhrGSpgEIdReOkNK0gs xbAtND4aXLfCFHZJHBkXGF+gkbquW6zA==
  • Ironport-phdr: A9a23:JkRsGR946mrgRv9uWZe2ngc9DxPPW53KNwIYoqAql6hJOvz6uci4b QqFtawm0w+BdL6YwswHotKViZyoYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5Znebx9WiDe+fL9+I xe7oAbMvcQKnIVuLbo8xRTOrnZUYepawn9mK0yOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ 7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8 qlmRAP0hCoBKjU09nzchM5tg6JBuB+vpwBwzIHJbo+WOvRwYKTTfdIBSGVbQspRUjZMAoOgY 4YNCecKIOZWr5P6p1sLtRawGBOjBOXyxT9SnHD9wLE30+A/EQ7YxwwrAtUDsG/Oo9XzKagSS /q6wbLGzTrfdf9WxC/95JLQchA9uPyBW697fsXNx0c1DQzFkkmQppL/PzOTzukAr3SW4/d8W O+ti2AqpR98rzuvyMoiioTEmIMYx03L+yhkzos4IdO2RFB7b9CkEZZdqyGUOpdqT80tQ29lv CY0x7sbspC1eygKzY4oxx/Za/GfaIiI4x3jVP6VIThignJpYrW/hwy98US4yu38UdW030pQr ipdiNXDqncN1xnV58OaSfV95l+s1SuL2g3d8O1IPE45mKjBJ5MhwrM8jJoevVnbEiPrnEj7g rWaelgq9+Wp8ejrfLrrqoWBO4J6hAzzNLkll9K7AeQlKQgOQ3aU+f6h2r3i/Ez2Xq1HguEwn 6LEqp7VP94bqbS8AwJN0oYs9RK/DzC+3dQdh3YHLVZFeBWaj4j1IV3OPej4Ae2ng1SwiDtrx vbGMaP9ApjVM3TOlLnscaxg50NSygc/19BS6pJOBrwBPf7/Qkrxu8bZDh89PQy02eHnCNBl2 4MFQ22PBLKWMLnIvlKT6OIgP/OAZJINuDrnM/gl++bijXkillAFZ6mmwYMXaGykHvRhO0iVf GLggs0dHmcSogo+UOvqhUWeXj5Ufna+Rr4z5jUmCI29ForDXYCsgLmZ3CihBJFWZ2ZGCkqNE XjybYmEVe0MO2quJZorji0cWKPkQokn0gyovwLSz7t8MvGS4SARrtT+zNVz4avemQx4vWhoH tyQyCSESWdzg2UDShcy3btjugpmx16Yl7VgjvpeU9Ff+qUNGk0zOpLV5+h7EMzpHAnBd9OMR Uy9BM6rS3llR909yvcKYl1hAJOpjhnH2iewGPkOmurPTNY/9buZ1HzsLe58zWzH3e8vlRNuF sBILCitgrN13wnVHY/A1UuDweLiP6QVxy3A8GOrzWOVv0xcVEh3S6qPFSQfb1DVoND9zkPLV LyjDbBhNRFOn4rKYKpGcNzyyFFPQvjLN9PZbGa8lH23GA6TgLiLacCiL2QRxiTGTUwNlQ878 nGBOgwzCT2mvnrFSjdpEAS8TVnr9LxFoXW3VEZ85gWUYlYpg6G8/BIPjNSSQLUOxvQcpHFy+ H1PAF+h0oeOWJK7rA17cfAECTtcyFJO1GaC8hd4IoTlNKd6wFgXbwVwuUrqkRRxEIRJ18Yw/ zsx1AQnD6We3Rtaci+Am4jqM+jMI2/+5hmHZaWQx0mYyMrFsrwX5qEAok749BqsClJk9nxm1 9dP1H7J/ZzMABAbeZz6FFsvsQBm9PnBeido34rPzjV3NLWs9D/P39V8HOw+1hOpZMtSKouBH Q72FNAGQdW2bvQ287SwRjQDOu0atKs9Psf9MuCDxLbuJ+F42jSvkWVA5ol5lEOK7St1DODSj d4DxLmD0w2LWi2Z7h/pu93rmY1CeTAZH3augSniColLY6RufIENQW6wKsyzz996itbjQXldv FKkAloH3oeud3/wJxTm1Atcz00/r3fhhDP+1yA12zAlo6yD3TDflvz4fUlPMWpKSW9+yFb0d NHl1JZDBxfuMlVvyUL2gCSyj7JWr6l+MWTJFEJBfiytanpnTrP1rb2aJchG9JIvtyxTFuW6e 1GTDLDn8H54m2vuGXVTwDcjenSkoJL8ylZhgWSRNn9bonGfZNk23QuVt5TMAOVc2DYLXnwyk jDRCkK1F9eiu8iM0Y/f+LPbNSrpRthYdi/lypmFvS2w6DhxABGxqPu0n8XuDQkw1SKTO8BCb SzTt168Z4Dq0///Kud7ZgxzA0e67cNmG4Z4m492hZcK2HFciI/HtXYAlG7yN51c18ecJDIWT DgH2df97gOjxVUlNm7By4/iV3qby9dsfJHjMzhQg3liqZ0XTvrNpLVf1TN4uF+5sR7cbbBmk zERxOFvjRxSy+AFtQwxzzmMV7UbHE1WJyvpxFyD69GzqrkSZX76KOnrkhMlwpb8Ufff+1I5O j6xYJopEC5u498qNVvN1Ca28YT4YJzLaspVsBSIkhDGhuwTKZQrl/NMizA0XAC19XAj1eM/i gRjmJ+gu43SYX5k+q6jCzZWPXvof4UL5nu+xbYbhcuQ0421S996EzMHRpLAQ/nuDSpUreitZ GPsWHUs73ycH7TYBwqW7kxr+mnOH56cPHaSPHAFzN9mSUrVNAlFjQsTRjl/go8hG1Xg2pn6a EkgrGN0hBawul5Wx+lvLRW6TmrPuFLidGIvUJbGZBtOslMbthyTaJfBqL8uWXkfpMHprRTRe DXKPEIRVj9PARPCXgyGXPHm89DE96Lw6vOWF/LVev3OrOVfU6zN3pezys59+C7KMMyTP35kB vl920xZXHk/Fd6L0zkITiUWkWrKYav57F+k/TZrq8mk7PnxcAfm5I+IFqcULM0p4wz+jaqYN uGWjTp0Mn4Bh8hKnCSXjuVCmgNLwyh1ElvlWawNryvMUL7dludMAhgXZjkyfMpE4qQg3xVcb M7WjtSmnrV8j/MzFxJETQm4y5rvPJdVZTzgcg6eVyPpfPycKDbGwt/6e/a5QLxU16BPsgGo/ C2cCwnlNyiCkD/gU1auN/tNhWeVJk872sn1fxBzBGzkVN+jZAe8NYo9ljQwzac9rn3Bc3MEd yBgORAozPXY/WZDj/NzFnYUpGJiNvWBkj2F4vPwL58Xtfx2HmJpj6RC/D5prtkdpDEBT/tzl izIq9doqFzzieiDxA1sVx9WoypKjoaG7g1yfL/U/Z5aVTPY7QoAuC+OXg8SqYIvWbiN8+hAj 8LCn6XpJHJe/sLIqIECUtPMJpvPMWJ9Y0O4Q3iNV1RDEGPtbSaF2wRciK3AryzO6MFh9N63x 9xXFto5HBQjH/ceQCyN/fQHKZZzWS4416ODytYUtyPWRPz5Ss4co4iBTu7AWZ0Hxx6Xhv9Zf 10Q3eGhRbk=
  • Ironport-sdr: 665741d7_4hLbFB6dgjJmjikNMY+thN1X2FfoXKdLKg2FXvyzCLJ5dbY ZOdq6tR16KB/ylQQyA4GCl2OcrgT+J1OSxIWh7Q==

Dear all,
We call your attention for the deadline extension for TyDe'24. We welcome both full papers and extended abstracts until Monday, June 3rd (AoE).
Best regards,
Sandra Alves

=========================================================================
               The Ninth International Workshop on
                     TYPE-DRIVEN DEVELOPMENT
              Call for papers and extended abstracts

                  Milan, Italy, 6 September 2024
             https://icfp24.sigplan.org/home/tyde-2024
=========================================================================

The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development.

We welcome all contributions, both theoretical and practical, on a range of topics including:

* dependently typed programming;
* generic programming;
* design and implementation of programming languages, exploiting types in novel ways;
* exploiting typed data, data dependent data, or type providers;
* static and dynamic analyses of typed programs;
* tools, IDEs, or testing tools exploiting type information;
* pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs.

### Important dates ###
* Monday 3 Jun 2024 (AoE): Submission deadline for papers and extended abstracts
* Wed 10 Jul 2024: Notification of acceptance
* Wed 17 Jul 2024: Submission of camera-ready papers to ACM
* Fri 6 Sep 2024: Workshop

### Proceedings and Copyright ###
We will have formal proceedings for full-length papers, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged  to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference.

The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.

### Submission Details ###
Submissions should fall into one of two categories:

* regular research papers (12 pages);
* extended abstracts (3 pages).

The bibliography will not be counted against the page limits for either category.

Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings.

We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard.

Submission is handled through HotCRP:

https://tyde24.hotcrp.com

All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines:

https://www.sigplan.org/Resources/Author/

Note that submissions should use the new ‘acmart’ format and the two-column ‘sigplan’ subformat (not to be confused with the one-column ‘acmsmall’ subformat).

Extended abstracts must be submitted with the label ‘Extended Abstract’ clearly in the title.

### Participant Support ###
Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover participation-related expenses. PAC also offers other support, such as for child-care expenses during the meeting or for accommodations for members with physical disabilities. For details on the PAC program, see its web page:

https://www.sigplan.org/PAC/


  • [Coq-Club] TyDe 2024: (EXTENDED DEADLINE: Monday 3 Jun 2024 (AoE)), Sandra Alves, 05/29/2024

Archive powered by MHonArc 2.6.19+.

Top of Page