From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10453 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Henning Basold Newsgroups: gmane.science.mathematics.categories Subject: TYPES 2021: Call for Contributions (speakers and deadline extension) Date: Fri, 16 Apr 2021 17:49:13 +0200 Message-ID: Reply-To: Henning Basold Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="7706"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Sun Apr 18 17:22:35 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lY9Fr-0001sh-LU for gsmc-categories@m.gmane-mx.org; Sun, 18 Apr 2021 17:22:35 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:53356) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1lY9EO-0000XH-0N; Sun, 18 Apr 2021 12:21:04 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1lY99J-0007xP-LI for categories-list@rr.mta.ca; Sun, 18 Apr 2021 12:15:49 -0300 Content-Language: en-GB Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10453 Archived-At: Call for Contributions TYPES 2021 26th International Conference on Types for Proofs and Programs 14 - 19 June 2021 Virtual and possibly Leiden, The Netherlands https://types21.liacs.nl/ Note that the deadline for submission has been extended to 23 April. As the goal is to use TYPES as a forum for collaboration, you may also consider to submit an abstract based on your contribution that was planned to be presented during TYPES 2020, if you find that appropriate. Background -------------- The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * Foundations of type theory and constructive mathematics; * Applications of type theory (e.g., linguistics or concurrency); * 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. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Venue ---------- This year=E2=80=99s TYPES will be held virtually (online), possibly in combination with a physical meeting in Leiden in the Netherlands if the political situation permits that. That the conference is held virtually constrains the time of talks, and complicates exchange and collaboration. TYPES 2021 will therefore not only consist of presentations, but also a setup of working groups that get together throughout the week. Every day will be split into a session of talks and tutorials, and a collaboration session during which the working groups will get together. The hope is that we can retain at least some of the exchange and chatter that is the heart of the TYPES conference series. Invited Talks and Tutorials ----------------------------- Stephanie Balzer (Carnegie Mellon University) Ulrik Buchholtz (Technical University Darmstadt) Sara Negri (University of Genova) Pierre-Marie P=C3=A9drot (INRIA -- Inria Rennes-Bretagne-Atlantique) Contributed Talks -------------------- TYPES solicits contributed talks to stimulate discussions. The contributed talks are selected on the base of extended abstracts/short papers of 2 pages (excluding bibliography) formatted with the LaTeX EasyChair3.5 (https://easychair.org/publications/for_authors) style. An abstract can be based on existing, submitted or novel work, and is not in conflict with any other forms of publication. Submissions are handled via EasyChair: https://easychair.org/conferences/?conf=3Dtypes2021 Upon submission, authors have to select the category of their contribution: presentation-only talks and talks with the intent to contribute to the post-proceedings. Presentation-only talks will consist of a 5 minutes recorded video that is shown during the conference in combination with 5 minutes live discussion. The purpose of recording the talk beforehand is to avoid technical issues. Talks with the intent for post-proceedings submission get a slot for a 10 minutes live talk plus 5 minutes discussion during the conference. The idea is that in this case, an interactive discussion with more in-depth feedback will help to submit to the post-proceedings. Note that the selection at this stage only expresses an intent to submit to the post-proceedings, and that you are neither obliged to submit your work nor are you excluded from the submission to the post-proceedings should you not submit an intent at this stage. The idea is only to help you with more feedback during the conference. Please be fair in selecting this category because the time in a virtual conference is very limited and should be given to those authors who really need it. Important dates ------------------ * Submission of abstract 23 April 2021 AoE * Author notification 14 May 2021 * Camera-ready version of abstract 4 June 2021 AoE * Conference 14 - 18 June 2021 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution during the conference. Attendance and Fees ----------------------- Despite the difficulty that a virtual event brings, it also offers a chance. We will make TYPES as inclusive as possible, which means that attending virtually is free of charge, if you are not in the position to pay fees. For everyone else, the fees will be low and only to cover the costs of setting up the infrastructure and organisation. Should it be possible that we can have a hybrid virtual-physical meeting, then there will also be some costs for recording and streaming that will have to be shared between local and virtual attendees. However, we will keep these low in general and free for those who cannot afford to pay fees. About Types --------------- The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2015, TYPES has been run as an independent conference series. From 2016, TYPES is partially supported by COST Action EUTypes CA15123. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), B=C3=A5stad= (1992), Nijmegen (1993), B=C3=A5stad (1994), Torino (1995), Aussois (1996= ), Kloster Irsee (1998), L=C3=B6keberg (1999), Durham (2000), Berg en Dal ne= ar Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019) and Turin (2020). Post-proceedings ------------------- Similarly to TYPES 2011 and TYPES 2013-2020, a post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone. Tentative dates for post-proceedings: * Non-binding intent (abstract) 29 October 2021 * Paper submission 26 November 2021 * Author notification 25 March 2022 The formal call with binding dates for the post-proceedings will be issued after the conference. Contact ----------- Email: types21@liacs.leidenuniv.nl Web form: https://types21.liacs.nl/contact/ Programme Committee --------------------- Henning Basold (LIACS -- Leiden University) (chair) Stefano Berardi (Universit=C3=A0 di Torino) Marc Bezem (University of Bergen) Fr=C3=A9d=C3=A9ric Blanqui (INRIA -- ENS Paris-Saclay) Sandrine Blazy (INRIA -- University of Rennes) Ana Bove (Chalmers / U. of Gothenburg) Paolo Capriotti (TU Darmstadt) Jesper Cockx (TU Delft) Jos=C3=A9 Esp=C3=ADrito Santo (University of Minho) Herman Geuvers (Radboud University Nijmegen) Silvia Ghilezan (University of Novi Sad) Nicolai Kraus (U. of Nottingham) Sergue=C3=AF Lenglet (Univ. de Lorraine) Assia Mahboubi (INRIA -- Nantes and VU Amsterdam) Ralph Matthes (IRIT -- CNRS and University of Toulouse) Keiko Nakata (Kyoto University) Fredrik Nordvall Forsberg (University of Strathclyde) Jorge A. P=C3=A9rez (University of Groningen) Gabriel Scherer (INRIA Saclay) Aleksy Schubert (University of Warsaw) Niccol=C3=B2 Veltri (Tallin UT) Stephanie Weirich (U. of Pennsylvania) Organiser ------------ Henning Basold (LIACS -- Leiden University) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]