Announce

Author: sampsyo

_announce/2026-02-16-lctes_2026.txt

@@ -0,0 +1,41 @@
+---
+title: "Call for Papers, 27th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2026)"
+timestamp: "2/16/2026 17:40:47"
+deadline: "3/6/2026"
+---
+Dear Colleagues,
+
+---------------------------------------------------------------------------------------------------
+                                                     Call for Papers
+
+                      27th ACM SIGPLAN/SIGBED International Conference on 
+        Languages, Compilers, and Tools for Embedded Systems (LCTES 2026)
+                          https://pldi26.sigplan.org/home/LCTES-2026
+
+                                                   June 15-16, 2026
+                                       Boulder, Colorado, United States
+---------------------------------------------------------------------------------------------------
+
+We would like to bring your attention to the call for papers for the 27th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2026). LCTES 2026 will be held in Boulder, Colorado, United States from June 15 to 16, 2026, co-located with PLDI 2026.
+
+We enthusiastically look forward to your submissions on programming languages, compilers, tools, theory, and architectures that help in overcoming technical challenges in embedded systems and their emerging applications.
+
+**About the Conference:**
+LCTES provides a link between the programming languages and embedded systems engineering communities. Researchers and developers in these areas are addressing many similar problems but with different backgrounds and approaches. LCTES is intended to expose researchers and developers from either area to relevant work and interesting problems in the other area and provide a forum where they can interact. Research papers on innovative techniques are welcome, as well as experience papers on insights obtained by experimenting with real-world systems and applications.
+
+**Important Dates:**
+Abstract Submission Deadline: March 6, 2026 (AoE)
+Paper Submission Deadline: March 13, 2026 (AoE)
+Paper Notification: April 17, 2026 (AoE)
+Conference Dates: June 15-16, 2026
+
+**Paper Categories:**
+Full paper: 10 pages presenting original work (at most 2 additional pages for references and appendix)
+Poster, work-in-progress and invited paper: 4 pages papers presenting original ideas that are likely to trigger interesting discussions
+Submission site:  https://lctes26.hotcrp.com/
+
+Accepted papers in both categories will appear in the proceedings published by ACM. In addition, there will be Distinguished Paper awards selected from accepted papers to recognize the outstanding work among all papers.
+
+Thank you and best regards,
+Seonyeong Heo
+LCTES 2026 Publicity Chair

_announce/2026-02-19-egraphs_2026.txt

@@ -0,0 +1,28 @@
+---
+title: "Call for Papers: EGRAPHS 2026 (Fifth Edition)"
+timestamp: "2/19/2026 14:00:44"
+deadline: "4/17/2026"
+---
+Call for Papers: EGRAPHS 2026 (Fifth Edition)
+
+The fifth EGRAPHS workshop brings together those working on and with e-graphs, providing a collaborative venue to share work that advances e-graphs as a broadly applicable technique in programming languages or other fields of computing.
+
+We invite submissions for talks broadly, including talks that may cover already published or in-progress work. Submissions should be in the form of a 2 to 6 page extended abstract that describes the key problems addressed and/or reusable insights from the proposed talk. Links to preprints, repos, demos, or other media are encouraged!
+
+We welcome submissions from academic, industrial, or independent researchers and practitioners. Talks are intended to foster discussion between members of the e-graph community. The program will include time for Q&A as well as open-ended discussion inspired by the talks.
+
+The symposium seeks papers on a diverse range of topics including (but not limited to):
+* e-graphs as data structures and their related algorithms
+* equality saturation and other e-graph based rewriting approaches
+* applications of e-graphs and/or equality saturation, whether in programming languages or other fields
+* tools/frameworks that facilitate the use of e-graphs and associated techniques
+* investigations into the human-facing aspects using e-graph-based toolkits including error reporting, debugging, and visualization
+* other frameworks for optimizing/analyzing programs in an equational manner
+
+**Important dates:**
+Submission deadline: April 17, 2026 AoE
+
+Workshop website (CFP + updates): https://pldi26.sigplan.org/home/egraphs-2026
+Submission link: https://egraphs2026.hotcrp.com/
+
+From the PLDI'26 Publicity Chairs on behalf of the EGRAPH'26 Chair

_announce/2026-02-22-flops_2026.txt

@@ -0,0 +1,104 @@
+---
+title: "Call for Participation: Functional and Logic Programming (FLOPS, May 26-28, Tsukuba)"
+timestamp: "2/22/2026 12:02:49"
+start: "5/26/2026"
+end: "5/28/2026"
+---
+# FLOPS 2026 -- Call for Participation 
+
+## The 18th International Symposium on Functional and Logic Programming
+## May 26-28, Tsukuba, Japan
+## [`https://functional-logic.org/events/flops/2026/`](https://functional-logic.org/events/flops/2026/)
+
+Welcome to the 18th International Symposium on Functional and Logic
+Programming (FLOPS 2026) on May 26-May 28, 2026 in Tsukuba, Japan.
+
+FLOPS 2026 is co-sponsored by Special Interest Group on Programming
+and Programming Languages (SIG-PPL), Japan Society for Software
+Science and Technology (JSSST).
+
+FLOPS brings together practitioners, researchers and implementers of
+declarative programming, to discuss mutually interesting results and
+common problems: theoretical advances, their implementations in
+language systems and tools, and applications of these systems in
+practice. FLOPS specifically aims to promote cross-fertilization
+between theory and practice and among different styles of declarative
+programming.
+
+### Venue
+
+FLOPS 2026 will take place at the University of Tskukuba.  Tsukuba is
+about 60km from central Tokyo, and easily reachable via public
+transport from both Haneda and Narita airports.
+
+Tsukuba is Japan's science and technology city.  Yet, it preserves
+its rich traditions and local heritage with attractions such as
+Mt. Tsukuba and Tsukubasan Shrine.
+
+### Registration
+
+You can register for FLOPS 2026 here:
+
+[`https://functional-logic.org/events/flops/2026/registration/`](https://functional-logic.org/events/flops/2026/registration/)
+
+Early-bird registration fee (until Apr 25) is 50000¥/20000¥ for
+students - roughly 275€, 325$, 240£ as of February 19.
+
+Registration includes an excursion and a banquet on May 27.  Extra
+banquet tickets are available.
+
+### Program
+
+#### Keynote speakers:
+
+- Kazunori Ueda, Waseda Univerity
+- Fritz Henglein, University of Copenhagen
+- Gabriele Keller, Utrecht University
+
+#### Tutorial:
+- Jesse Alama, Scheming in Lean
+
+#### Accepted papers:
+
+- Li, F., Gupta, G.: Computing Supported Models via Transformation to
+  Stable Models
+
+- Miyazawa, O., Nishizaki, S.: Matrix Coeffect: A Coeffect Calculus
+  for Handling Interdependent Information
+
+- Arntzenius, M., Willsey, M.: Finite Functional Programming or,
+  LAMBDA: the Ultimate Predicate
+
+- Lam, C.: Optimizing Mesh Booleans by Being Lazy (System Description)
+
+- Zhou, N., Jiang, C., Bierlee, H., Stuckey, P.: Dynamic Programming
+  and Tabled Logic Programming for Encoding Single-Constant
+  Multiplication into SAT (Declarative Pearl)
+
+- Bohrer, R.: Demonic Dynamic Logic Programming
+
+- Morihata, A.: Test Your Polymorphic Functions with Boolean Values
+
+- Kiselyov, O.: More Fun with Monoids (Declarative Pearl)
+
+- Boyland, P., Hyatt, S., Dewey, K., Hardekopf, B.: Breccia: A
+  Functional DSL Compiled to Egglog for Test Input Generation
+
+- Cabo, Q., Scholz, S.: Finding Programming Faults Even When Large
+  Parts of the Code have Disappeared
+
+- Maieli, R., Acclavio, M.: Probabilistic Linear Logic Programming
+  with an application to Bayesian Networks computations
+
+- Tudor, A., Arias, J., Gupta, G.: Automatic Knowledge Gap Detection
+  and Plan Validation Using Counterfactual Justifications
+
+- Hemann, J., Pfingsten, B.: Visualizing miniKanren Search with a
+  Fine-Grained Small-Step Semantics
+
+- Coltharp, N., Libby, S., Israel, L., Li, Y.: Unifying Hindsight and
+  Foresight: Lazy Cost Analysis as Functional Logic Programming
+
+Further information about the conference and local arrangements is
+available on the conference website.
+

_announce/2026-02-23-array_2026.txt

@@ -0,0 +1,20 @@
+---
+title: "Call for Papers: ARRAY 2026"
+timestamp: "2/23/2026 19:39:30"
+deadline: "4/1/2026"
+---
+**Call for Papers: ARRAY 2026**
+
+Array programming is at home in many communities, including language design, library development, optimization, scientific computing, and across many existing language communities. The ARRAY Workshop series is intended to bring together researchers from many different practical and theoretical communities, including language designers, library developers, type theorists, compiler researchers, and practitioners. These communities can exchange ideas on the construction of computational tools for manipulating arrays and fundamental principles of array programming. 
+
+**Submissions are welcome in two categories:** full research papers (up to 12 pages) and extended abstracts (up to 2 pages) on work in progress. All submissions should be formatted in conformance with the ACM SIGPLAN proceedings style. Accepted submissions in either category will be presented at the workshop; and accepted full papers will also be published in the ACM Digital Library.
+
+**Important Dates:**
+Submission deadline: April 1, 2026
+Author notification: April 19, 2026
+Final version: May 3, 2026
+
+Workshop website (CFP + relevant topics + updates): https://pldi26.sigplan.org/home/ARRAY-2026
+Submission link: https://array26.hotcrp.com/
+
+Distributed by the PLDI'26 Publicity Chairs on behalf of the ARRAY'26 Organizers.

_announce/2026-02-26-ismm_2026.txt

@@ -0,0 +1,87 @@
+---
+title: "Call for Papers, 2026 ACM SIGPLAN International Symposium on Memory Management (ISMM 2026)"
+timestamp: "2/26/2026 18:53:34"
+deadline: "3/27/2026"
+---
+2026 ACM SIGPLAN International Symposium on Memory Management (ISMM 2026)
+https://conf.researchr.org/home/ismm-2026
+
+Continuing from ISMM 2024, we are excited to announce the continued, expanded scope of ISMM this year to encourage submissions and participation from related fields such as computer architecture and computer systems in addition to our core PL community!
+
+ISMM 2026 will be co-located with PLDI 2026.
+
+## Important Dates
+
+Submission Deadline: March 27, 2026
+Author Response Period: April 27 - May 1, 2026
+Author Notification: May 4, 2026
+Symposium: June 15 - June 19, 2026
+
+## Paper Categories
+
+The 2026 ACM SIGPLAN International Symposium on Memory Management (ISMM 2026) is soliciting full-length submissions covering new work on all memory management related topics in both software and hardware (and their cooperation), as well as papers presenting confirmations or refutations of important prior results. In addition to regular papers, traditionally submitted to ISMM, we also invite submissions of the following kinds:
+
+  * Surveys and comparative analyses that shed new light on previously published techniques.
+  * Practitioner reports, describing experience with memory management in production. Such papers are not expected to provide novel research contributions, but they should not have been previously published.
+  * Intellectual abstracts, where researchers share designs, algorithms, or theory that may be interesting to the memory management community, but not yet evaluated.
+
+## Area of Interest
+
+Areas of interest include but are not limited to (in no particular order):
+
+  * Garbage collection algorithms and implementations
+  * Memory allocation and de-allocation
+  * Memory system design and analysis (both software and hardware)
+  * Hardware support for memory management
+  * Memory management for large-scale data-intensive systems
+  * Memory management at datacenter and cloud scales
+  * Formal analysis and verification of memory management algorithms
+  * Compiler analyses to aid memory management
+  * Tools to analyze memory usage and characteristics of programs
+  * Empirical analysis of memory intensive programs
+  * Formal analysis and verification of memory intensive programs
+  * Memory management for machine learning systems
+  * Programming and management of emerging or persistent memories
+  * Caches, memory controllers, memory hierarchies (e.g., CXL) and their management
+  * Cache coherence and memory consistency
+  * Processing in memory (including processing near and using memory)
+  * Memory technology and architecture (SRAM, DRAM, flash, NVM, emerging technologies)
+  * Security and privacy of memory systems
+  * Robustness of memory systems
+  * Low-latency and low-energy memory systems
+
+The symposium welcomes industry practitioners presenting their recent practice and findings in memory management related to real-world deployments.
+
+## Submission Link
+
+https://ismm26.hotcrp.com
+
+## Organizers
+
+General Chair: Matthew J. Parkinson (Microsoft Azure Research)
+Program Co-chair: Tomoharu Ugawa (University of Tokyo)
+Program Co-chair: Jung Ho Ahn (Seoul National University)
+
+## Program Committee
+
+A. Giray Yaglikci (CISPA)
+Antony Hosking (ANU)
+Babak Falsafi (EPFL)
+Boris Grot (University of Edinburgh)
+Christoph Kirsch (University of Salzburg, Austria and Czech Technical University, Prague, Czechia)
+Christos Kotselidis (University of Manchester, UK)
+Dimi Racordon (HES-SO Valais/Wallis)
+Hans-J. Boehm (Google)
+Houxiang Ji (SK hynix America)
+Jeremy Singer (University of Glasgow)
+Jung Ho Ahn (Seoul National University)
+Laurence Tratt (King's College London)
+Marc Feeley (Université de Montréal)
+Maria Carpen-Amarie (Huawei (Zurich))
+Mingyu Gao (Tsinghua University)
+Richard Jones (University of Kent)
+Sara Hamouda (Canva)
+Soramichi Akiyama (Ritsumeikan University)
+Takahiro Shinagawa (university of Tokyo)
+Tetsuro Yamazaki (University of Tokyo)
+Tomoharu Ugawa (University of Tokyo)