2026-08-26

[Caml-list] TFPIE 2027 Call for Papers (March 2027, Kyoto, Japan)

-------------------------------------------------------
Call for Papers
TFPIE 2027: The 16th International Workshop on
Trends in Functional Programming in Education
March 12th 2027, Kyoto, Japan, co-located with TFP 2027
https://wiki.tfpie.science.ru.nl/TFPIE2027
-------------------------------------------------------

## Topics

TFPIE welcomes submissions describing classroom techniques, classroom tools, and creative uses of functional programming (FP) to aid education in or outside computer science. Topics of interest include, but are not limited to:

* FP at different levels (high school, first-year and advanced undergraduate, graduate)
* FP and the arts (incl. music, animation, games, philosophy and other liberal arts)
* FP and applications (in computer science, robotics, artificial intelligence, etc.)
* FP and pedagogy (incl., e.g., computational thinking, e-learning, automated assessment)
* FP for building student engagement in research

In addition to papers, we invite best-lecture presentations. These are an opportunity to share your favorite classroom moments. Show us your favorite material or favorite way of presenting it. For best-lecture presentations, please submit a short abstract describing the lecture and its interest to TFPIE attendees.

## Submission Instructions

Submission is via EasyChair:

https://easychair.org/my/conference?conf=tfpie2027

Authors of papers have the choice of having their contributions formally reviewed either before or after the workshop. Further, pre-workshop submissions may either be full (earlier deadline) or draft papers (later deadline). See below for more details.

Accepted papers from the pre-workshop and post-workshop formal review will appear in a formal proceedings, published in the Electronic Proceedings in Theoretical Computer Science (EPTCS).

Reviewing is single-blind.

### Pre-workshop formal review

Papers to be formally reviewed before the workshop should be submitted before the early deadline and will receive their reviews and notification of acceptance for both presentation and publication before the workshop. A paper that has been rejected for publication but accepted for presentation may be revised and resubmitted for the post-workshop formal review. A paper that has been rejected for presentation will not be formally reviewed by the PC.

### Post-workshop formal review

Draft papers will receive minimal reviews and notification of acceptance for presentation at the workshop. Authors of draft papers will be invited to submit revised papers based on the feedback received at the workshop. A post-workshop refereeing process will then select a subset of these papers for formal publication.

### Formatting requirements

Papers must be written in English, and formatted using the EPTCS style (https://style.eptcs.org/). Papers submitted for formal review must be submitted as full papers (7-20 pages). Draft papers may be submitted as extended abstracts (4-6 pages) or full papers (7-20 pages). The page limits do not include bibliography. For best-lecture presentations, we also accept short abstracts.

If you wish to make a submission outside the above formats, please contact the PC chair to discuss. Because TFPIE aims to encourage creative and experimental research ideas, we may be able to accommodate some non-traditional submissions on a case-by-case basis.

## Important Dates

All deadlines are Anywhere-on-Earth.

* Submission deadline (pre-workshop full papers): November 19, 2026
* Notification (pre-workshop full papers): December 17, 2026
* Submission deadline (pre-workshop draft papers): February 4, 2027
* Notification (pre-workshop draft papers): February 11, 2027
* Submission deadline (post-workshop review): April 8, 2027
* Notification (post-workshop review): May 12, 2027

## Program Committee

* Youyou Cong (chair) - Institute of Science Tokyo, Japan
* Hsiang-Shang 'Josh' Ko - Academia Sinica, Taiwan
* Jens Mönig - SAP, Germany
* Paige Randall North - Utrecht University, Netherlands
* Liam O'Connor - Australian National University, Australia
* Joe Gibbs Politz - University of California at San Diego, USA
* Katsuhiro Ueno - Niigata University, Japan

2026-08-05

[Caml-list] LPAR-26: Call for Short Presentation Papers

****************************************************************************** The 26th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-26) will be held on Spetses Island, Greece, 25-30 October 2026. See www.LPAR-26.info CALL FOR SHORT PRESENTATION PAPERS The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aimed at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications. LPAR's slogan is "To boldly go where no reasonable conference has gone before". LPAR brings first class research and researchers to interesting places, and exposes the conference attendees to interesting cultures. True to LPAR form, there is a separate track for short presentation papers. You can submit short presentation papers at any time up to the deadline and accept/reject decisions are made by PC chairs with a short turnaround. Short presentation papers are published in Kalpa Publications, see http://www.easychair.org/publications/Kalpa. The LaTeX and Microsoft Word templates for the Kalpa series can be downloaded from http://www.easychair.org/publications/for_authors. There is no strict page limit on short presentation papers, but apply reasonable judgement. Short paper presentations themselves will be short. Authors of accepted short papers are required to ensure that at least one of them will be present at the conference. Papers that do not adhere to this policy will not be published. Submit at: https://easychair.org/conferences/?conf=lpar2026 Paper submission deadline: 17th August 2026 Notification of acceptance: 3rd September 2026 Final version: 17th September 2026 ******************************************************************************

