From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10017 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: "Ugo de'Liguoro" Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.agda,gmane.science.mathematics.categories Subject: TYPES 2020 - call for contributions Date: Fri, 11 Oct 2019 18:18:39 +0200 Message-ID: <8c430922-dae6-4bed-7816-d6e3fc5cdc7c@di.unito.it> Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-15"; Format="flowed" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="10494"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 To: eutypes-Mttm5w9jbbk@public.gmane.org, coq-club-MZpvjPyXg2s@public.gmane.org, agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Sat Oct 12 00:05:06 2019 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by blaine.gmane.org with esmtp (Exim 4.89) (envelope-from ) id 1iJ31x-0002VX-Ea; Sat, 12 Oct 2019 00:05:01 +0200 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id x9BM1Y46027241; Fri, 11 Oct 2019 18:01:38 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from sympathy.seas.upenn.edu (sympathy.seas.upenn.edu [158.130.69.34]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id x9BGJ5el019349 for ; Fri, 11 Oct 2019 12:19:05 -0400 Original-Received: from mx0a-000c2a01.pphosted.com (mx0a-000c2a01.pphosted.com [148.163.151.92]) by sympathy.seas.upenn.edu (8.15.2/8.15.2) with ESMTPS id x9BGJ4iK016920 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for ; Fri, 11 Oct 2019 12:19:05 -0400 Original-Received: from pps.filterd (m0128479.ppops.net [127.0.0.1]) by mx0a-000c2a01.pphosted.com (8.16.0.42/8.16.0.42) with SMTP id x9BGDdtP031643 for ; Fri, 11 Oct 2019 12:19:04 -0400 Authentication-Results: ppops.net; spf=pass smtp.mailfrom=deligu-2eFfYwgyqgY1GQ1Ptb7lUw@public.gmane.org Original-Received: from mail.di.unito.it (pianeta.di.unito.it [130.192.156.1]) by mx0a-000c2a01.pphosted.com with ESMTP id 2vhfbh833h-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Fri, 11 Oct 2019 12:19:03 -0400 X-MailScanner-From: deligu-2eFfYwgyqgY1GQ1Ptb7lUw@public.gmane.org X-SpamCheck: not spam, SpamAssassin (not cached, score=-102.087, required 3, autolearn=not spam, ALL_TRUSTED -1.00, AUTHENTICATEDUSER -100.00, AWL 0.81, BAYES_00 -1.90) X-AntiVirus: Email Clean X-dipinfo-MailScanner-ID: x9BGId6o017597 X-dipinfo-MailScanner-Information: Please contact Department of Computer Science technical staff for more information Original-Received: from mail.di.unito.it ([130.192.156.1]) by mail.di.unito.it (INFO-DIP) with ESMTPSA id x9BGId6o017597 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO AuthenticatedUser=deligu ); Fri, 11 Oct 2019 18:18:39 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.11.0 mail.di.unito.it x9BGId6o017597 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=di.unito.it; s=dipinfo2011; t=1570810721; bh=chley/m4nCQnMCdfel3jihaj4i5T31XrcZJmgn7kl4Y=; h=To:From:Subject:Date; b=CoSCchYW2hQFyW30OAOkbB1/Xo4olbmOTS5psSo4TX9APbI5AUodJeZwzrqtKOglq NEs06LCLrPbXIB1UD/BiIEg6uDrI0/JH7mlLuA1VMbYsGzrEaomSSCv0X4FA3fX934 jnnDQlDiAmaAiYbvQ+PVvAm54PqVCsiO2QqaZctI= Content-Language: it X-CLX-Shades: MLX X-CLX-Response: 1TFkXGB4cEQpMehcaEQpZRBdnc2lISx9LUh9gaxEKWFgXYlpoSGxGX2FcHns RCnhOF2MeE0seGV1AUGVgEQp5TBdhS08aUmt9eG5uHxEKeUMXZhhMb0QYZEFFTn4RCkNIFwcZEh oRCkNZFwcbHhwRCllNF2dmchEKWUkXGnEbBhp3BhscHAYaBhoGGxoaBhkacRsQGncGGgYHHxoGG gYaBhoGGnEaEBp3BhoRClleF2hueREKSUYXX1pPRERZT0tZdUJFWV5PThEKQ04XYEVuB3pMYEJB QUwZZVxOe0F9bUdCaFN5UhxebR1Zf38RClhcFx8EGgQbEh4HHxhPGRNPGB0FGxoEGxoaBB4SBBs QGx4aHxoRCl5ZF38bRmt+EQpNXBceHRkRCkxaF2xpTWtrEQpCTxdmQnB8Ent9H1JpGxEKQ1oXGx kaBBsTGAQbHxwEGxEKQl4XGxEKRF4XHxEKQlwXGhEKQkUXa119ZHJwYE1gGEQRCkJOF2MeE0seG V1AUGVgEQpCTBdiWmhIbEZfYVweexEKQmwXaB9LZHJoQRt4QkARCkJAF2ETSFp9XWVIXHJ4EQpC WBdvREdPenxdTFtMaBEKWlgXHhEKcGcXYn5vcgVtEn5OYmgQGRoRCnBoF21BWB5cf059XmN7EBk aEQpwaBdmeFNiQEVuYn1LHxAZGhEKcGgXekFvS0l9Qmxoe1oQGRoRCnBoF2tlAUJgH2NGU39nEB kaEQpwaBdpTHNZaRxgcAFeGRAZGhEKcH0XZ11jblJGRnN7WE8QGRoRCnB9F2dSbl1SaFpLYHxdE BkaEQpwfxdmQX98bn0dZV4eQhAZGhEKcF8XYxl6HBMZRUt6XnoQG X-Proofpoint-SPF-Result: pass X-Proofpoint-SPF-Record: v=spf1 mx a:bagheera.educ.di.unito.it a:akela.educ.di.unito.it a:alcor.educ.di.unito.it a:postino.cilea.it a:mail.easychair.org -all] X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.95,1.0.8 definitions=2019-10-11_09:2019-10-10,2019-10-11 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 lowpriorityscore=0 mlxlogscore=999 priorityscore=0 phishscore=0 mlxscore=0 bulkscore=0 malwarescore=0 clxscore=246 spamscore=0 adultscore=0 suspectscore=0 impostorscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-1908290000 definitions=main-1910110146 X-Mailman-Approved-At: Fri, 11 Oct 2019 17:53:56 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" Xref: news.gmane.org gmane.comp.science.types.announce:8680 gmane.science.mathematics.logic.coq.club:22633 gmane.comp.lang.agda:11301 gmane.science.mathematics.categories:10017 Archived-At: [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for contributions: 26th International Conference on Types for Proofs and Programs, TYPES 2020 2 - 5 March 2020 https://types2020.di.unito.it/ Torino, Italy 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; * 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. 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. The EUTypes Cost Action CA15123 (eutypes.cs.ru.nl) focuses on the same research topics as TYPES and partially sponsors the TYPES Conference: Part of the programme is organised under the auspices of EUTypes. CONTRIBUTED TALKS We solicit contributed talks: Selection of those will be based on extended abstracts/short papers of 2 pp formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=3Dtypes2020. Important dates: * submission of 2 pp abstract: 10 January 2020, anywhere on Earth * notification of acceptance/rejection: 1 February 2020 * camera-ready version of abstract: 15 February 2019 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop. POST-PROCEEDINGS Similarly to TYPES 2011 and TYPES 2013-2018, 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. 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=E5stad (1992), Nijmegen (1993), B=E5stad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), L=F6keberg (1999), Durham (2000), Berg en Dal near 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). CONTACT Email: ugo.deliguoro-Ob+gDNbliO0@public.gmane.org Organisers: Ugo de'Liguoro (University of Turin, chair) Stefano Berardi (University of Turin) -- = Ugo de'Liguoro Associate Professor Dept. of Computer Science University of Torino Corso Svizzera 185, 10149, Torino (Italy) phone +39 011 6706766 - fax +39 011 751603