Announcements

---

These announcements are periodically emailed to the sigplan-announce listserv maintained by ACM. To submit your announcement, please fill out this form.

December 2023

• CGO'24 - Student Research Competition (SRC) and more

November 2023

• ICFP 2024: Call for Papers
• ACM History Committee 2024 CFP - History and Archiving Fellowship Program
• CfC, 28th Ada-Europe Conf. on Reliable Software Technologies (AEiC 2024)
• 2024 Heidelberg Laureate Forum Young Researchers - Applications now open!

October 2023

• PriSC 2024: Call for Presentations
• Call for Papers, ACM Conference on Programming Language Design and Implementation (PLDI 2024)
• 21st International Conference on Software and Systems Reuse

September 2023

• Call for Papers, The Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2024)
• SAS 2023 - Call for Participation - Early deadline: Sept 22

August 2023

• Call for Participation: Real-World PIM Tutorial @ MICRO 2023
• [Call for submissions TFPiE 2024] Trends in Functional Programming in Education - January 9 2024, Seton Hall University, USA
• Call for Participation: Functional Art, Music, Modeling and Design (FARM 2023) Sep 8
• Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University

July 2023

• Call For Papers: 17th International Symposium on Functional and Logic Programming (FLOPS 2024)
• Call for Participation, Functional Software Architecture (Sep 8, Seattle)
• Call for Papers, 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024)
• Call for Papers: 25th International Symposium on Trends in Functional Programming
• Call for Papers, CPP 2024 - Certified Programs and Proofs
• Call for Papers, 12th Workshop on Programming Languages and Operating Systems (PLOS 2023)

June 2023

• CRA-WP Early and Mid Career Mentoring Workshops
• Call for Student Participation! PLMW@SPLASH 2023
• Call for Contributions, 10th ACM SIGPLAN Symposium on SPLASH-E
• Call for Papers, 20th International Conference on Managed Programming Languages and Runtimes

May 2023

• Call for Participation: LCTES 2023, June 18 (Orlando, Florida), co-located with PLDI and FCRC
• Call for Participation, Tutorial on DSL-based Hardware Generation
• Call for Papers, 20th International Conference on Managed Programming Languages and Runtimes

April 2023

• SAS 2023 - Final CFP - Extended deadlines (updates until May 1st)
• SAS 2023 - Second Call for Papers - Paper Deadline: April 24, 2023
• Call for Participation, the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023)
• Call for Talks: CTSTA 2023: PLDI/FCRC Workshop on Compiler Techniques for Sparse Tensor Algebra
• Call for Participation: PLARCH 2023

March 2023

• Call for presentations, OCaml Users and Developers Workshop
• Call for Papers: Higher-order, Typed, Inferred, Strict - ACM SIGPLAN ML Family Workshop
• Call for Papers, 22nd IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2024)
• SAS 2023 - First Call for Papers - Paper Deadline: April 24, 2023
• Call for Papers, Functional Software Architecture - FP in the Large
• Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)
• Call for Volunteers, PLDI 2023
• Call for Papers, 33rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2023) Co-located with PPDP 2023 as part of SPLASH 2023
• LCTES 2023 Final CFP (Extended Submission Deadline: March 24), International Conference on Languages, Compilers, Tools and Theory of Embedded Systems
• CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering
• PLMW@PLDI23 application is open
• Call for Talks: DRAGSTERS 2023: PLDI/FCRC Workshop on Distributions, Relational Algebra, Graphs, Semi-Rings, Tensors, and all that

February 2023

• Call for Papers and Special Session Proposals: 10th International Conference on Behavioural and Social Computing (BESC 2023)
• International Conference on Parallel Architectures and Compilation Techniques (PACT 2023)
• Call for Participation: Real-World PIM Tutorial at ASPLOS 2023
• Open assistant/associate prof positions at Toronto Metropolitan University
• Call for Papers, OOPSLA 2023, The ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023)
• Call for Papers, 20th International Conference on Managed Programming Languages and Runtimes (MPLR’23)
• SIGPLAN Software Award Extension of Nomination Period
• Extended Deadline for ACM SIGPLAN Distinguished Educator Award

January 2023

• ASPLOS 2023 Call for Participation - Early Registration ends 24 February 2023
• LATTE: Workshop on Languages, Tools, and Techniques for Accelerator Design
• Call for Papers, 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory of Embedded Systems (LCTES 2023)
• CGO 2023 - Call For Participation (early-bird registration by Jan 31)
• CfP: Journal of Systems and Software - Special Issue on Software Language Engineering
• Call for papers, 39th conference on the Mathematical Foundations of Programming Semantics
• Call for papers, International Symposium on Memory Management (ISMM 2023)
• Call for Papers: 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023)

December 2022

• PLDI 2023 Student Research Competition (SRC)
• ACM History Committee 2023 CFP: History and Archiving Fellowships
• TFPIE 2023: Call for Submissions
• 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023): Call for Workshop and Co-Located Event Proposals

November 2022

• ASPLOS 2023 Call for Workshops and Tutorials
• 2023 Heidelberg Laureate Forum Young Researchers: Applications now open
• ICLP 2023: Logic Programming, London (UK), 9-15 July 2023 (CFP)
• New Editor-in-Chief for TOPLAS
• New Editor-in-Chief for PACMPL
• 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023): Call for Papers
• Call for Nominations: Dahl-Nygaard Prize
• 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023): Call for Posters and Demos

October 2022

