Skip to content

Commit 25adc3f

Browse files
sampsyosampsyo
committed
Announce
1 parent 3bfe535 commit 25adc3f

8 files changed

Lines changed: 361 additions & 0 deletions

‎_announce/2026-03-17-sas_2026.txt‎

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
---
2+
title: "Call for Papers: 33rd Static Analysis Symposium (SAS 2026)"
3+
timestamp: "3/17/2026 12:26:47"
4+
deadline: "5/1/2026"
5+
---
6+
The 33rd Static analysis Symposium on Static Analysis (SAS 2026) will be held from October 6th to 8th at the Oakland Marriott City Centre hotel (California, USA), as part of SPLASH 2026.
7+
8+
Contributions are welcomed on all aspects of program analysis, including for example abstract interpretation, automated deduction, debugging techniques, program synthesis, machine-learning verification, etc. This year, we specially welcome submissions in two **special topics**: (i) Static Analysis and AI and (ii) Static Analysis and Education.
9+
10+
As in previous years, SAS features regular and NEAT (New questions/areas, Experience, Announcement, Tool) paper categories.
11+
12+
**Important Dates**
13+
Paper Submission Deadline: May 1, 2026 (AoE)
14+
Paper Notification: Jun 16, 2026 (AoE)
15+
Conference Dates: Oct 6-8, 2026
16+
17+
Website: https://conf.researchr.org/home/splash-issta-2026/sas-2026
18+
Submission link: https://sas26.hotcrp.com/
19+

