[TYPES/announce] PLDI 2023, Call for Workshops and Tutorials
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please distribute widely: # Call for Workshops and Tutorials PLDI 2023 is a world-class forum for researchers and practitioners in programming language design and implementation. As in previous years, PLDI is soliciting proposals for co-located workshops and tutorials that will take place on **Saturday June 17th**, and **Sunday June 19th**. Please propose your workshop or tutorial via the submission system. The following details will be asked on submission: * Name of the workshop/tutorial. * Duration of the workshop/tutorial. * Organizers: names, affiliation, contact information, brief (100 words) biography. * A short description (150-200 words) of the topic. * Event format: workshop/tutorial; type of submissions, if any; review process; results dissemination. * Expected attendance and target audience within the PLDI community. * How you plan to foster an inclusive environment and promote a diverse attendance. * Information on any previous iterations of the workshop or tutorial. *Note:* Workshops must make their own acceptance decisions by **April 21, 2023** if there will be proceedings (final versions due **May 5, 2023**), or **May 5, 2023** if they do not have proceedings. ## Submission Submission site: https://urldefense.com/v3/__https://pldi23.sigplan.org/createProposal/56d4b837-caa0-487c-85b8-61f855c8aa4f__;!!IBzWLUs!WPjzXo8DZet5kKpvK7qyKpmmPYy4NSb3INt85rpf9OCTP4lEPo8dFEqBDHLqrjuIwApi4VGrv6a_ZeH7IDaaQ9COCa1iOdIT$ Workshops that would like their proceedings included in the ACM Digital Library must submit a proposal by **November 18, 2022**. Workshops and tutorials that will have no formal proceedings should submit a proposal by **November 30, 2022**. ## Review Proposals are reviewed by the Workshop and Tutorials Chairs, and if necessary, by the PLDI general chair. * Proposals will be evaluated according to the relevance of the topic, the expertise and experience of the workshop organizers, and their potential to attract participants. * Proposals submitted between November 18th and 30th will be evaluated on a first-come-first-served basis. ## Notification We will notify workshop/tutorial acceptance by **December 9th*. ## Timeline Submission deadline (with proceedings): **November 18** Submission deadline (no proceedings): **November 30** Notification: **December 9** ## Dissemination A proposal should clearly state how the results of the workshop — i.e., published papers and other outcomes — will be made available to participants and others before and after the workshop event. The Workshops and Tutorials Chair will provide guidance to the organizers of accepted workshops that wish to publish proceedings in the ACM Digital Library. For those that choose to publish their papers in ACM Digital Library, please add the following text in the workshop call for papers and on the website: *AUTHORS TAKE NOTE:* The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) Workshops that elect to publish proceedings can do so in the ACM Digital Library with sponsoring by SIGPLAN. The application for SIGPLAN sponsorship includes reviewing the proposed program committee with the SIGPLAN Executive Committee, a process which the chairs will help facilitate. ## Workshop Co-Chairs - Nadia Polikarpova, U. of California at San Diego - Zachary Tatlock, U. of Washington
[TYPES/announce] PLDI 2022 Second Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please distribute widely. *Call for Papers* 2022 ACM Conference on Programming Language Design and Implementation (PLDI) Mon 20 - Fri 24 June 2022 San Diego, California, United States https://urldefense.com/v3/__https://pldi22.sigplan.org/track/pldi-2022-pldi*Call-for-Papers__;Iw!!IBzWLUs!EyUKXubukr-6zwgthHFFQl5JEQNp0RHillJIc7bfk6588ve5fu7yycfaDGjepLDJfygfVHc_aOQx7A$ PLDI is a premier forum for programming language research, broadly construed, including design, implementation, theory, applications, and performance. PLDI seeks outstanding research that extends and/or applies programming-language concepts to advance the field of computing. Novel system designs, thorough empirical work, well-motivated theoretical results, and new application areas are all welcome emphases in strong PLDI submissions. Reviewers will evaluate each contribution for its accuracy, significance, originality, and clarity. Submissions should be organized to communicate clearly to a broad programming-language audience as well as to experts on the paper’s topics. Papers should identify what has been accomplished and how it relates to previous work. Authors of empirical papers are encouraged to consider the seven categories of the SIGPLAN Empirical Evaluation Guidelines when preparing their submissions. (https://urldefense.com/v3/__http://www.sigplan.org/Resources/EmpiricalEvaluation/__;!!IBzWLUs!EyUKXubukr-6zwgthHFFQl5JEQNp0RHillJIc7bfk6588ve5fu7yycfaDGjepLDJfygfVHeWv3zWCA$ ) *Important Dates* === Fri 19 Nov 2021, Submission Deadline Mon 7 Feb - Wed 9 Feb 2022, Author Response Fri 25 Feb 2022, Author Notification *Author Instructions* == https://urldefense.com/v3/__https://pldi22.sigplan.org/track/pldi-2022-pldi*Call-for-Papers__;Iw!!IBzWLUs!EyUKXubukr-6zwgthHFFQl5JEQNp0RHillJIc7bfk6588ve5fu7yycfaDGjepLDJfygfVHc_aOQx7A$ Submission site: https://urldefense.com/v3/__https://pldi2022.hotcrp.com/__;!!IBzWLUs!EyUKXubukr-6zwgthHFFQl5JEQNp0RHillJIc7bfk6588ve5fu7yycfaDGjepLDJfygfVHfZw9KdBQ$ *Organizing Committee* General Chair: Ranjit Jhala, U. of California at San Diego Program Chair: Isil Dillig, U. of Texas at Austin Web Chair: Dan Barowy, Williams College Publicity Co-Chairs: William J. Bowman, U. of British Columbia Arjun Guha, Northeastern U. Sponsorship Co-Chairs: Ravi Chugh, U. of Chicago Sasa Misailovic, U. of Illinois at Urbana-Champaign Workshops Co-Chairs: Nadia Polikarpova, U. of California at San Diego Alexandra Silva, U. College London Student Research Competition Co-Chairs: Tyler Sorensen, U. of California at Santa Cruz Jubi Taneja, Microsoft Research Artifact Evaluation Co-Chairs: Niki Vazou, IMDEA Software Institute Xinyu Wang, U. of Michigan https://urldefense.com/v3/__https://pldi22.sigplan.org/committee/pldi-2022-organizing-committee__;!!IBzWLUs!EyUKXubukr-6zwgthHFFQl5JEQNp0RHillJIc7bfk6588ve5fu7yycfaDGjepLDJfygfVHenWD26Xw$ -- William J. Bowman
[TYPES/announce] Call for Tutorials and Workshops: PLDI 2022
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please distribute widely: # Call for Workshops and Tutorials PLDI 2022 is a world-class forum for researchers and practitioners in programming language design and implementation. As in previous years, PLDI is soliciting proposals for co-located workshops and tutorials that will take place on Monday June 20th, and Tuesday June 21st. Please propose your workshop or tutorial via the submission system. The following details will be asked on submission: * Name of the workshop/tutorial. * Duration of the workshop/tutorial. * Organizers: names, affiliation, contact information, brief (100 words) biography. * A short description (150-200 words) of the topic. * Event format: workshop/tutorial; type of submissions, if any; review process; results dissemination. * Expected attendance and target audience within the PLDI community. * How you plan to foster an inclusive environment and promote a diverse attendance. * Information on any previous iterations of the workshop or tutorial. *Note:* Workshops must make their own acceptance decisions by April 21, 2022 if there will be proceedings (final versions due May 5, 2022), or May 5, 2022. ## Submission Submission site: https://urldefense.com/v3/__https://pldi22.sigplan.org/createProposal/d625158d-7188-4844-88cd-9bf71182aa9a__;!!IBzWLUs!CCl-RYsNYGH7YS0ia9oUuB-QeOvMMHsfGzUOZ6gY4BxKHS6cLvAx4ukxCc-Okbx9XJ7Y4m7rD1yHCg$ Workshops that would like their proceedings included in the ACM Digital Library must submit a proposal by November 18, 2021. Workshops and tutorials that will have no formal proceedings should submit a proposal by November 30, 2021. ## Review Proposals are reviewed by the Workshop and Tutorials Chairs, and if necessary, by the PLDI general chair. * Proposals will be evaluated according to the relevance of the topic, the expertise and experience of the workshop organizers, and their potential to attract participants. * Proposals submitted between November 18th and 30th will be evaluated on a first-come-first-served basis. ## Notification We will notify workshop/tutorial acceptance by December 9th. ## Timeline Submission deadline (with proceedings): November 18 Submission deadline (no proceedings): November 30 Notification: December 9 ## Dissemination A proposal should clearly state how the results of the workshop — i.e., published papers and other outcomes — will be made available to participants and others before and after the workshop event. The Workshops and Tutorials Chair will provide guidance to the organizers of accepted workshops that wish to publish proceedings in the ACM Digital Library. For those that choose to publish their papers in ACM Digital Library, please add the following text in the workshop call for papers and on the website: *AUTHORS TAKE NOTE:* The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) Workshops that elect to publish proceedings can do so in the ACM Digital Library with sponsoring by SIGPLAN. The application for SIGPLAN sponsorship includes reviewing the proposed program committee with the SIGPLAN Executive Committee, a process which the chairs will help facilitate. ## Workshop Co-Chairs - Nadia Polikarpova, U. of California at San Diego - Alexandra Silva, U. College London
[TYPES/announce] PLDI 2022 First Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please distribute widely. *Call for Papers* 2022 ACM Conference on Programming Language Design and Implementation (PLDI) Mon 20 - Fri 24 June 2022 San Diego, California, United States https://urldefense.com/v3/__https://pldi22.sigplan.org/track/pldi-2022-pldi*Call-for-Papers__;Iw!!IBzWLUs!Cy5YtOXW9ZHUE-inlRK9CfCvs_2ORsF0YOVQ1Yg5dSG0XlT0n8hFns0V0h12v40Ex7JzZg9dMivTsA$ PLDI is a premier forum for programming language research, broadly construed, including design, implementation, theory, applications, and performance. PLDI seeks outstanding research that extends and/or applies programming-language concepts to advance the field of computing. Novel system designs, thorough empirical work, well-motivated theoretical results, and new application areas are all welcome emphases in strong PLDI submissions. Reviewers will evaluate each contribution for its accuracy, significance, originality, and clarity. Submissions should be organized to communicate clearly to a broad programming-language audience as well as to experts on the paper’s topics. Papers should identify what has been accomplished and how it relates to previous work. Authors of empirical papers are encouraged to consider the seven categories of the SIGPLAN Empirical Evaluation Guidelines when preparing their submissions. (https://urldefense.com/v3/__http://www.sigplan.org/Resources/EmpiricalEvaluation/__;!!IBzWLUs!Cy5YtOXW9ZHUE-inlRK9CfCvs_2ORsF0YOVQ1Yg5dSG0XlT0n8hFns0V0h12v40Ex7JzZg8cDImXZQ$ ) *Important Dates* === Fri 19 Nov 2021, Submission Deadline Mon 7 Feb - Wed 9 Feb 2022, Author Response Fri 25 Feb 2022, Author Notification *Author Instructions* == https://urldefense.com/v3/__https://pldi22.sigplan.org/track/pldi-2022-pldi*Call-for-Papers__;Iw!!IBzWLUs!Cy5YtOXW9ZHUE-inlRK9CfCvs_2ORsF0YOVQ1Yg5dSG0XlT0n8hFns0V0h12v40Ex7JzZg9dMivTsA$ Submission site: https://urldefense.com/v3/__https://pldi2022.hotcrp.com/__;!!IBzWLUs!Cy5YtOXW9ZHUE-inlRK9CfCvs_2ORsF0YOVQ1Yg5dSG0XlT0n8hFns0V0h12v40Ex7JzZg8N9R4uEA$ *Organizing Committee* General Chair: Ranjit Jhala, U. of California at San Diego Program Chair: Isil Dillig, U. of Texas at Austin Web Chair: Dan Barowy, Williams College Publicity Co-Chairs: William J. Bowman, U. of British Columbia Arjun Guha, Northeastern U. Sponsorship Co-Chairs: Ravi Chugh, U. of Chicago Sasa Misailovic, U. of Illinois at Urbana-Champaign Workshops Co-Chairs: Nadia Polikarpova, U. of California at San Diego Alexandra Silva, U. College London Student Research Competition Co-Chairs: Tyler Sorensen, U. of California at Santa Cruz Jubi Taneja, Microsoft Research Artifact Evaluation Co-Chairs: Niki Vazou, IMDEA Software Institute Xinyu Wang, U. of Michigan https://urldefense.com/v3/__https://pldi22.sigplan.org/committee/pldi-2022-organizing-committee__;!!IBzWLUs!Cy5YtOXW9ZHUE-inlRK9CfCvs_2ORsF0YOVQ1Yg5dSG0XlT0n8hFns0V0h12v40Ex7JzZg-YjXeyCg$ -- William J. Bowman
[TYPES/announce] [TFP'19] Third call for papers: Trends in Functional Programming 2019, 12--14 June 2019, Vancouver, BC, CA
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please distribute this call widely! Note that the submission type has changed since the last call; pre-symposium review submissions have closed, but post-symposium reviews (draft papers) are still open. 3 R D C A L L F O R P A P E R S == TFP 2019 == 20th Symposium on Trends in Functional Programming 12-14 June, 2019 Vancouver, BC, CA https://www.tfp2019.org/index.html == Important Dates == Sumbission Deadline for Draft Papers Thursday, May 9, 2019 Notification for Draft Papers Tuesday, May 14, 1029 TFPIE Tuesday, June 11, 2019 Symposium Wednesday, June 12, 2019 – Friday, June 14, 2019 Notification of Student Paper Feedback Friday June 21, 2019 Submission Deadline for revised Draft Papers (post-symposium formal review) Thursday, August 1, 2019 Notification for post-symposium submissionsThursday, October 24, 2019 Camera Ready Deadline (both pre- and post-symposium) Friday, November 29, 2019 The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below at scope). Please be aware that TFP uses two distinct rounds of submissions (see below at submission details). TFP 2019 will be the main event of a pair of functional programming events. TFP 2019 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 11. == Scope == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles: Leading-edge, previously unpublished research work Position Articles: On what new trends should or should not be Project Articles: Descriptions of recently started new projects Evaluation Articles: What lessons can be drawn from a finished project Overview Articles: Summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to: Functional programming and multicore/manycore computing Functional programming in the cloud High performance functional computing Extra-functional (behavioural) properties of functional programs Dependently typed functional programming Validation and verification of functional programs Debugging and profiling for functional languages Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. Interoperability with imperative programming languages Novel memory management techniques Program analysis and transformation techniques Empirical performance studies Abstract/virtual machines and compilers for functional languages (Embedded) domain specific languages New implementation strategies Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2019 program chairs, William J. Bowman and Ron Garcia. == Best Paper Awards == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes
[TYPES/announce] Logic Mentoring Workshop (LMW) 2019 Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please distribute this call widely; send it to your reading groups, your classes, and internal lab lists! Call for Participation LMW 2019 4th Logic Mentoring Workshop June 22, 2019, Vancouver, Canada Co-located with LICS 2019 https://lics.siglog.org/lics19/lmw.php = The Logic Mentoring Workshop (LMW) will introduce young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to graduates, and will include talks and a panel session from leaders in the subject. LMW 2019 builds on the resounding success of the first three editions held in 2016, 2017 and 2018. It will be co-located with the Symposium on Logic in Computer Science (LICS 2019), the premier international forum on theoretical and practical topics in computer science related to logic. LMW will take place in Vancouver on June 22 before the main conference. SPEAKERS Bob Atkey (University of Strathclyde) Kuen-Bang Hou (Favonia) (University of Minnesota) Ohad Kammar (University of Edinburgh) Étienne Miquey (Inria, Gallinette) Brigitte Pientka (McGill University) Sylvain Schmitz (LSV, Paris-Saclay) Ana Sokolova (University of Salzburg) PANELISTS Ohad Kammar (University of Edinburgh) Ana Sokolova (University of Salzburg) Kuen-Bang Hou (Favonia) (University of Minnesota) ORGANIZING COMMITTEE William J. Bowman (University of British Columbia) Mike Dodds (Galois, Inc) Sandra Kiefer (RWTH Aachen University) Filip Mazowiecki (University of Bordeaux) PROGRAM A detailed program will soon be available on the LMW 2019 website at https://lics.siglog.org/lics19/lmw.php TRAVEL AWARDS Thanks to the generous support from Amazon Web Services, Galois, NSF and SIGLOG, we will be able to offer travel awards to eligible participants. The travel support will consist in refunds for expenses regarding registration and possibly accommodation. The application form will be available from Monday, April 22. Applicants must fill out the form and provide a recommendation letter. Please find further details on our website. The deadline for applications is May 17th and applicants will be notified by May 27th. We are looking forward to seeing you at LMW in Vancouver! -- William J. Bowman, Ph.D. Assistant Professor, Computer Science, University of British Columbia https://www.williamjbowman.com