From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10045 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Marc.Bezem@uib.no Newsgroups: gmane.science.mathematics.categories Subject: Final CfP: TYPES 2019 post-proceedings, deadline 24.11 Date: Wed, 13 Nov 2019 10:13:16 +0100 Message-ID: Reply-To: Marc.Bezem@uib.no Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes"; format="flowed" Content-Transfer-Encoding: 7bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="105049"; mail-complaints-to="usenet@blaine.gmane.org" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Thu Nov 14 15:57:10 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iVGYX-000R6n-MW for gsmc-categories@m.gmane.org; Thu, 14 Nov 2019 15:57:09 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:35288) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1iVGY7-0003Xg-8e; Thu, 14 Nov 2019 10:56:43 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1iVGXc-0003ax-Px for categories-list@rr.mta.ca; Thu, 14 Nov 2019 10:56:12 -0400 Content-Disposition: inline Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:10045 Archived-At: After several requests, we extend the deadline to 24 November 2019. Open call for papers Post-proceedings of the 25th International Conference on Types for Proofs and Programs TYPES 2019 TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2019 was held 11-14 June in Oslo, Norway. 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 welcome high-quality descriptions of original work, as well as position papers, overview papers, and system descriptions. Submissions should be written in English, not overlapping with published or simultaneously submitted work to a journal or a conference with archival proceedings. 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 and constructive mathematics; * Homotopy type theory and univalent mathematics; * 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. IMPORTANT DATES * Paper and abstract submission: 24 November 2019 * Author notification: 25 March 2020 DETAILS * Papers have to be formatted with LIPIcs style (currently lipics-v2019.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=types2019postproc * 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 the attachments into account and they will not be published. * In case of questions, e.g. on the page limit, contact one of the editors. EDITORS Marc Bezem, Marc.Bezem@uib.no, University of Bergen, Norway Assia Mahboubi, assia.mahboubi@inria.fr, Inria -- Vrije Universiteit Amsterdam [For admin and other information see: http://www.mta.ca/~cat-dist/ ]