‎_announce/2026-03-20-mit_plr_2026.txt‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
---
2+
title: "MIT Programming Languages Review Workshop 2026"
3+
timestamp: "3/20/2026 12:23:47"
4+
start: "5/8/2026"
5+
end: "5/8/2026"
6+
---
7+
# MIT Programming Languages Review Workshop 2026!
8+
9+
Join us for this year’s annual MIT PLR workshop 2026 on **May 8**! Attendance can be virtually or in-person on MIT campus in Grier (34-401).
10+
11+
This year, we’re excited to present a fresh lineup of talks from authors of what the PLR committee expects to be high-impact, significant works published in recent years at venues including: **OOPLSA, ASPLOS, PLDI, ICFP, VLDB, and more**! We will also be featuring an exciting **“PLR All Stars” Panel**, featuring past authors selected by PLR discussing the impact of their past work and the evolution of their views on their fields since.
12+
13+
The MIT PLR is a student-run committee, launched in 2023, that hopes to highlight recent developments that we believe have significant potential to shape the future direction of PL research and/or industry practice. We aim to select papers that may substantially transform the PL community and beyond, with a focus on emerging trends rather than established lines of research.
14+
15+
You can check out our full program on our [website](plr.csail.mit.edu) and register [here](https://forms.gle/kbDrMCRXUeX2STgXA)! We hope to see you there!

‎_announce/2026-03-26-gcasr_2026.txt‎

Lines changed: 62 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,62 @@
1+
---
2+
title: "GCASR 2026 Announcement and Call for Posters"
3+
timestamp: "3/26/2026 13:08:50"
4+
start: "5/11/2026"
5+
end: "5/12/2026"
6+
---
7+
Announcement and Call for Posters: 13th Greater Chicago Area Systems Research Workshop (GCASR 2026)
8+
May 11, 2026
9+
Northwestern University, Evanston, Illinois
10+
11+
https://gcasr.org/2026
12+
13+
14+
15+
The GCASR Workshop, now in its 13th iteration, is a premier venue that promotes awareness, collaboration, and synergy among academic and industry systems researchers in Chicagoland and the greater Midwest region. Its participants span a variety of systems sub-disciplines—including (but not limited to) operating systems, distributed and decentralized computing, machine learning systems, high performance computing, computer architecture, networks, databases, programming languages and compilers, quantum computing, and security.
16+
17+
GCASR 2026 will be held on Monday, May 11th on the campus of Northwestern University, which is located just north of Chicago in Evanston, IL (about 30-45 minutes from downtown via subway). Participation in the workshop is open to all (see the web site for more information).
18+
19+
GCASR 2026 will consist of a keynote, a range of invited talks, and a robust poster session, all highlighting systems research in Chicagoland and the greater Midwest region.
20+
21+
Faculty members, researchers, postdocs, students, industry professionals, and others with an interest in the workshop topics are invited to submit a poster for presentation at GCASR 2026. We welcome posters that highlight theoretical and experimental work in computing systems—including benchmarking, theoretical results, applications, software design, and algorithm/protocol design.
22+
23+
24+
25+
Important Dates
26+
27+
Friday, April 10th, 2026 — Abstract Deadline
28+
Friday, April 17th, 2026 — Poster Notification
29+
Monday, May 11, 2026 — Workshop (Northwestern University, Evanston, Illinois)
30+
31+
32+
33+
Submission Requirements
34+
35+
Please submit an abstract of no more than 250 words.
36+
Posters may cover already-published work.
37+
Please submit your poster abstract at: https://forms.gle/UtroSXguurTJGrvZ9.
38+
39+
40+
41+
Topics of Interest
42+
43+
Topics of interest include, but are not limited to:
44+
45+
Operating Systems
46+
Computer Architecture
47+
Networking
48+
Distributed Systems
49+
Grids/Clouds/Supercomputing (including HPC/MTC/HTC)
50+
Edge Computing
51+
Internet-of-Things
52+
Energy Efficient Computing
53+
Reconfigurable, Real-time, Cyber-Physical, and Embedded Systems
54+
Programming Languages, Runtime Systems, and Compilers
55+
File and Storage Systems
56+
Parallelism and Multi/Many-core Systems
57+
Secure and Reliable Systems
58+
Databases
59+
Artificial Intelligence and Machine Learning
60+
Quantum Computing
61+
62+

‎_announce/2026-03-29-array_2026.txt‎

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
---
2+
title: "[ARRAY 2026] Deadline Extension and Keynote Speakers Announced"
3+
timestamp: "3/29/2026 12:53:19"
4+
deadline: "4/6/2026"
5+
---
6+
**ARRAY 2026 Deadline Extension and Keynote Speakers Announced**
7+
8+
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.
9+
10+
This year ARRAY has two fantastic keynote speakers!
11+
* Mary Hall from the University of Utah who is speaking on “Compiler Technologies for Array Programming,” and
12+
* Jared Roesch from NVIDIA who is speaking on “Tile Programming Abstractions.”
13+
14+
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.
15+
16+
**Important Dates:**
17+
Submission deadline: April 6, 2026 (updated)
18+
Author notification: April 19, 2026
19+
Final version: May 3, 2026
20+
21+
Workshop website (CFP + relevant topics + updates): https://pldi26.sigplan.org/home/ARRAY-2026
22+
Submission link: https://array26.hotcrp.com/
23+
24+
Distributed by the PLDI'26 Publicity Chairs on behalf of the ARRAY'26 Organizers.

‎_announce/2026-04-01-erlang_2026.txt‎

Lines changed: 171 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,171 @@
1+
---
2+
title: "Call for Papers, Erlang Workshop 2026"
3+
timestamp: "4/1/2026 5:34:20"
4+
deadline: "5/14/2026"
5+
---
6+
# Erlang Workshop 2026 - Call for Papers
7+
8+
25th Edition of the Erlang Workshop
9+
Friday 28 August 2026, Indianapolis, Indiana, USA
10+
A satellite workshop of ICFP 2026
11+
12+
https://icfp26.sigplan.org/home/erlang-2026
13+
14+
** Deadline: 14 May 2026 **
15+
16+
17+
## Overview
18+
19+
The Erlang Workshop aims to bring together the open source, academic,
20+
and industrial communities of BEAM languages (Erlang, Elixir, Gleam, LFE, etc.),
21+
along with other actor-model systems such as Akka and Clojure,
22+
including the concurrent, distributed systems, and fault-tolerant communities.
23+
24+
The workshop will give participants the opportunity to learn about recent
25+
developments in techniques and tools, explore novel applications,
26+
draw lessons from users' experiences, and identify research problems
27+
and common ground across BEAM languages, related actor-model systems,
28+
functional programming, distribution, and concurrency.
29+
30+
This year the workshop will be hybrid: we encourage authors and
31+
participants to attend in person, but remote talks and participation
32+
will be fully supported. We also plan to provide financial support to
33+
individuals who might not otherwise be able to attend.
34+
35+
## Topics
36+
37+
This year we invite four types of submissions:
38+
39+
* Technical papers describing language extensions, critical
40+
discussions of the status quo, formal semantics of language
41+
constructs, program analysis and transformation, virtual machine
42+
extensions and compilation techniques, implementations and
43+
interfaces of BEAM languages in/with other languages, and new tools
44+
(profilers, tracers, debuggers, testing frameworks, etc.).
45+
Submissions related to BEAM languages (Erlang, Elixir, Gleam, LFE, etc.) and
46+
topics in functional, concurrent, and distributed programming
47+
are welcome and encouraged.
48+
49+
* Practice and application papers describing uses of BEAM languages and
50+
related actor-model systems in real-world settings, libraries for specific tasks,
51+
experiences from using BEAM languages in specific application domains,
52+
reusable programming idioms and elegant new ways of using BEAM languages to
53+
approach or solve particular problems, etc.
54+
55+
* Educational papers describing traditional or novel approaches to
56+
teaching and learning BEAM languages and BEAM-related technologies
57+
(curriculum design, courseware, workshops, tutorials, tooling for
58+
pedagogy, online materials, assessments, etc.).
59+
60+
For all paper categories, both full papers (up to 12 pages) and short
61+
papers (up to 6 pages) are welcome.
62+
63+
* Lightning talks describing topics related to the workshop goals that
64+
allow participants to present and demonstrate projects and
65+
preliminary work in academia and industry. Presentations in this
66+
category will be given at most an hour of shared simultaneous
67+
presentation time, will not be part of the peer review process and
68+
will not be part of the formal proceedings. Notification of
69+
acceptance will be continuous.
70+
71+
## Important dates
72+
73+
Submission deadline: 14 May 2026
74+
Notification: 17 June 2026
75+
Camera ready: 07 July 2026
76+
Lightning talk registration: 07 July 2026
77+
Workshop: 28 Aug 2026
78+
79+
Deadlines are anywhere on Earth.
80+
81+
82+
## Workshop Co-Chairs
83+
84+
* Lee Barney, Brigham Young University-Idaho, USA
85+
* Akos Hajdu, Meta, UK
86+
* Laura Voinea, University of Glasgow, UK
87+
88+
89+
## Program Committee
90+
91+
(Note: the Workshop Co-Chairs are also committee members)
92+
93+
* Viktória Fördős (Cisco Systems, Sweden)
94+
* Jonatan Männchen (Erlang Ecosystem Foundation, Switzerland)
95+
* Radu Grigore (Meta, UK)
96+
97+
98+
99+
## Instructions to authors
100+
101+
### Submission
102+
103+
Submissions must adhere to SIGPLAN’s republication policy
104+
(http://sigplan.org/Resources/Policies/Republication/), and authors
105+
should be aware of ACM’s policies on plagiarism
106+
(https://www.acm.org/publications/policies/plagiarism). Program
107+
Committee members are allowed to submit papers, but their papers will
108+
be held to a higher standard.
109+
110+
Papers must be submitted online via HotCRP at:
111+
https://erlang2026.hotcrp.com
112+
113+
Lightning talks can be submitted via the workshop form:
114+
https://forms.gle/DHcVwEYVkusxfCA19
115+
116+
### Formatting
117+
118+
Submitted papers should be in portable document format (PDF),
119+
formatted using the ACM SIGPLAN style guidelines. Authors should use
120+
the `acmart` format, with the `sigplan` sub-format for ACM
121+
proceedings. For details, see:
122+
123+
http://www.sigplan.org/Resources/Author/#acmart-format
124+
125+
It is recommended to use the `review` option when submitting a paper;
126+
this option enables line numbers for easy reference in reviews.
127+
128+
### Supplementary material
129+
130+
Authors have the option to attach supplementary material to a
131+
submission, on the understanding that reviewers may choose not to look
132+
at it. This supplementary material should not be submitted as part of
133+
the main document; instead, it should be uploaded as a separate PDF
134+
document or tarball.
135+
136+
Supplementary material should be uploaded at submission time, not by
137+
providing a URL in the paper that points to an external repository.
138+
139+
### Artifacts
140+
141+
Authors of accepted papers are encouraged to make auxiliary material
142+
(artifacts like source code, test data, etc.) available with their
143+
paper. They can opt to have these artifacts published alongside their
144+
paper in the ACM Digital Library (copyright of artifacts remains with
145+
the authors).
146+
147+
If an accepted paper’s artifacts are made permanently available for
148+
retrieval in a publicly accessible archival repository like the ACM
149+
Digital Library, that paper qualifies for an Artifacts Available badge
150+
(https://www.acm.org/publications/policies/artifact-review-badging#available).
151+
Applications for such a badge can be made after paper acceptance and
152+
will be reviewed by the PC co-chairs.
153+
154+
## Proceedings
155+
156+
As with previous years, the accepted workshop papers will be published
157+
by the ACM and will appear in the ACM Digital Library.
158+
159+
160+
AUTHORS TAKE NOTE:
161+
The official publication date is the date the proceedings are made available
162+
in the ACM Digital Library. This date may be up to two weeks prior to the first
163+
day of your conference. The official publication date affects the deadline for
164+
any patent filings related to published work.
165+
166+
For more information, please see ACM Copyright Policy
167+
(http://www.acm.org/publications/policies/copyright-policy) and ACM
168+
Author Rights (http://authors.acm.org/main.html).
169+
170+
Accepted lightning talks will be posted on the workshop's website but
171+
not formally published in the proceedings.

‎_announce/2026-04-08-propl_2026.txt‎

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
---
2+
title: "[PROPL'26] Call for Participation and Papers"
3+
timestamp: "4/8/2026 15:51:40"
4+
deadline: "4/24/2026"
5+
---
6+
**Call for Participation and Papers: Programming for the Planet (PROPL) 2026**
7+
8+
There are simultaneous interlinked crises across the planet due to human actions: climate change, biodiversity loss, and desertification (collectively, a crisis in climate health). Assessing progress on these complex and interlocking issues requires a global view on the effectiveness of our adaptations and mitigations. To succeed in the coming decades, we need a wealth of new data about our natural environment that we rapidly process into accurate indicators, with sufficient trust in the resulting insights to support interventions that affect the lives of billions of people worldwide.
9+
10+
Previous editions of PROPL (PROPL 2024: https://popl24.sigplan.org/home/propl-2024, PROPL 2025: https://conf.researchr.org/home/icfp-splash-2025/propl-2025) have investigated the state of practice in this area while also eliciting ambitious visions for future computational systems designed to support collaborative climate analysis, modeling, forecasting, policy, and diplomacy. Inspired by the lively discussions around these future visions in previous years, PROPL 2026 will be more focused, operating as an open working meeting where we elicit requirements and propose a coherent set of technical approaches for a next-generation planetary compute engine, i.e. a large-scale “live computational commons” where all sorts of humans, working together when appropriate with safely sandboxed AI systems:
11+
* collect and process billions of observations about the state of the planet, with new data being ingested continuously
12+
* feed this data into live computations, including data analyses and simulations
13+
* present the results of these computations in formats that are comprehensible and actionable in the real world
14+
15+
**Participation**
16+
This 3rd “Action PROPL” now invites anyone with an interest in helping research, design and implement a next-generation planetary compute engine to attend and actively participate in the workshop, including climate science and biodiversity practitioners and researchers and engineers with expertise in programming systems. In each topical session, the organizers will begin with a brief orienting presentation, then ask audience members to contribute notes and ideas to a “living document” before engaging in an active discussion. If you’re interested in the topic of planetary health, but feel like your research doesn’t fit, then we encourage you to come along and we will try to figure it out with you!
17+
18+
**Submissions**
19+
We are soliciting 1-page position papers, or even shorter notes, to help seed and steer the discussion on any of the topics listed on the PROPL’26 webpage (https://pldi26.sigplan.org/home/propl-2026) or any other topics that you think it would be important to discuss. If you have a position paper to contribute, please email it to propl2026-organizers@googlegroups.com. Position papers will be lightly reviewed and posted publicly on the workshop webpage in advance of the event. If you cannot attend, but would like to participate asynchronously, then we encourage you to submit a note to make us aware of your interest. Novelty is not a requirement in either case!
20+
21+
Submission deadline: April 24, 2026 (updated)
22+
23+
Workshop website (CFP + relevant topics + updates): https://pldi26.sigplan.org/home/propl-2026
24+
25+
Distributed by the PLDI'26 Publicity Chairs on behalf of the PROPL’26 Organizers.

‎_announce/2026-04-13-dramsec_2026.txt‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
---
2+
title: "Call for Papers: The Sixth Workshop on DRAM Security (DRAMSec) co-located with ISCA 2026 in Raleigh, USA, June 28, 2026"
3+
timestamp: "4/13/2026 10:03:59"
4+
deadline: "5/5/2026"
5+
---
6+
We’re soliciting papers on attacks and defenses on current and future DRAM technologies. We also welcome experimental papers describing tools and methodologies for testing DRAM security. We’ll favor papers that bring new insights, debunk previously held beliefs, revisit assumptions, present new attacks and defenses, replicate prior art, or put forward controversial points of view. We will also consider position papers, especially from the industry, that outline design and process challenges affecting DRAM security or describe state-of-the-art DRAM defenses.
7+
8+
>> Submission deadline: May 5, 2026 (AOE): https://dramsec.ethz.ch/cfp.html
9+
DRAMSec 2026 website: https://dramsec.ethz.ch/
10+
11+
Workshop chairs: Yuval Yarom (Ruhr University Bochum), Steven Woo (Rambus Inc.)
12+
Submissions and Web Chairs: Nisa Bostancı (ETH Zurich)
13+

‎_announce/2026-04-13-plsss_2026.txt‎

Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
---
2+
title: "Call for applications for the first Summer School on Programming Languages, Logic, and Software Security"
3+
timestamp: "4/13/2026 0:58:18"
4+
start: "8/10/2026"
5+
end: "8/14/2026"
6+
---
7+
Applications are now open for the first Summer School on Programming Languages, Logic, and Software Security, to be held August 10–14, 2026 in Aarhus, Denmark.
8+
9+
The summer school offers intensive courses by leading researchers covering foundational and applied topics at the intersection of programming languages, formal methods, and software security. It is aimed at PhD students and advanced B.Sc./M.Sc. students active in the areas of programming languages, logic, semantics, and software security.
10+
11+
Dates: August 10–14, 2026
12+
Venue: Aarhus University (INCUBA Katrinebjerg), Aarhus, Denmark
13+
Webpage: [https://conferences.au.dk/pls](https://conferences.au.dk/pls)
14+
15+
Application deadline: May 15, 2026
16+
17+
Courses and Speakers:
18+
19+
Bas Spitters: The Rocq proof assistant and Gen-AI Tools for Formalization of Mathematics
20+
Lars Birkedal and Amin Timany: Higher-Order Concurrent Separation Logic
21+
Daniel Gratzer: Introduction to Type Theory
22+
Aslan Askarov: Language-Based Security
23+
Anders Møller: Static Program Analysis
24+
25+
26+
To apply, please visit [https://conferences.au.dk/pls/application](https://conferences.au.dk/pls/application). Applicants should submit a CV and a motivation letter. A reference letter is additionally required for students. Applicants wishing to be considered for financial support should indicate this in their application and include a short text explaining their need.
27+
28+
Decisions will be communicated in late May.
29+
30+
For questions, please contact: timany@cs.au.dk
31+
32+
We look forward to welcoming everyone to Aarhus!

0 commit comments

Comments
 (0)