[Caml-list] [CFP] ICNC 2027 Call for Papers

CALL FOR PAPERS

2027 International Conference on Computing, Networking and Communication (ICNC 2027)

February 15-18, 2027

Honolulu, Hawaii

http://www.conf-icnc.org/2027/

International Conference on Computing, Networking and Communications (ICNC), Sponsored by IEEE and Technology Innovation Association, is a premier conference in the computer and communication fields. ICNC 2027 is to be held in Honolulu, Hawaii between February 15-18, 2027. We invite you to submit your technical papers to the following areas:

  • AI and Applications
  • AI and Machine Learning for Communications and Networking (AMCN)
  • Communications and Information Security (CIS)
  • Edge Computing, Cloud Computing and Big Data (ECB)
  • Mobile and Wireless Networking (MWN)
  • Multimedia Computing and Communications (MCC)
  • Next Generation Networks and Internet Applications (NGNI)
  • Network Algorithms and Performance Evaluations (NAPE)
  • Optical and Grid Networking (OGN)
  • Quantum Networking and AI for Computing & Control (QNACC)
  • Signal Processing for Communications (SPC)
  • Social Computing and Data Mining (SCDM)
  • Wireless Ad Hoc and Sensor Networks (WASN)
  • Wireless Communications (WC)

The manuscripts are required to follow the standard IEEE camera-ready format (double column, 10-pt font) as well as the requirement set by EDAS paper submission system. The maximum length of ICNC paper without over-length charge is FIVE (5) pages. The authors are allowed to pay for up to TWO (2) additional pages with over length charge. Submitted papers must not have been previously published in or under consideration for publication in another journal or conference. The organizing committee of ICNC 2027 reserves the right to not review papers that either exceed the length specification or have been submitted or published elsewhere. Submissions must include title, abstract, keywords, author and affiliation with email address.

All submitted papers will be reviewed by the TPC team and judged on originality, technical correctness, relevance and quality of presentation. An accepted paper must be presented at the conference. Each full registration covers up to two papers by an author. All accepted papers of ICNC (main program and workshops), after being presented onsite at the conference, will be included in the proceedings.

Important Dates:

Paper submission: August 15, 2026
Paper Acceptance: November 15, 2026
Camera-ready paper: November 30, 2026

2026-06-15

[Caml-list] VSTTE 2026: Second Call for Papers and WIP Presentations

VSTTE 2026: Second Call for Papers and WIP Presentations

18th International Conference on Verified Software: Theories, Tools, and Experiments

14 September, 2026, Graz, Austria

Co-located with Formal Methods in Computer-Aided Design 2026 (FMCAD 2026)



Key Information


Important Dates:

Abstract submission: July 10th, 2026 AoE  July 17th, 2026 AoE
Paper submission: July 17th, 2026 AoE July 24th, 2026 AoE (firm, no further extensions)
Notification of acceptance: August 22nd, 2026 AoE (tentative)*
Final pre-conference paper submission (optional): September 2nd, 2026 AoE (tentative)
Camera-ready for papers included in post-conference proceedings: October 23, 2026 (tentative)

* Authors of accepted papers at VSTTE 2026 will be able to register at early-bird rates for FMCAD/VSTTE.


Paper Submissions:

VSTTE 2026 accepts both long (limited to 16 pages, excluding references) and
short (limited to 10 pages, excluding references) paper submissions. Short
submissions also cover “verification pearls” describing an elegant proof or
proof technique. Submitted research papers and system descriptions must be
original and not submitted for publication elsewhere.

Papers must be submitted via EasyChair at the VSTTE 2026 conference submission

The use of LaTeX and the Springer LNCS class files is strongly encouraged.

Submissions that are not in the proper format or are too long will not be considered.

Accepted regular-track papers will be included in the post-conference
proceedings of VSTTE 2026, which will be published as a LNCS volume by
Springer Verlag. Authors of those papers will have to transfer copyright of
their contribution to Springer Verlag.


Invited speakers
Invited tutorial

2026-06-10

[Caml-list] POPL 2027 Call for Workshops

