From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10624 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Andrei Popescu Newsgroups: gmane.science.mathematics.fom,gmane.science.mathematics.categories Subject: Certified Programs and Proofs (CPP) 2022: Call for Participation Date: Thu, 9 Dec 2021 00:19:13 +0000 Message-ID: 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="38419"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Robbert Krebbers , Lennart Beringer , Steve Zdancewic To: categories-59hdLBrVOVU@public.gmane.org, fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org, las-lics-Xt5XgHjqiBV35pIdRWVIsoQuADTiUCJX@public.gmane.org, logic-o02PS0xoJP/q4qjOmvqfQQ@public.gmane.org Original-X-From: fom-bounces-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org Thu Dec 09 02:06:40 2021 Return-path: Envelope-to: gsmf-fom-2@m.gmane-mx.org Original-Received: from mx.cims.nyu.edu ([216.165.22.131]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mv7tM-0009hY-4f for gsmf-fom-2@m.gmane-mx.org; Thu, 09 Dec 2021 02:06:36 +0100 Original-Received: from mailman.cims.nyu.edu (mailman.cims.nyu.edu [216.165.22.125]) by mx.cims.nyu.edu (8.14.7/8.14.7) with ESMTP id 1B915XGi014441; Wed, 8 Dec 2021 20:05:48 -0500 DKIM-Filter: OpenDKIM Filter v2.11.0 mx.cims.nyu.edu 1B915XGi014441 Authentication-Results: mx.cims.nyu.edu; dkim=fail reason="signature verification failed" (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="DFQfGz6O" Original-Received: from mailman.cims.nyu.edu (localhost.localdomain [127.0.0.1]) by mailman.cims.nyu.edu (Postfix) with ESMTP id 0D41F4084A75; Wed, 8 Dec 2021 20:05:28 -0500 (EST) Original-Received: from mx.cims.nyu.edu (mx.cims.nyu.edu [216.165.22.131]) by mailman.cims.nyu.edu (Postfix) with ESMTP id 70333424027F for ; Wed, 8 Dec 2021 19:19:25 -0500 (EST) Original-Received: from mx0b-00256a01.pphosted.com (mx0b-00256a01.pphosted.com [67.231.153.242]) by mx.cims.nyu.edu (8.14.7/8.14.7) with ESMTP id 1B90JPXI009466 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Wed, 8 Dec 2021 19:19:25 -0500 Original-Received: from pps.filterd (m0119691.ppops.net [127.0.0.1]) by mx0b-00256a01.pphosted.com (8.16.1.2/8.16.1.2) with ESMTP id 1B8Mq6lP003785 for ; Wed, 8 Dec 2021 19:19:24 -0500 Authentication-Results: ppops.net; spf=pass smtp.mailfrom=andrei.h.popescu-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org; dkim=pass header.d=gmail.com header.s=20210112; dmarc=pass header.from=gmail.com Original-Received: from mail-qt1-f179.google.com (mail-qt1-f179.google.com [209.85.160.179]) by mx0b-00256a01.pphosted.com (PPS) with ESMTPS id 3ctwgb6ege-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Wed, 08 Dec 2021 19:19:24 -0500 Original-Received: by mail-qt1-f179.google.com with SMTP id p19so3835571qtw.12 for ; Wed, 08 Dec 2021 16:19:24 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to:cc :content-transfer-encoding; bh=rprXF1+8+LKZfUvvJ2hB8P1iY9UYqVs/NsBgo1ibxP0=; b=DFQfGz6OCxLLAMI/cJYJr1TGys9betSgixXX84HLIDexZluRqVouDpm2s6kll4QRqA chrY44tI3Z8MbYpfJuZYv9Lo9s3vZJUFnhYNDqPRvoUdUrPxIp+ZE5q468MH4/z9F6oA C44g2QAgVkQ1a7p6TCf+9E2kpq0uXwY1R5L866gNAThE7s1G6vOdxKXBOprnIctaHNVs ZjlqI5MAWyzpsDVMvFHFe1A7LnyOgPg9stdYGEhYg1FYsFkCBwEThARsxLhAe9n0yWGc BzzQ2orQa8iqOOpyEVbsWOOzFtqCgcZFUfH3FWk1kaw3qLoeAqVvEnAYCwsSHf7K3piS PzZw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to:cc :content-transfer-encoding; bh=rprXF1+8+LKZfUvvJ2hB8P1iY9UYqVs/NsBgo1ibxP0=; b=Zcn+1A2B6dWP/ZB7gjrZzcDRHyAGK2Q5DDC0FkazEVa5doCkjoRm7bhfIDkQDs3/e3 gOD8HbKLZbmHp1kHM2+pv4nbF47n57jPkbRP6QCofEuusRgJ0Qw/8wCpKBZM7LH1OuXx Oz6BKy4UNIimGukuN0bYdpy9C4HCZ4/ZKJi2T7WE8l9kBKG17K3JKd+qs0AQYo20gMBj wo5ODvYWfoyhaf9Fd5cyyA4nlBUN4n326113xefmNju8tTTydj6driJARGxbYSTMLLJ8 TTjgcsSjcznTEopy2Z5lNQXmVMxhssKRbcdcHm6zYZ2vEt5ahqQ1gGK0xqO+t2/oXSQV uT0Q== X-Gm-Message-State: AOAM531IEzOM5qdvhVkySR5jwx9AuBuaS631OmdeYKn5zhAXv33RMczi R7Lgpw5yjWgKm3uZrKtIsSYeMSkr6cGsHKNwLjzeb+pWeLA= X-Google-Smtp-Source: ABdhPJyakXQPkfEZteJOBR2foyP2xgnukhZT6gllGbeQ4eJ7ge5/nIAivUkFyglo1q+aJkSKQJQt20zDsYXKDfg0kgo= X-Received: by 2002:ac8:4f11:: with SMTP id b17mr12193741qte.668.1639009164125; Wed, 08 Dec 2021 16:19:24 -0800 (PST) X-Proofpoint-ORIG-GUID: MWwCoesr9wIT_sgvOETIAzxyUpweLOUg X-CLX-Shades: MLX X-Proofpoint-GUID: MWwCoesr9wIT_sgvOETIAzxyUpweLOUg X-CLX-Response: 1TFkXGxMaEQpMehcZGR4RCllEF3pcQW1GYEljckxFEQpYWBdoHXtufVgaXRh BTBEKeE4XY1Nja3sTWH4aX14RCnlMF2xJelsdbhxQXXkFEQpDSBcHHhkbEQpDWRcHGB4ZEQpDSR caBBoaGhEKWU0XZ2ZyEQpZSRcacRoQGncGGx0acR4TEBp3BhgaBhoRClleF2xseREKSUYXRE9dU 0VYQV91QkVZXk9OEQpDThdnfV1pRU9ZWBNdY351WU1cZW9+Y2tQUlN/Wl1PZmV/TREKWFwXHwQa BBgeGAUbGgQbGxoEHQQbGRgQGx4aHxoRCl5ZF3MfXGtEEQpNXBcZGhwRCkxaF2lvaU1NaxEKTEY Xb2tra2trEQpCTxdrQVNMHhJab08SbBEKQ1oXGBoTBBIfBBscGgQbHRMRCkJeFxsRCkReFx4RCk RJFxkRCkJcFxsRCl5OFxsRCkJLF2NTY2t7E1h+Gl9eEQpCSRdjU2NrexNYfhpfXhEKQkUXZGhab Vt/H31rGH8RCkJOF2NTY2t7E1h+Gl9eEQpCTBdoHXtufVgaXRhBTBEKQmwXZF5tcB9hc2UFaEAR CkJAF2hzbhhQbGtGEhITEQpCWBdrc3lEE3BEQE1ISREKWlgXGREKeUMXZm4dYnNhGX5mU2cRCll LFxMcGx8RCnBnF2RLWnxSZGJFSx1DEBMaEQpwaBdgE0EaXkd4SF9YexAdEhEKcGgXbEFdRlNyZH xgYkAQHRIRCnBoF25va1BDQR8SYhxdEB0SEQpwaBdnXVBpX11veUNdHBAdEhEKcGgXaV9hYFh8f XtCYB4QHRIRCnB9F2dvcnIdXx5ufmBMEB0SEQpwfRdrZhtkXl1Fa X-Orig-IP: 209.85.160.179 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.790,Hydra:6.0.425,FMLib:17.11.62.513 definitions=2021-12-08_08,2021-12-08_01,2021-12-02_01 X-Proofpoint-DMARC: pass X-Proofpoint-Spam-Details: rule=inbound_notspam policy=inbound score=0 clxscore=190 adultscore=0 phishscore=0 spamscore=0 impostorscore=0 lowpriorityscore=0 malwarescore=0 mlxlogscore=999 priorityscore=334 mlxscore=0 bulkscore=0 suspectscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2110150000 definitions=main-2112080132 domainage_hfrom=9615 X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.2 (mx.cims.nyu.edu [216.165.22.131]); Wed, 08 Dec 2021 20:05:48 -0500 (EST) X-Greylist: inspected by milter-greylist-4.6.2 (mx.cims.nyu.edu [216.165.22.131]); Wed, 08 Dec 2021 19:19:25 -0500 (EST) for IP:'67.231.153.242' DOMAIN:'mx0b-00256a01.pphosted.com' HELO:'mx0b-00256a01.pphosted.com' FROM:'andrei.h.popescu-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org' RCPT:'' X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.6.2 (mx.cims.nyu.edu [216.165.22.131]); Wed, 08 Dec 2021 19:19:25 -0500 (EST) X-Mailman-Approved-At: Wed, 08 Dec 2021 20:05:26 -0500 X-BeenThere: fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: Foundations of Mathematics List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: fom-bounces-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org Original-Sender: "FOM" X-Scanned-By: MIMEDefang 2.85 on 216.165.22.131 Xref: news.gmane.io gmane.science.mathematics.fom:12856 gmane.science.mathematics.categories:10624 Archived-At: *** Call for Participation *** *** Certified Programs and Proofs (CPP) 2022 *** - Early registration deadline: 3 January 2022 - Getting a visa: https://popl22.sigplan.org/attending/visa-information - Registration: https://popl22.sigplan.org/attending/registration - Further reduced student participation fee: see below - Accommodation: https://popl22.sigplan.org/venue/POPL-2022-venue Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2022 (https://popl22.sigplan.org/home/CPP-2022) will be held on 17-18 January 2022 and will be co-located with POPL 2022. CPP 2022 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG, and supported by a diverse set of industrial sponsors. Similarly to other events collocated with POPL 2022, CPP will take place as an in-person event at the Westin Philadelphia (99 South 17th Street at Liberty Place, 19103 Philadelphia), and will require attendees to provide proof of vaccination (details will be available soon). Authors who are unable to attend CPP in person will be able to present remotely. All talks will be recorded, and all recordings will be available either as a livestream or soon afterwards. For more information about this edition and the CPP series, please visit https://popl22.sigplan.org/home/CPP-2022 ### Invited talks * June Andronick (UNSW Sydney). The seL4 verification: the art and craft of proof and the reality of commercial support * Andrew W. Appel (Princeton). Coq=E2=80=99s vibrant ecosystem for verification engineering * Cesar Munoz (Currently at AWS, Formerly at NASA, USA). Structural Embeddings Revisited ### Accepted papers The list of accepted papers is available at https://popl22.sigplan.org/home/CPP-2022#event-overview ### Subsidized student registration To facilitate in-person participation of undergraduate and graduate students who require financial assistance, CPP 2022 offers the opportunity to register at a special reduced rate, determined on a case-by-case basis, and implemented using a special-purpose registration code on POPL's registration website. Students wishing to apply for such support may do so by sending an email to the CPP conference co-chairs (Beringer and Krebbers, see below for their email) preferably by December 24, 2021, with a brief description of their situation. Notifications will be sent out at most one week later; hence, students who cannot be supported will still have the opportunity to register at the publicly available reduced rate, which is available until January 3rd. Applications arriving after December 24th will be considered only in exceptional cases. Students who already receive registration support for PLMW or are supported by SIGPLAN PAC are not eligible. CPP's student support is made possible by our generous industrial supporter= s: https://popl22.sigplan.org/home/CPP-2022 ### Contact For any questions please contact the chairs: Andrei Popescu (PC co-chair) Steve Zdancewic (PC co-chair) Lennart Beringer (conference co-chair) Robbert Krebbers (conference co-chair)