coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] POPL 2021 - Call for Participation

From: Michael Greenberg <michael.greenberg AT pomona.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] POPL 2021 - Call for Participation
Date: Fri, 18 Dec 2020 10:55:21 -0800
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=pomona.edu; dmarc=pass action=none header.from=pomona.edu; dkim=pass header.d=pomona.edu; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=lQF+Y57lCebo+hgbyPHh11pn+j+ollnYTz/sSuKjvOU=; b=Q0Xv6yL7WNoygd2dg+pmvo4yu0fCDtki2rCzyBptGsecdEKcyPUc8TTtaWJLu75dUSdwOhAMqkkK4ht4BdBGTy10vxIKzKvf9HGJUnZhde1K5vKDI0GLaz6+MxPvo8oiy+1cC2WeoWDJaFONDyvHVFj4rHfKuBHZ8dc+FU+mQeveoIcAsXLN2sPtjAtASQw2ChvJeclI9MA9YFjMjMNp2BM0qevw9PTbLZwxbTal59TMALIsqv6B0pzBiJArj8An476NgzGCg8heSNgUPdrF2i+nkIbElJ5Q4U+aOXbNPxHa/b412h58zjM9kzuq+T8vbniAd5nsCHNyxxrVJumGmA==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=VVl0vGywp4yq+ouGI7/84ap8HmBe5rPUEqaiqFKynED/zTxTGKFkyeXBBi4lv/2TkDkvoQVCjDdDUmn50+kgpRFLLDBHOYCIXw4IopobR6/fRAO7XB7RmXouK2UQkpsOrq+JVSuyLj2WV/M5797A7iJsnRIQil7zihURNonwP3ue+3m5fv0JaK7AC6CIQZKWGnK+WBtoxJLJThVr5UDQDOdGJ0e9fsjZDOgZO0B1omyU+FeugIFfyVNLW+Z/cFLDexAg2a44SAmQSTpESR6L2b3gFrsl35h6LL5SXcRbYhXjOoLolz24jA2Xi00xMFjw2WuaR18jhMMaHlRvty8Mzw==
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.greenberg AT pomona.edu; spf=Pass smtp.mailfrom=Michael.Greenberg AT pomona.edu; spf=Pass smtp.helo=postmaster AT NAM02-CY1-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:In+0PR0EEmrFf9fvsmDT+DRfVm0co7zxezQtwd8ZseMeI/ad9pjvdHbS+e9qxAeQG9mCtLQd2rSd6vm8EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCe/bL9oMRm7qQTcusYLjYd/Jas61wfErGZPd+lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLeTQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgzoBOjUk8m/Yl9Zwgbpbrhy/uhJxzY3ab52aOvp/cazQZs8aRXNbU8pNSyBNHoGxYo0SBOQBJ+ZYqIz9qkMJoxu/GQasBPngxSFMhnTr3KM6yfouHh/A3AM7Ad0OqnvUp8jyOacXUOC60KnIwi/dYPNSwzv955LIfQ4/rvGKRr1/b9DRyUY0GgPdiVWQrIvlPzWP2egXrWeU8vdgWPuphmU6pA5/viKhyd0wionVmI0V0FbE+D1lzIs1OdC1VU12bcK5HZZQqS2XOIh7T80sTW9nuCs31rMLtJ6lcSQX1Zkqxx3SZvyaf4SU7BztW+WcLSl5iX9qfr+0mhi88U+lyuLmV8m01k5HrjFEktnDrnAN0wbc6s6dRvt65Eeh1i6D1xrN5eFLJEA7j7HbK4I/zb4qjJYcrUPDHirwlU7rj6GWbl0p9+e05+j9f7nqup2RO5V2hwz/KKgjmdGzDfwlPgUMQWSX4/qw2b3+8UHjXrlHjec6nrfHvJ3VI8kQu7S3DBVP0ok57hayFzem38ocnXkANF9LYA6KgY/1N13QOfz1E/Wwj0m1nDds3P/JIKftApLQLnjfi7jheqt960hBxwYp1dBf/ZVUCq0fL/3vRk/xtdvYDhkjPwyz3ubnFNF91oQZWWKMGKOWLKTSsVqQ6uIuJemDepMVtS7yJvQ5/fLikGM1lF0HcaSr3JYbcnO1Eul+L0Wce3Xsg9MBEWkQvgo5SeznkFqMUT9PaHayRa0z+DU7BJinA4fZWI+inrqB0zylEZ1MaWBLEUiMEXDtd4WDXfcDcjieLdF8nTwZTbShUZMu1QmytA/mzLpqNvbb+ioBtZ76yNd14/DTmgop+DxvD8Wd1nmNQHtukmMJQT82xqF/rlZnxleNy6gry8BfQNdU/rZCVhowHZ/a1e1zTd7oCSzbedLcbVetQtyrBXkeVN88xdUDeUk1T9CjhRDK0i7sDKUYmrqBCYY72rrb2n/3LoBwx2uQh/pptEUvXsYabT7uvaV47QWGX9eYwXXcrL6jcOEn5ACI8W6CyWSUu0QBClxoVqDCW3lZa0fL/42guxHyCoS2ALFiCTNvjM6PLqwWNY/PpHAeHrLICY2bZGi83WCtGRyP27WAKpLwfHkQ1zncD05ClB0P+XGBNk41ASLz+juCXgwrLkrmZgbXycc7sGmyFxVm1waPaEtokbe550xNiA==

POPL 2021 Call for Participation (https://popl21.sigplan.org/)

Important Dates:
Sun 10 Jan 2021 Early registration ends
Sun 17 - Tue 19 Jan 2021 Co-located events
Wed 20 - Fri 22 Jan 2021 POPL

General chair: Andreas Podelski
Program chair: Azadeh Farzan
Organizing committee:
https://popl21.sigplan.org/committee/POPL-2021-organizing-committee
PC members:
https://popl21.sigplan.org/committee/POPL-2021-research-papers-program-committee

Accepted papers:
https://popl21.sigplan.org/track/POPL-2021-research-papers#event-overview
Program: https://popl21.sigplan.org/program/program-POPL-2021
Registration: https://regmaster.com/2021conf/POPL21/register.php

# How to POPL in 2021

Detailed information: https://popl21.sigplan.org/venue/POPL-2021-venue

POPL 2021 was set to be in Copenhagen, Denmark. Instead, it’ll be on
the Clowdr virtual conference platform. You can register now, with
early registration until January 10th. Note that a discounted option
is available on the registration page.

## When does the conference take place?

POPL 2021 will take place from Wednesday, January 20th through Friday,
January 22nd. Co-located events will start on Sunday, January 17th.

Live events (including social times) will take place in a narrow time
band: 15:15 through 20:00 in Copenhagen’s timezone, Central European
Time (CET), which is GMT+1.. Co-located events will also use this time
band (from 15:30 to 20:00, to be precise).

Each day of the conference, you can attend dedicated social times,
plenary sessions (invited talks, awards, etc.), and parallel sessions
(two tracks at a time). The plenary and parallel sessions will be
broadcast (i.e., a livestream).

In addition, you can discuss and ask questions for each paper (each
paper has a chat channel). A lot of stuff will be going on in this
(asynchronous, distributed) interaction between authors and other
participants. The chat channels will be open during, before, and after
the three days of the conference.

[Coq-Club] POPL 2021 - Call for Participation, Michael Greenberg, 12/18/2020