coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: José Carlos Espírito Santo <jes AT math.uminho.pt>
- To: <coq-club AT inria.fr>
- Subject: [Coq-Club] Post-proceedings TYPES'18: Deadline extension
- Date: Tue, 2 Oct 2018 09:02:47 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jes AT math.uminho.pt; spf=Pass smtp.mailfrom=jes AT math.uminho.pt; spf=None smtp.helo=postmaster AT antispam01.uminho.pt
- Ironport-phdr: 9a23:qBR+QhWA/8RxAX5X80cSxOOHujfV8LGtZVwlr6E/grcLSJyIuqrYbBGCt8tkgFKBZ4jH8fUM07OQ7/i/HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba9wIRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W/JisJ+kaFVrhyvqBNw34HUYZqYO+Bicq7HZ94WWWRMU8RXWidcAo28dYwPD+8ZMOhcqIn9vEEJogOgCAa2HuPvzjhIhmTu0qM1yOQhCR/B3BYhH9ISt3TbtMj7O70UUeCpy6nD0DLOb/FI1jfm84XIdwouoe2MXb5qbMrRzEgvFwXFjlWXs4DlJy+V2/0LvmOG4eRgUuevhHQmqwF3ujWg290jiobShoIJ11DE9SF5zJwoKtKmUEJ0f8SrEIBQti6GN4t5WMIiQ3tytCY90L0Gtoa3fDUPyJQmwR7fa/uHf5KQ4hL/TOqRPDJ4hHNleLK4nRqy6VSgx+vhXce3yFZHtjdJn93Cu3wXyhDe5MqKRuF580u7xDqC2ADe5vlZLU0wm6fXMZEszqIqmpYNsUnPAzX6lFjrgKKQa04q4PKn6/79bbXjvpKcN5F7igX5Mqk2gMO/B/g4MgkVX2iD4+u80aHv8VDjTLVXi/02k6/ZsJDdJcgBvq65HxdZ0ocl6xmhEzeryMkUkH0JIV5fZR6KgYrkN0vKLfziEPuyjFShnC9ux//cP73hBpvNLmLEkLfkZbt96VBTyBEowNBa/Z1UFrEBLOjuWk/0tdzYCB85Mwuuz+b/FNVxzpkeVn6XAq+FLKPStkeF6f4oI+mVfYMapDL9K+U+6PP1ln84mVodfbGz0pcNaXC4GO5mI0SDbnb2jNcBCzRCgg1rGOftkRiJVSNZT3e0RaM1oD8hXtGIF4DGE6Kqmz229y6hGppNUU1dEtWWEGvvQL6NXesLIHaQL9RJlzUYVf68To4n1RborBOsmOkvFfbd5iBN7cGr79Ny/eCGzUhjpwwxNNyU1iS2d08xm2oJQzEs26Um/x54w0uDl7V9gvpYEppL+6EQC1toBdvn1+V/TuvKdEfZZN7QFgSjS8mmRyw0T9QxxJkWfxQlQojwvlX4xyOvRoQtufmLCZgzqPiO1n7tJt1lwnOeje88ilggQswJLXH03qM=
Open call for papers - DEADLINE EXTENSION Post-proceedings of the 24th International Conference on Types for Proofs and Programs TYPES 2018 TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2018 was held between 18 and 21 June in Braga, Portugal. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference proceedings (http://www.dagstuhl.de/en/publications/lipics). Submission to this post-proceedings volume is open to everyone, also to those who did not participate in the conference. We would like to invite all researchers that study and apply type systems to share their results. In particular, we welcome submissions on the following topics: * Foundations of type theory and constructive mathematics; * Homotopy type theory; * Applications of type theory; * 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; * Formalizing mathematics using type theory. NEW IMPORTANT DATES * Abstract submission: 8 October 2018 * Paper submission: 15 October 2018 * Author notification: 25 February 2019 DETAILS * Papers have to be formatted with lipics.cls and adhere to the style requirements of LIPIcs. http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ * The upper limit for the length of submissions is 20 pages. * Papers have to be submitted in pdf through EasyChair: https://easychair.org/conferences/?conf=types2018postproceed * Authors have the option to attach to their submission a zip or tgz file containing code (formalized proofs or programs), but reviewers are not obliged to take those attachments into account and they will not be published. * More information is available on http://w3.math.uminho.pt/types2018/post-proc * In case of questions, please contact one of the editors. EDITORS Peter Dybjer peterd at chalmers.se Chalmers University, Sweden José Espírito Santo jes at math.uminho.pt University of Minho, Portugal Luís Pinto luis at math.umiho.pt University of Minho, Portugal |
- [Coq-Club] Post-proceedings TYPES'18: Deadline extension, José Carlos Espírito Santo, 10/02/2018
Archive powered by MHonArc 2.6.18.