• PLDI 2023 Second Call for Papers
• 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023): Call for Workshops and Minisymposia
• PLDI 2023 Artifact Evaluation Committee Nominations
• Trends of Functional Programming in Education 2023 call for submissions (deadline Dec 27th)
• Call for Student Volunteers, 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023)
• Call for Workshops and Tutorials, PLDI 2023
• Faculty positions at Oxford

September 2022

• 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023)
• Call for Papers: 24th International Symposium on Trends in Functional Programming (TFP 2023)
• New Leadership at SIGPLAN-M
• OOPSLA 2023: Round 1 Call for Papers

August 2022

• Final Call for Papers, ACM/IEEE International Symposium on Code Generation and Optimization (CGO 2023)
• Functional Art, Music, Modeling and Design (FARM 2022) Sep 15: Call for Participation
• Call for Posters: ACM Student Research Competition at PACT 2022
• ACM/IEEE International Symposium on Code Generation and Optimization (CGO 2023): Call for Papers

July 2022

• Call for Papers: Eelco Visser Commemorative Symposium
• Call for Papers, The First International Workshop on Virtual and Augmented Reality Software Engineering, colocated with ASE'22
• Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)

June 2022

• ACM/IEEE International Symposium on Code Generation and Optimization (CGO): Call for Papers
• Certified Programs and Proofs (CPP) 2023 Call for Papers
• Call for nominations: institution-independent funding selection committee

May 2022

• ML Family Workshop 2022: Final Call for Presentations
• CFP: ACM Workshop on Functional Art, Music, Modelling and Design
• [CFP] Scheme and Functional Programming Workshop 2022
• Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2022

April 2022

• 2nd CfP - ACM Workshop on Functional Art, Music, Modelling and Design - Deadline June 1
• Ask the Candidates for ACM President!

March 2022

• ISSRE 2022 - Call for Papers - Research
• Call for Participation, IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2022)
• Call for Participation, PLDI 2022
• Call for Papers, 19th International Conference on Managed Programming Languages & Runtimes
• 18th Doctoral Consortium (DC) on Logic Programming
• ECOOP'22 Doctoral Symposium - Call for Contributions
• ACM Workshop on Functional Art, Music, Modelling and Design - Call for Papers, Demos, and Performances
• Trends in Functional Programming in Education
• Call for Papers, 29th Static Analysis Symposium (SAS 2022)
• PLDI 2022 Call for Student Volunteers

February 2022

• Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022)
• ACM History Committee: Call for Applications: 2022 History Fellowship Program
• Call for Papers, International Symposium on Memory Management
• 8th IEEE International Smart Cities Conference

January 2022

• CfC 26th Ada-Europe Conf. on Reliable Software Technologies (AEiC 2022)
• PLDI 2022 Call for Student Research Competition Submissions
• LCTES 2022 Call for Papers
• [CfP] ICLP 2022 - The 38th International Conference on Logic Programming
• TFPIE 2022: moving to online and extension to Feb 7th
• [TFP'22] second call for papers: Trends in Functional Programming 2022 moved to March 17-18 online (together with TFPiE)
• Workshop on Languages, Tools, and Techniques for Accelerator Design

December 2021

• Trends in Functional Programming in Education 2022 3rd (last) call for submissions
• [2nd CfP] ICLP 2022 - The 38th International Conference on Logic Programming
• TVMcon: 2021 Apache TVM and Open Source ML Acceleration Conference
• 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022): Call for Contributions
• PLDI 2022 Call for (Self-) Nomination to Artifact Evaluation Committee
• Call for Participation: 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022)

November 2021

• First Call for Papers, 14th International Conference on Mathematics of Program Construction
• ACM History Committee Fellowship Competition

October 2021

• Trends in Functional Programming in Education 2022 call for submissions
• PPoPP 2022 Call for Workshop and Tutorial Proposals
• Call for Papers, 2nd International Conference on Code Quality (ICCQ 2022) in-coop with SIGPLAN
• Call for Contributions -- ACM International Conference on Information Technology for Social Good (GoodIT 2022)
• Online Seminar Series on Tensor Computation
• Call For Participation - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity
• PPoPP 2022: Call for Workshop & Tutorial Proposals (due 10/29)
• CGO 2022 Call for Workshops and Tutorials

September 2021

• [TFP'22] first call for papers: Trends in Functional Programming 2022, 10-11 February (with Lambda Days 2022 & TFPIE 2022)
• Call for Tutorials and Workshops, PLDI 2022
• Call for (Self-)Nominations for the ASPLOS 2022 Artifact Evaluation Committee
• Webinar: Getting Recognized by ACM Awards and Honors
• Call for Participation: PACT'21 - The 30th International Conference on Parallel Architectures and Compilation Techniques
• Call for Papers, 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022)
• ECOOP 2022: Call for Papers
• 9th European Conference on Service-Oriented and Cloud Computing (ESOCC 2022): Early Call for Contributions

August 2021

• Call for Participation, 18th ACM SIGPLAN International Conference on Managed Programming Languages & Runtimes, MPLR'21
• Functional Art, Music, Modeling and Design (FARM 2021) Aug 21: Call for Participation
• Call for Participation: ICFP 2021
• 2022 IEEE International Conference on Evolving and Adaptive Intelligent Systems (IEEE EAIS 2022): Call for Papers and Special Sessions

July 2021

• Call for Papers, 1st Workshop on Programming Languages for Interactive Entertainment (PLIE) at AIIDE 2021
• Call for Abstracts: ACM SRC @ PACT 2021
• Call for Papers, 2021 ACM SPLASH-E Symposium
• 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21) and the 35th European Conference on Object-Oriented Programming (ECOOP'21)

June 2021

• Call for Papers, 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming