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