POPL 2027 Call for Workshops
Sun 10 - Sat 16 January 2027
Mexico City, Mexico
https://popl27.sigplan.org/
=============================

Submission details

Deadline for submission: 24 July 2026

Notification of acceptance: 4 August 2026

A workshop proposal should provide the following information:

- Name of the workshop.
- A short description (150-200 words) of the workshop.
- Call for submissions.
- Duration of the workshop.
- Whether the workshop will be Conference-approved or SIGPLAN-approved (see below).
- Organizers: names, affiliation, contact information, brief (100 words) biography.
- Event format: workshop; type of submissions if any; review process; results dissemination.
- Expected attendance and target audience.
- Potential PC members - please do not contact them before the workshop is approved.
- History of the workshop.
- Plans for remote participation.

Please submit your proposals at
https://popl27.sigplan.org/track/POPL-2027-workshops-and-co-located-events

---------------------------------------------------------------------

SIGPLAN Sponsorship

POPL co-located events are sponsored by SIGPLAN (http://sigplan.org/).
There are two kinds of co-located events: Conference-approved (no
proceedings) and SIGPLAN-approved (proceedings in the ACM Digital
Library). See http://www.sigplan.org/Resources/Guidelines/Workshops/
for more information, including a full listing of prescriptions for
Conference-approved and SIGPLAN-approved workshops.

SIGPLAN-approved workshops must respect the SIGPLAN Diversity Policy.
Proposals for SIGPLAN-approved workshops must additionally include the
gender, country of affiliation, and professional status of potential
PC members. See https://www.sigplan.org/Resources/Policies/Diversity/
for more details.

---------------------------------------------------------------------

Selection committee

All submissions will be evaluated by a committee comprising the
workshops co-chairs, the general chair, and the program chair.

---------------------------------------------------------------------

Further information

Any questions regarding POPL 2027 co-located event proposals should be
addressed to the workshops chairs, Aws Albarghouthi (aws@cs.wisc.edu)
and Alan Schmitt (alan.schmitt@inria.fr).

2026-06-01

[Caml-list] PERR 2026 @ CAV/FLOC: Call for Participation

======================================================================
                        CALL FOR PARTICIPATION
       6th Workshop on Program Equivalence and Relational Reasoning
                24 July 2026 at ISCTE campus, Lisbon, Portugal
                  associated with CAV 2026 at FLOC 2026
                   https://perr-workshop.github.io/2026

======================================================================

PERR is an annual international workshop dedicated to the formal verification of program equivalence and related relational problems. It is the 6th in a series of meetings that bring together researchers from different areas interested in equivalence and related questions. PERR 2026 will be a workshop at FLOC 2026, and a satellite event to CAV 2026.

REGISTRATION

You can register for PERR 2026 here:


INVITED TALKS

- Cynthia Kop, Radboud Univeristy Nijmegen
- Thibault Dardinier, New York University

ACCEPTED PAPERS

- Differential Verification of Neural Networks: Theory and Applications by Samuel Teuber and Philipp Kern
- Interaction Equivalence by Beniamino Accattoli, Adrienne Lancelot, Giulio Manzonetto and Gabriele Vanoni
- Process Equivalence Checking as Abstract Interpretation by Benjamin Bisping
- Proving Program Equivalence in Dafny by Nathaniel Victor, Dragana Milovancevic and Sophia Drossopoulou
- Refuting Equivalence in Probabilistic Programs with Conditioning by Krishnendu Chatterjee, Ehsan - Kafshdar Goharshady, Petr Novotný and Đorđe Žikelić
- Semantic Foundations for the Static Analysis of Program Revisions by Dakota Bryan and Bor-Yuh Evan Chang
- Semantically Descriptive Similarity by Oskar Hovmøller Dinesen and Christian Gram Kalhauge

PROGRAM COMMITTEE

Dragana Milovancevic (Co-chair), Imperial College London, UK
Mattias Ulbrich (Co-chair), Karlsruhe Institute of Technology, Germany
Andrzej Murawski, University of Oxford, UK
Carsten Fuhs, Birkbeck University of London, UK
Denys Shabalin, Google, Switzerland
Nikos Tzevelekos, Queen Mary University of London, UK
Ofer Strichman, Technion, Israel
Soumyadip Bandyopadhyay, ABB Corporate Research, India
Vasileios Koutavas, Trinity College Dublin, Ireland

2026-05-30

[Caml-list] APLAS 2026 SRC and Posters: Call for Papers (Wenjia Ye)

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