coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] POPL 2022 - Call for Tutorials (deadline 2021-11-08)

From: Ilya Sergey <ilya AT comp.nus.edu.sg>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] POPL 2022 - Call for Tutorials (deadline 2021-11-08)
Date: Mon, 4 Oct 2021 15:00:34 +0000
Accept-language: en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ilya AT comp.nus.edu.sg; spf=Pass smtp.mailfrom=ilya AT comp.nus.edu.sg; spf=None smtp.helo=postmaster AT mailgw0.comp.nus.edu.sg
Ironport-hdrordr: A9a23:pOc/ea3pMjRL2cpkAFLWNQqjBHgkLtp133Aq2lEZdPU1SL3iqynKpp4mPHDP+VIssR0b6LW90ey7MBHhHP1OgbX5X43SOjUO0VHAROoOgbcKgQeQeBEWndQtrJuIHZIOcOHYPBxTsoLR4QWzEdosqeP3ipxARt2w815dCS9vY6FkqyFjCgiaFUVyAC1LH4AwGpbZxucvnUvGRZ3aVKqG77A+PtT+mw==
Ironport-phdr: A9a23:ZJQ5nRB5Xo9qiaxKmECVUyQUwkMY04WdBeb1wqQuh78GSKm/5ZOqZBWZua81yg6QFtiEo9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9AdgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6u95HJZwhEmTWxbLNwIR6rsQjfq84ajJd4JK0s0BXJuHxIe+pXxWNsO12emgv369mz8pB+7Sleouot+MFcX6r0eaQ4VqFYAy89M28p/s3rtALMQhWJ63ABT2gZiBtIAwzC7BHnQpf8tzbxu+Rh1CWGO8D9ULY5Uimg4ah2Uh/lkCcJOSAk/mHLhMJ+j75Urx26qhNl34Lbb5uYOOZicq/De94RWGpPXtxWVyxEGo6ybI8PDuobMu1FsofyuUEOrRSgCgisGejizT5Ihnv23KIgyOkuDQbG3Ak4H94UtnTUsc71OL0MXu+o0anE1y7Db/xP1Dr79YPHfQwvr+uWUrJsbcre11MvFwXdg1mNt4DrPzKY2+UDvmWH4ORtV/+ih3MmpgxzoDWhyMMhh4bHi48Jyl7I6zt0zYI1K9C7VEJ2bsKpHZRfuiyEN4Z7RN4pTW9vuCY/0LIGuJi7cTARyJQmyB7fc/iHfJKO4h75U+aROzh4iXR4c7y8nxa/6VWsx+P+W8WuzVpHoDRJnsPPu30CzRDf9NSLRuNj8kqgxTqC2QXe5vxYLU07lKfWLoIuzqI0m5cWrEjOHTL6mEvzgaKTdkgp/PWj5f79bbX8vJCcMpd5igHgPaQqncyyGeE4PRIPX2if9uS92qHv8VflT7VNi/02irPVsJbHJcQAvKK2HRJa0ps55xakADeqyNUYnX8ZI1JZYB+LkobkNlPULPzlA/qznU6gnTRkyvzcILHtHo3BLn3Zn7fgebZ95VRcyA02zd1H5pJUDrEAL+joV0Dts9zYCwc5Pxayw+b6E9VxzJ0RVn+SAqODK6PSvkeE5vgzLOmUeI8VpDH9JuA56P7plH81gEMSfa203ZQMc324BfRnI0CBYXX2mNsBEGEKvhA/TOPwklGCXyRTND6OWPd27TYiTYmiEI3rR4a3gbXH0j3xVsldYXkDAVSRG1/pcZ+FUrECcnTBDNVml2klUamoA7Qszx6jpUeuyr52J8Lf/SgA85T+z5546/CVjh5kpm88NNiUz2zYFzI8pWgPXTJjhMiXQGR4w1aH3rcgxfdfEMQV4e5SFAo2KNjHwL4iYzgXcgnGe8/PTku9BNiqHHcqQYBpqzfhS016Hs3kiA3YmSemHvkOmO7SbKE=

CALL FOR TUTORIALS

POPL 2022

49th ACM SIGPLAN-SIGACT Symposium on

Principles of Programming Languages

POPL: 19-21 January 2022

Affiliated Events: 16-18 and 22 January 2022

https://popl22.sigplan.org/

The 49th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2022) will be held in Philadelphia, Pennsylvania, United States.

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.

Tutorials for POPL 2022 are solicited on any topic relevant to the POPL community. We are particularly encouraging submissions of introductory tutorials that make the research presented at POPL more accessible to the participants.

Tutorials will be held on Monday, January 17, 2022 (two days before the main conference and the day before PLMW). The expected length of a tutorial is 3 hours, including questions and discussion (Q&A).

POPL is currently planned to be an in-person meeting. However, circumstances may force a switch to a virtual meeting.

Submission details

Deadline for submission: 8 November 2021

Notification of acceptance: 15 November 2021

A tutorial proposal should provide the following information.

* Tutorial title

* Presenter(s), affiliation(s), and contact information

* 1-3 page description (for evaluation). This should include the objectives, topics to be covered, presentation approach, target audience, prerequisite knowledge, and if the tutorial was previously held, the location (i.e. which conference), date, and number of attendees if available.

* 1-2 paragraph abstract suitable for tutorial publicity.

* 1 paragraph biography of the presenter(s) suitable for tutorial publicity.

Proposal must be submitted in pdf or txt form by email to the associated events chairs Ruzica Piskac (ruzica.piskac AT yale.edu) and Ilya Sergey (ilya AT comp.nus.edu.sg).

Further information

Any query regarding POPL 2022 tutorial proposals should be addressed to the associated events chairs Ruzica Piskac (ruzica.piskac AT yale.edu) and Ilya Sergey (ilya AT comp.nus.edu.sg).

[Coq-Club] POPL 2022 - Call for Tutorials (deadline 2021-11-08), Ilya Sergey, 10/04/2021