Skip to Content.
Sympa Menu

coq-club - [Coq-Club] POPL 2021 - Call for Workshops and Co-located Events - due 2020-05-29

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] POPL 2021 - Call for Workshops and Co-located Events - due 2020-05-29


Chronological Thread 
  • From: Michael Greenberg <michael.greenberg AT pomona.edu>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] POPL 2021 - Call for Workshops and Co-located Events - due 2020-05-29
  • Date: Thu, 16 Apr 2020 09:22:16 -0700
  • 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=K4uv9xzsjM9XsHBmPVg4Mwv6xIpZQkYtVfjrMfV/Kn0=; b=BaNP4TlI5dzbq389vh00ZS9Nb0HmiINnzMEHf/KL0/a60eQhZ46GiY9kim48eA11WeI4l1L2K0oHvhBKtC3o/R3DnwJzofe7MBy8Wm5a0evQc5+wXicamw4VdMQsA1lkayE7K8gGUTCw37xp43uv+T9PBlb745wn764SRdpTq2GYjsA0xjrSwtw1w+lfTD2W1xACvCcFFlDfpVZRQi0AHStnPnimvPmr9U/A4a0vf7hX2F7epiUDNdk+YrhOXNaPsbyK9eHrfcEYHssx3ngLAlovGm4cd96ZYMeM6mhNu++Pyb9VqYMvmdTSCs7vcNYtQddg3L81Q6jFHHapiLtnCQ==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=js5Fe8zcNmQmy9f7FMCGHfGz5EnLAlEv4L2dGGi1StN/cMmY9AoM4s3KYKSfVZuK+7jrMFBl/5vTuTf4aoheudo+Mv7HbSexViE17PMl99imy6Nc3E/IQq/lsfCG13l5VD+Us6608DEASpKfEqR5Ry0oqwdpteJlv8sqi7C9UZN0ur4VjCE8xicIQKtn3B7s3iZyLkqiQ+O9Qwi3h/OJfxwKEbArksSUOh9/zKcqR+dU5EZzBTpkTHiHo0rfCudHe5MyR/dhyRidWpE45vaRAdKNBQqFDtpc6M/jurdACMr/N2pyAcCTOgbHYL/6972/pGwdecaQDYDUa5Fou3zDBg==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.greenberg AT pomona.edu; spf=None smtp.mailfrom=Michael.Greenberg AT pomona.edu; spf=Pass smtp.helo=postmaster AT NAM02-BL2-obe.outbound.protection.outlook.com
  • Ironport-phdr: 9a23:eY2zMhK46D6kJy8HgtmcpTZWNBhigK39O0sv0rFitYgXLPXxwZ3uMQTl6Ol3ixeRBMOAtKIC1rKempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBWB6kG1uDUVA1D0MRd/DuXzAI/bycqthM6o/JiGRgRDhDOwZftdNhi7qw/crMZe1Y5jIaY4xx+PrWFFduJcyHlnDUqUmhH674G98IM1oHcYgO4o68MVCfayRK8/V7ENVG16YVBw39XisFz4dSXK/mEVCz9Eih1NBA7Mqhz2Q8Wp63qohq9GwCCfePbOY/UxUDWm4b1sTUay2j8AMjk/+SfahtEi1PsG8iLknAR2xsvvWK/QNPd6ef+CL/UzYDIbG+x1DWlGCI76aJYTBe0cO+oet5P6u1YFsRq5A0+rGf/rzThLwHTx2P9j3g==

CALL FOR WORKSHOPS AND CO-LOCATED EVENTS

POPL 2021

48th ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages

POPL: 17-22 January 2021
Affiliated Events: 17-19, 22 January 2021
Copenhagen, Denmark

http://popl21.sigplan.org

The 48th ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages (POPL 2021) will be held in Copenhagen, Denmark.

POPL provides a forum for the discussion of fundamental principles
and important innovations in the design, definition, analysis,
transformation, implementation and verification of programming
languages, programming systems, and programming abstractions.

Events focusing on experimental and theoretical topics are welcome.

Proposals are invited for workshops and other events to be co-located
with POPL 2021. all co-located events are sponsored by SIGPLAN
(http://acm.org/sigplan/).

Workshops should be more informal and focused than POPL itself,
include sessions that enable interaction among the workshop
attendees. The preference is for one-day workshops, but other
schedules can also be considered.

---------------------------------------------------------------------

Submission details

Deadline for submission: 29 May 2020
Notification of acceptance: 12 June 2020

A workshop proposal should provide the following information.

• Name of the workshop.
• Duration of the workshop.
• Whether the workshop will be Conference-approved or SIGPLAN-approved (see
below).
• Organizers: names, affiliation, contact information, brief (100 words)
biography.
• A short description (150-200 words) of the topic.
• Event format: workshop; type of submissions if any; review process; results
dissemination.
• Expected attendance and target audience.
• Potential PC members - please do not contact them before the workshop is
approved.
• History of the workshop.
• Plans for remote participation (Covid-19 crises)

Proposals must be submitted in pdf form by email to the workshop chairs
Ruzica Piskac
(ruzica.piskac AT yale.edu)
and Jan Hoffmann
(jhoffmann AT cmu.edu).

---------------------------------------------------------------------

Effects of the Covid-19 crises

The planning for POPL 2021 is affected by the global covid-19 crises.
POPL will take place January 17-22, 2021, as a physical, virtual, or
hybrid physical/virtual meeting. Independent of how the situation
evolves, authors and other participants will have the choice to
participate in-person or remotely at POPL 2021.

The workshop proposals should describe plans for remote participation
and in particular indicate

- if the organizers are committing to opening the workshop to remote
participation and

- whether the workshop will take place in the event that there will
not be an in-person POPL.

Advice and resources for enabling remote participation are available at
https://www.acm.org/virtual-conferences .

---------------------------------------------------------------------

SIGPLAN Sponsorship

POPL Co-located Events are sponsored by SIGPLAN
(http://sigplan.org/). There are two kinds of Co-located Events:
Conference-approved (no proceedings) and SIGPLAN-approved (proceedings
in the ACM Digital Library). See
http://www.sigplan.org/Resources/Guidelines/Workshops/ for more
information, including a full listing of prescriptions for
Conference-approved and SIGPLAN-approved workshops.

SIGPLAN-approved workshops must respect the SIGPLAN Diversity Policy.
Proposals for SIGPLAN-approved workshops must additionally include the
gender, country of affiliation, and professional status of potential
PC members. See https://www.sigplan.org/Resources/Policies/Diversity/
for more details.


---------------------------------------------------------------------

Selection committee

All submissions will be evaluated by a committee comprising the
following members of the POPL 2021 organizing committee, together with
the members of the SIGPLAN executive committee.


Jan Hoffmann Carnegie Mellon University Workshops co-chair

Ruzica Piskac Yale University Workshops co-chair

Andreas Podelski University of Freiburg General chair

Azadeh Farzan University of Toronto Program chair

---------------------------------------------------------------------

Further information

Any query regarding POPL 2021 co-located event proposals should be
addressed to the workshops chairs Ruzica Piskac
(ruzica.piskac AT yale.edu)
and Jan Hoffmann
(jhoffmann AT cmu.edu).



  • [Coq-Club] POPL 2021 - Call for Workshops and Co-located Events - due 2020-05-29, Michael Greenberg, 04/16/2020

Archive powered by MHonArc 2.6.18.

Top of Page