coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Rasmus Ejlers Møgelberg <mogel AT itu.dk>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] Types post-proceedings call for papers
- Date: Thu, 26 Sep 2024 14:27:10 +0000
- Accept-language: da-DK, en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=itu.dk; dmarc=pass action=none header.from=itu.dk; dkim=pass header.d=itu.dk; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=+RV4m539zpDVBHan9Ke9QZy0UFoAwpO0z8AkgnIRwV0=; b=FV/BB77i1XC7C/6/qrxI8b4ba5x3ZGYH66T0iLiMbW46L5+qOVDpGvGcOvu5fByCYlCdobqoxrXlmntrUAg0IpzV7V9whDNuvCFlpV4rQWmvYCnGibUY7W6OpKbFHtXoOM+RJqnkMR6+N7wufADNieUsqoZNO/lY1y6WvW7FWHCbv7yIJJ/+Tk7qByctlBzrlk0Xx72rbihEHGsRhJM97DlRrekGgXQDogbdpHMEErpNh0uBrdNfRqBLB+QjTgBCwSd7W7nIoMyexaB0QrxStX+HZJJNZeS2OeLSkBRr8sbzmldaGsroa+2UutdHqxJGLPWKhS6F6WGLmM3EIsFTpA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=J6pceLoy7aHimEXeHwvtslU67r8+2318O+SJnjl68doYwGc/SOlpm70bhx/B8RDeWc28wPFKghU2VHlRlvLdalK5wLgTmS/6VYmKWq/EThZ4BHuduGARcQL6z8fWgiNmf2exSIfheAilxfURgLch13SgVxzn5voNfoSx9NJPnM9VKp0CqEOS510OkUb7buCuiRW23JCx2FatWts+Rm0AwkDAvh/qVMy/6t7GxWiyIOjZGUu9XA7xP9Gt7r06+XquhFcfPDqLWJPnUy11suU92acSCWU6ciBVU0Bz2Qk9P5DwgMu4HBCxJSD78W0xr19ZLvljROQL7Suk6kLbU2TFxQ==
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mogel AT itu.dk; spf=Pass smtp.mailfrom=mogel AT itu.dk; spf=Pass smtp.helo=postmaster AT AS8PR04CU009.outbound.protection.outlook.com
- Ironport-data: A9a23:LlM1raM5ml3/VoPvrR0klsFynXyQoLVcMsEvi/4bfWQNrUolgTZTy zAdXmvTOqqMM2SneotzOdjl/U8EvcWDxoQ1QHM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYQbNNwJcaDpOt/rS8k034JwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXBLUD8/+hAC3hvOIc0p+c0JltLq /chfWVlghCr34pawZqScblUvJx/B/SzZNJZvWx8xzbEC/pgWYrEX6jB+d5f2nE3m9xKGvHdI cEebFKDbjydOVsWYg5RV8p4xb3y7pX8W2UwRFa9oK047mz7zRBslrTuWDbQUoXaGJ4PwhbD+ Aoq+UzVCCo3O8PG9gG00Wih3faTkz/yH5gdQejQGvlCxQf7KnYoIBYRTB6wpeSzolWvXspWb U0S4Csn66YonHFHVfH4Vhy85WGJpQIRRsBXC+Az+gaLk/OMuV/AXDJCSSNdYts7ssNwXSYty lKCg9LuA3poraGRTnWesLyTqFteJBQoEIPLXgdcJSNt3jUpiNhbYr/nF76PzIbdYhzJ9TDML /SihRNuv49L0eU2j/3qu1fanziru57FCBYv4RnaVX6k6QU/Y5O5Y4uv6h7Q6vMowEOxUAyap HZd8ySBxLlmMH1PvHXlrCYx8HWB5uqYdjHf6bKqN4d07CyjohZPYqgJiAyT5y5V3gIseCP0J kPQ0e+UCFm/I1PyBZJKj0mN5wjGAEQu+RkJlhwZUzaWXqVMSQ==
- Ironport-hdrordr: A9a23:jFuEeKuLiRaNaPvFRfLySpx47skC/YMji2hC6mlwRA09TyXGra 2TdaUgvyMc1gx7ZJh5o6HnBEEZKUmsvKKdkrNhRItKOzOW8FdATbsSm7cKpgeNJ8SQzJ846U 4NSclD4b7LfBNHZKTBkW6F+r8bqbHpnpxA7t2urEuFODsaDp2ImD0JaDpzfHcXeCB2Qb4CUL aM7MtOoDStPV4NaN6gO3UDV+/f4/XWiZPPe3c9dlMawTjLqQntxK/xEhCe0BtbeShI260e/W /MlBG8zrm/ssu81gTX2wbonthrcZrau5R+7f63+4kowwbX+0aVjUNaKv6/VQUO0a+SAZAR4Z vxSlkbToFOAjjqDxmISFPWqnLdOXAVmjXfIBaj8AbeiN28SzQgB8Vbg4VFNhPf9ko7pdl5lL lGxmSDqvNsfGb9dLSU3amza/hGrDvGnZMZq59gs1VPFY8FLLNBp40W+01YVJ8GASLh8YgiVO 1jFtvV6vpaeU6TKymxhBgZ/PW8GnAoWhuWSEkLvcKYlzBQgXBi1kMdgMgShG0J+p4xQ4RNo+ 7ELqNrnrdTSdJ+V9MIOM4RBc+sTmDdSxPFN2yfZVzhCaEcInrI74X65b0kjdvaCKDgDKFC6a gpfGkoy1LaIXiedfFm9Kc7jSzwfA==
- Ironport-phdr: A9a23:R3YUkB28uAxKrkSVsmDO8QwyDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeHo6810xSWA83y0LFttan/i+PaZSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pDdfwlEniSxba9wI Rm5rwjct9QdjJd/JKo21hbGrXxEdvhMy29vOVydgQv36N2q/J5k/SRQuvYh+NBFXK7nYak2T qFWASo/PWwt68LlqRfMTQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4 qx2RhLklDsLOjgk+2zRl8d+jr9UoAi5qhJ/3YDafZ2VOvR9cK3aYdwUSmVOU91NVyNaB4Owc 4sPA/YDMOtesoLzp0EOrRy7BQS0GO3g0CRIhnrr3a0hzu8vHgPG3Ag+ENIUq3TfsdL7LL8dU e+ryKnH1ivMb+lZ2Tzg74XIdxchof6SUrJ0asfRyFUvFx7fglqNqozoJjWY3fkCvGaH9eRvT /6vi3I5pAFrpDii3tohh5XXi48UxV3J9zh1zYQxKNC2RkB2YcKoHYZSuiybNYZ7Q8cvTnxpt Sg1y7ALpJ61cTUFxpkl2xLSav+KfpWO7xn+WuiRJjJ4i2hkeLK5nxu971Kvyvb8V8ao0FZFt CtFksPWunAKzRzT5c6KQeZ+8Ee5wTuC1x7f5vtZLUwoiKbXMZwszqIqmpYOr0jPADf6lFv3g aOKeEgp//Wk5/j9bbjno5KQKZN4hRr7P6khgcOyDuE1Pw0QU2SF/+m3yaPu/UnkQLVRkv05j LPZvo3bJcUauKG0GxNZ34A+4BilFTimys4XnXwfIVJFZh2Hi4/pNknSLf7lDvqxmUiinCtky v3YMLLtHonBI3zZnLfmYLZ991VTyA0uzdBZ+p1YEKkBIOj0Wk/tqtPXEgM5Mw2zw+bhEtl90 Z4eWX6LAq+eN6PSskWE6f4oI+mJfIMVuTD9JOY55/P2jXI1h0URcbS10ZcKcny1HOhqL1+Eb XbynNsNCWIKsRA/TOzuhl2CSzlTZ3OqUqI54TE7B5ypDYPYS4CsnLyBwT23EYBVZmxeDFCDC m/nd5+YVPcUdCKSPshhnyQZWbS5UY8uyQmutBPmy7pgNufb5ioYtYv62Ndp4+3TiAo9+CdvD 8Wd1mGNV3t7knkJRz8wxqB/oFZyxk2N0ahi0LRkEokZ7PRQFww+KJT0zupgCtm0VBiLNoOCT 0/jSdG7CxkwSMgwypkAeRAuNc+li0X51jGvHqRdur6PCYYvuodM0HX1LctnxD6S0a4ugl0OQ 9dSc2Gl0P0svzPPDpLExh3K352hcr4RiXalHAaryGOPuBsdSwtsSeDfWntZYELKrNP/70eET rm0CL1hPBESgdWaJP5sbdvkxU5DWO+lIM7XNme2lGq0LReU2/WAb9miYH0TiR3UE1NMiAUP5 TCDPAk6CD2mpjfbCzNjEXruf16q/eot4GijQBoMxhqRJ1Zky6Lz+hMRgqmETOgP27sfpCo7g xxPTG6Hh479NoLY9kxmYblWZs477BFfz2XFugdhP5umaad/mloZdAcxtETrv/luIqNHl8Vi7 HYjzQ4obLmdzEsEbTSTm5b5JrzQLGD2uhGpca/fnF/Egp6Q/e8U5fI0pk+G3knhH1c+83hhz 9he0meNrpTMAg0IVJvtU0ExvxFkrrDeayM56svaz3ppeaWztzbD3ZouCo5Hgl6leNhSNIuFC BK0H85bT8miJeo2mkS4OwoeNbMa/6o1MsW6MvqejfPxer84xXT51SIeutoutyDEvzBxQePJw ZsflvSR3w/dEiz5kE/kqMf834ZNeTAVGGO7jyniHo9YIKNoLuNpQS+jJdO6wtJmitvjQXldo RSmAFwL3OeoZQfUY1+3jkVAkF8ap3Cqg37yyjt7njUBr7aCmiDNibeHFlJPKitAQ29sik3pK I6/goUBXUSmWAMukQOs+Ufww6UzSL1XF2DIWg8IeiH3KzsnSa6srv+YZMUJ7po0sCJRWeD6Y FaAS7e7rQFImy/kGmJfwng8eVTI8t38mBN3jEqcMGs1oHmRdcxrxBjZ7cDRXrYMhHxfHHA+1 mGRXwLmd9Cytc2ZjZLCrvyzWyq6W5tffDOqqOHI/Cq36Gt2AAGuyvW6m9npCw8/gmfw09hnU zmNrQ6pP9Otjvzjd70/OBAyXgyZiYIyAIx1n4ouiYtF3HEbgs/Q5n8biSLpNt4d36vibX0LT DpNwtjP4QGj1lcwSxDBj4//SHiZxdNsItegZWZDkCc64M1OIKaI8fpInmEm6kr9tg/XbfVny 30YzvQj7FYbn/xPtAlnnUD/SvgCWEJfOyLrjRGB6duz+b5WaGiYer+1zENinNqlAeLKskRGV X3+YJtnAT5o45A1LgfXyHOqoNKBGpGYfZcJuxaTiRuFk+VFNMd7iK8RnSQ+cWPl4S95k6hq1 1o2m8n95dXPKn0xrv7hREcAaXutIZtUo2+I7+4Wn97Kjd31WMw5QnNTGsOvFK/gESpO56m9c V/WSntk7C/cQOSXHBfDuho86SuXSNbzcSnQfSZ8r50qRQHBdhUH3EZIA3Ni2MZ+T1/ixdS/I h1wvmlDvweh+BUQkro6ZV6jAgK97E+pcmlmEpHHdUgPt1gQ6RuNap7Mqb4iVyBAoM/7pVTUe DXCPlZGUTlSCBzcXwixbP7zvLyiu6CZHrTsdfKWOOfX8LUMWavQnsCkitM+rWTLa5zHP2E8X acyghMRBCkgScqFw25dRXRPz3CfKJPB7FK1/ik9xiym2MziQxmnpY6GCr8IdM5q5wjzm6CIc eiZmCd+Lz9ckJIK337BjrYFjhYejCRndj/lFrpl12aFVKXLhqpeFAIWcQtaD5tw1fpg9TQVY Z+djc7p3LlliPJzE01CSVHqhsCuY4oNPn25M1TEQk2MMdHkbXXHztr2bqW1VbBLxLgO8UTo4 HDESwm6ZG7LniKhTx21NOBQkCyXdAdTvo2waFclCGTuSs7ndgzuMNJzim5To/V8jXfLOGgAd DlkJh4X6OTItGUH2rMmQTYSixgtZfOJkCuY8eTCf5MfsP8xRz9xi/of+nMxjb1c8CBDQvVx3 irUtN9n5V+8wYztgnJqVgRDrjFTiceFp0JnbO/c8ZZNXV7F4A9L4WbaWHFo75N1T8bivaxd0 I2FjKXoNDJL6M7Z5+M1PJjsEprbG0d5aUuvHyPIBgwYSzLtLXvYm0FWjPCV8DuSs4Q+rZ/v3 pEJT/UIMT59XuNfAUNjEtsYJZ5xVT5xir+XgvkD4n+mpQXQTsFX7djXE+ifCvL1JHOFnKFJM lEWlKjgI91ZZeiZkwRyL0N3l4PQFw/MUMBR92d/OxQsrhwF8WAiHDFrnRO/LFvruDhKSLa1h kJk1lM4OLxysm+quxBueD+o7GMxiBVjxI+j2GjJNma3dODpAMlXE3am6hJ3a8uhBV4zNUrrw wRlLGuWGugX1uM7Mzgt0EiF5v4tUbZdVfEWOUdMg63IIa1uiRMF9W2m3REVv+KdUMk7zVJ4f 8L09yASnF4zCbx9ba3IevgTxwAJ1PvX532mirhqkl1ZexdF8XvMKnQB4BVab+B/dST0prc+u VTaw2kRPzVVMphi6vNyqBFnMrzZnXu5iuxNdhjqZefHd/vL6S+dzIaJWg1ijEpQzhscpOEk3 5t7KBiaDxh3nunWSk5BcMPGLUs9hyV69WTOOyqN47ylKXddPpmgUOzrH7fmXEc8q3n0JDxxQ 68xtpxQWJ6xzEvfMMHraqYfzgkg7xjqI1PDC+lVfBWMk3EMpMTtlfdK
- Ironport-sdr: 66f56f4f_076de+FwjmWX1YoKjVY8wZfX+EESWi5V4E/8nCLidyMfFN8 eX8784ay92EeO0fJz2ZQqxpCz6GSo8H6ORxJjGQ==
TYPES is a major forum for the presentation of research on all aspects
of type theory and its applications. TYPES 2024 was held from 10 to 14
June at the IT University of Copenhagen, Denmark. The
post-proceedings volume will be published in LIPIcs, Leibniz
International Proceedings in Informatics, an open-access series of
conference proceedings.
Submission Guidelines
Submission is open to everyone, also to those who did not participate
in the TYPES 2024 conference. We welcome high-quality descriptions of
original work, as well as position papers, overview papers, and system
descriptions. Submissions should be written in English, and be original,
i.e. neither previously published, nor simultaneously submitted to a
journal or a conference.
- Papers have to be formatted with the current LIPIcs style and adhere
to the style requirements of LIPIcs.
- The upper limit for the length of submissions is 20 pages for the
main text (including appendices, but excluding title-page and
bibliography).
- Papers must be submitted as PDF via the EasyChair interface,
accessible at https://easychair.org/conferences/?conf=posttypes24
- Authors have the option to attach to their submission a zip or tgz
file containing code (formalised proofs or programs), but reviewers
are not obliged to take the attachments into account and they will
not be published.
Deadlines
- Abstract Submission : 31 October 2024 (AoE)
- Paper submission: 2 December 2024 (AoE)
- Author notification: 31 March 2025
List of Topics
The scope of the post-proceedings is the same as the scope of the
conference: the theory and practice of type theory. In particular, we
welcome submissions on the following topics:
- Foundations of type theory;
- Applications of type theory (e.g. linguistics or concurrency);
- Constructive mathematics;
- Dependently typed programming;
- Industrial uses of type theory technology;
- Meta-theoretic studies of type systems;
- Proof assistants and proof technology;
- Automation in computer-assisted reasoning;
- Links between type theory and functional programming;
- Formalising mathematics using type theory;
- Homotopy type theory and univalent mathematics.
Editors
Rasmus Ejlers Møgelberg, IT University of Copenhagen, Denmark
Benno van den Berg, Universiteit van Amsterdam, The Netherlands
Contact
In case of questions, contact EMAIL posttypes24 AT easychair.org
- [Coq-Club] Types post-proceedings call for papers, Rasmus Ejlers Møgelberg, 09/26/2024
Archive powered by MHonArc 2.6.19+.