Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Wenjia <wenjiaye96@gmail.com>
To: caml-list@inria.fr
Subject: [Caml-list] APLAS 2026 SRC and Posters: Call for Papers (Wenjia Ye)
Date: Sat, 30 May 2026 19:09:14 +0800	[thread overview]
Message-ID: <FB5C8155-2C0D-4F57-8B8F-D0AFFACB92E4@gmail.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 2083 bytes --]

APLAS is of broad interest to the programming languages and TYPES communities,
including students working on type systems, type theory, formal semantics,
program analysis, verification, and related areas.

CALL FOR PAPERS

APLAS 2026 Student Research Competition and Posters
Co-located with APLAS & ATVA 2026
December 1-5, 2026

The APLAS 2026 SRC and Posters track invites submissions for its Student
Research Competition (SRC) and Posters track. This track provides an
interactive forum for researchers, practitioners, and students to present
work in progress, early-stage research, fresh ideas, and recent practical
systems or tool developments.

The track has two categories:

1. Student Research Competition (SRC)
Open to undergraduate and graduate students. Entrants will present their
work during the poster session. Selected finalists will then give a
presentation to compete for first, second, and third-place prizes.

2. Posters
Open to non-students, or students who do not wish to compete in the SRC.
Authors will present their work alongside SRC entrants during the main
poster session.

Submissions should fall within the scope of APLAS, including programming
languages and related areas.

Important Dates, AoE (UTC-12h)

- Submission deadline for extended abstracts: August 22, 2026
- Notification: September 26, 2026
- Submission deadline for posters and revised extended abstracts: November 7, 2026

Submission information:

Extended abstracts should be formatted using the acmart LaTeX template with
the options sigplan and review enabled, be no longer than 3 pages excluding
bibliography, and be submitted in PDF format via EasyChair.

For SRC submissions, the student should be the sole author. However, on the
EasyChair submission, supervisors should be listed as authors after the
student, so that reviewers and judges can identify conflicts of interest.

CFP:
https://conf.researchr.org/track/aplas-atva-2026/aplas-2026-src-posters

Submission link:
https://easychair.org/my/conference?conf=aplas2026srcposters

[-- Attachment #2: Type: text/html, Size: 2551 bytes --]

                 reply	other threads:[~2026-05-30 11:09 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=FB5C8155-2C0D-4F57-8B8F-D0AFFACB92E4@gmail.com \
    --to=wenjiaye96@gmail.com \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox