APLAS 2026 SRC and Posters: Call for Papers (Wenjia Ye)
Wenjia <[email protected]> Sat, 30 May 2026 19:09:14 +0800
| Newsgroups | gmane.comp.lang.caml.inria |
|---|---|
| Message-ID | <[email protected]> |
--Apple-Mail=_899FBE83-1DC7-45B5-8F7B-E08A3A681412 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii 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=3Daplas2026srcposters= --Apple-Mail=_899FBE83-1DC7-45B5-8F7B-E08A3A681412 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii <html><head><meta http-equiv=3D"content-type" content=3D"text/html; = charset=3Dus-ascii"></head><body style=3D"overflow-wrap: break-word; = -webkit-nbsp-mode: space; line-break: after-white-space;">APLAS is of = broad interest to the programming languages and TYPES = communities,<br>including students working on type systems, type theory, = formal semantics,<br>program analysis, verification, and related = areas.<br><br>CALL FOR PAPERS<br><br>APLAS 2026 Student Research = Competition and Posters<br>Co-located with APLAS & ATVA = 2026<br>December 1-5, 2026<br><br>The APLAS 2026 SRC and Posters track = invites submissions for its Student<br>Research Competition (SRC) and = Posters track. This track provides an<br>interactive forum for = researchers, practitioners, and students to present<br>work in progress, = early-stage research, fresh ideas, and recent practical<br>systems or = tool developments.<br><br>The track has two categories:<br><br>1. = Student Research Competition (SRC)<br>Open to undergraduate and graduate = students. Entrants will present their<br>work during the poster session. = Selected finalists will then give a<br>presentation to compete for = first, second, and third-place prizes.<br><br>2. Posters<br>Open to = non-students, or students who do not wish to compete in the = SRC.<br>Authors will present their work alongside SRC entrants during = the main<br>poster session.<br><br>Submissions should fall within the = scope of APLAS, including programming<br>languages and related = areas.<br><br>Important Dates, AoE (UTC-12h)<br><br>- Submission = deadline for extended abstracts: August 22, 2026<br>- Notification: = September 26, 2026<br>- Submission deadline for posters and revised = extended abstracts: November 7, 2026<br><br>Submission = information:<br><br>Extended abstracts should be formatted using the = acmart LaTeX template with<br>the options sigplan and review enabled, be = no longer than 3 pages excluding<br>bibliography, and be submitted in = PDF format via EasyChair.<br><br>For SRC submissions, the student should = be the sole author. However, on the<br>EasyChair submission, supervisors = should be listed as authors after the<br>student, so that reviewers and = judges can identify conflicts of interest.<br><br>CFP:<br><a = href=3D"https://conf.researchr.org/track/aplas-atva-2026/aplas-2026-src-po= sters">https://conf.researchr.org/track/aplas-atva-2026/aplas-2026-src-pos= ters</a><br><br>Submission link:<br><a = href=3D"https://easychair.org/my/conference?conf=3Daplas2026srcposters">ht= tps://easychair.org/my/conference?conf=3Daplas2026srcposters</a></body></h= tml>= --Apple-Mail=_899FBE83-1DC7-45B5-8F7B-E08A3A681412--