2025-12-23

[Caml-list] Attn: Development Editor, Latest OCaml Weekly News

OCaml Weekly News

Previous Week Up Next Week

Hello

Here is the latest OCaml Weekly News, for the week of December 16 to 23, 2025.

Camp, the Caml Amp

Archive: https://inbox.ci.dev/caml-list/B7852825-335E-4F3F-87C0-7D10F14090DA@mpi-sws.org/

Andreas Rossberg announced

Happy to share "Camp", the Caml Amp — an old-school music player heavily inspired by good old Winamp, with a focus on decent music library and playlist handling.

I was fed up with Winamp being dead and lacking features I wanted, so I went into full-on nerd mode and implemented my own opinionated replacement, all in OCaml using the Raylib library:

https://mpi-sws.org/~rossberg/camp/

If you have not yet been sucked in by the streaming cartels, you might find it useful.

  • Runs on Windows, Mac, and Linux
  • Support for WAV, FLAC, MP3, OGG, QOA, MOD, and XM
  • Advanced music library management with many browse and search features
  • Elaborate playlist manipulation and query-based "smart" playlists
  • Animated user interface styled after hifi when it still looked good (no corners were rounded in the making of this app)

Enjoy, /Andreas

Ahrefs Grant Program for OCaml

Archive: https://discuss.ocaml.org/t/ahrefs-grant-program-for-ocaml/17604/1

Louis Roché announced

Ahrefs is excited to announce a new Ahrefs Grant Program for OCaml to support projects in the OCaml ecosystem. This effort comes in addition to the other sponsorships we do (such as the OCSF, the ICFP and Fun OCaml conferences, github sponsoring, and various other projects) We are allocating money to fund one or multiple initiatives that help advance OCaml and its tooling.

You can learn more about our engineering culture and opensource support work at https://ahrefs.com/tech

Call for Applications

We invite individuals, teams, and organizations working with OCaml to submit proposals for funding. Our goal is to support meaningful, practical improvements to the ecosystem, whether through new tools, libraries, infrastructure, education, or long‑term maintenance of existing projects.

Applications should be submitted through this google form.

The deadline for submissions is January 20th 2026.

What We Are Looking For

We welcome proposals that:

  • Strengthen the OCaml compiler or core libraries
  • Improve developer experience (tooling, documentation, debugging, profiling, packaging, …)
  • Expand the OCaml ecosystem through new libraries or modernization of key dependencies
  • Enhance reliability, performance, or safety of OCaml‑based systems
  • Support education, community infrastructure, or long‑term maintenance

Both small and large initiatives are welcome. We will prioritize projects that will have lasting impact and will be maintained.

The selection of proposal will necessarily be subjective and depend on our priorities and interests.

Funding

Applicants may request up to USD 50,000 in support per project. We may award a single project or distribute among several proposals.

How to Apply

Your application should follow the format below and be sent through this google form.

Please be short and to the point in your answers; focus primarily on the what and how, not so much on the why. If English isn't your first language, don't worry — our reviewers don't care about spelling errors, only about great ideas. You can be as technical as you need to be. Do stay specific.

  • 1. Contact Information
    • Name
    • Organization (if applicable)
    • Email address
    • Country
  • 2. General Project Information
    • Title
    • Abstract (up to 1200 characters) Explain the whole project and its expected outcome(s).
    • Yourself or the team (2500 characters) Who is participating? Have you been involved with similar or related projects? Please provide background information and describe your past contributions.
    • Website (if any)
    • License Under which license will the project be distributed? It must be an open source license.
  • 3. Requested Support
    • Requested Amount (up to USD 50,000)
    • Budget and Breakdown (up to 2500 characters) Explain what the budget will be used for. Are there other funding sources? Include a breakdown of tasks, estimated effort, and explicit rates.
    • Describe your project and its technical challenges (up to 5000 characters) What are significant technical challenges you expect to solve during the project, if any? Compare your own project with existing or historical efforts. E.g. what is new, more thorough or otherwise different.
    • Ecosystem and Outreach (up to 1200 characters) Describe the project ecosystem and how you will engage with relevant actors or promote the adoption.

Questions

If you have questions prior to submitting an application, feel free to reach out at grants@ahrefs.com.

We look forward to support the work that will move the OCaml ecosystem forward.

Call for Contributions: Caml in the Capital (Feb 26)

Archive: https://discuss.ocaml.org/t/call-for-contributions-caml-in-the-capital-feb-26/17606/1

"Alistair O'Brien announced

Hey all 👋,

A quick follow-up on Caml in the Capital: the first meetup is now confirmed 🎉.

When: Thursday 26th February 2026, 6:30-8:30pm

Where: Imperial College London, Flowers Building

Thanks to everyone who helped settle on a date!

Call for contributions

We're still looking for presenters! Talks are workshop-style: anything from an accessible introduction of your work or research, a deep dive into your library, a live demo, or a tutorial.

If you'd like to give a talk, please message me or @giltho directly with:

  • A title
  • Short abstract
  • Expected time slot

Deadline: 1st February 2026

We've set a deadline so we have enough time to finalize the programme and handle the practical organisation (room setup, schedule, announcements, etc.).

Call for participation

You're very welcome to attend even if you're not presenting. If you plan to attend, please register here.

Many thanks to Imperial College for hosting us and OCaml Software Foundation for funding us!! :raised_hands:

Alistair & Sacha

Sacha Ayoun later added

If there are any additional questions on registration, organisation, logistics, feel free to ask questions in this thread, or in the [dedicated Zulip channel]( https://ocaml.zulipchat.com/#narrow/channel/553375-Caml-In-The-Capital) 🙂

Dream – looking for maintainers to take ownership

Archive: https://discuss.ocaml.org/t/dream-looking-for-maintainers-to-take-ownership/17607/1

Anton Bachin announced

Dream, the Web framework, is looking for a maintenance team!

I originally wrote Dream in 2021, and actively maintained it for several years. It has gotten many great contributions from other authors since its first release, for which I am very grateful!

At the present time, I am no longer in a position to sustainably maintain Dream. I'd like to yield it to one or several maintainers, who would have the ability to pursue their vision, bring their ideas, credibly seek funding for work that substantially affects it, and cite it on their resume or elsewhere. In other words, to take ownership of it. I would stay on in an advisory role, to transfer knowledge, help negotiate, and assist in various ways, as a volunteer.

We've already been having Dream community development meetings over on Discord since August, which have been very helpful. Last month, I transferred Dream to an org on GitHub. It's ready for the next step :slight_smile:

Dream has a very large amount of interesting work to do. The original motivation was not only to create a modern, highly ergonomic Web framework in a minimal sense, but to do a whole tour through the OCaml Web development ecosystem and address every other place where a major library is missing, or where quality of life can be improved. See the roadmap for some of the many ideas.

In fact, we had started working on this back in 2022 with a small team of people, and created an OAuth library. That enterprise was unfortunately terminated by events outside our control, and the logical step now is for me to yield control of Dream itself to a differently structured team, for its natural development :slight_smile:

If you're interested, please DM me here on Discuss! If you have such, please link your projects related to Web development, or where you have been a maintainer. Let me know if you're a user of Dream, and what you'd like to see in Web development in OCaml.

Thank you!

QCheck 0.90: The Great Renaming

Archive: https://discuss.ocaml.org/t/ann-qcheck-0-90-the-great-renaming/17613/1

Jan Midtgaard announced

It is my pleasure to announce release 0.90 of the QCheck packages. QCheck is an OCaml library for randomized property-based testing in the style of Haskell's QuickCheck.

https://github.com/c-cube/qcheck/releases/tag/v0.90

It has been over 12 years and 40 releases since @c-cube released version 0.1 back in October 2013. Over this period QCheck has grown organically

  • with new combinators on a "by-need" basis and
  • with a separate QCheck2 module offering generators with integrated shrinking.

This has unfortunately resulted in a bit of a naming mess with inconsistent generator names. For example, the (now deprecated) small_int combinator will generate only small non-negative numbers, and a combinator for generating positive integers uniformly is named either pint or pos_int across different QCheck modules.

The 0.90 release thus takes on a cleanup under the heading "The Great Renaming". To guide the renaming process, we have assembled a list of hard-learned naming principles:

  • Generator names should align with type names (bool, char, … list, option) to be as predictable as possible
  • We should have short, unparameterized generators (int, string, …) to lower the barrier to entry
  • Specialized generators also start with the type name, but use a consistent suffix (_pos, _neg, _size, _of, …) to help find them, e.g., with tab-completion
  • We may include a few shorthand names for convenience (e.g., nat)
  • Overall we aim to be as consistent as possible, e.g., offering similar signatures across generator interfaces (QCheck.Gen, QCheck.arbitrary, and QCheck2.Gen)

The 0.90 release thus both

  • introduces a range of new (and hopefully more consistent) combinator names and
  • deprecates a sizable number of old, inconsistent combinator names

The deprecated combinators have been annotated with @@deprecated attributes.

Rather than let a couple more years pass with an even bigger and more confusing name pool, we are using this opportunity to prepare a long overdue 1.0.0 release, where we will remove the old, deprecated combinator names.

We understand that updating existing tests to the new names takes some effort, but appeal to users that this should be a one-time investment to

  • offer more consistent and easier to recall combinator names and simultaneously
  • let us clean up QCheck tech debt and address a long-time pain point.

The changes are summarized in a record-long CHANGELOG section for the release:

https://github.com/c-cube/qcheck/blob/v0.90/CHANGELOG.md

and c-cube/qcheck#366 provides a run down of the renaming process.

For more details, see the following list of PRs:

Finally, on behalf of the maintainers I would like to thank

  • the various folks contributing to QCheck over the past 12 years and
  • the OCaml Software Foundation for financially supporting the work on these past three releases.

Merry Christmas and happy testing! :evergreen_tree: :wrapped_gift:

Old CWN

If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.

If you also wish to receive it every week by mail, you may subscribe to the caml-list.

Posted by at No comments:

2025-12-16

[Caml-list] Attn: Development Editor, Latest OCaml Weekly News

OCaml Weekly News

Previous Week Up Next Week

Hello

Here is the latest OCaml Weekly News, for the week of December 09 to 16, 2025.

Software Engineer (OCaml) – LexiFi, Paris

Archive: https://discuss.ocaml.org/t/job-software-engineer-ocaml-lexifi-paris/17586/1

Alain Frisch announced

Hi all,

LexiFi is looking for a Software Engineer to join our development team in Paris. The work is primarily in OCaml, contributing to our codebase across core components, tooling, and product features.

If you're interested in working on a large, long-lived OCaml system used in production by financial institutions, you can find the full job description here: https://www.lexifi.com/careers/software_engineer/

Happy to answer any questions!

Opam repository archival, next run (scheduled 2026-01-01)

Archive: https://discuss.ocaml.org/t/opam-repository-archival-next-run-scheduled-2026-01-01/17587/1

Hannes Mehnert announced

Dear everyone,

we did another run of the archival based on the x-maintenance-intent of opam packages. The run was using opam-repository at commit d684c896eb6f7e6030d6ee65338d9db22a612f01 (Dec 9th, 20:00:00 CET).

The tool used is maintenance-intent-filter with opam 2.5 and OCaml 5.4. It took around 1GB of memory and around 100h of CPU time (donations welcome).

In total, 4510 packages were candidates, out of which 3361 are scheduled for archival.

Testing

To test whether your CI / lock / environment will be affected by the removal of packages, you can create a fresh opam switch and use the opam-repository from the branch: 

  $ opam repository add archival-20260101 https://github.com/hannesm/opam-repository.git#archival-20260101  $ opam switch create archival-20260101  --repositories archival-20260101  $ eval `opam env`

Alternatively, in CI systems you can do temporarily for testing: 

  $ opam repo set-url default https://github.com/hannesm/opam-repository.git#archival-20260101

Reverting archival

If you want to preserve a package, please don't hesitate to comment on the issue https://github.com/ocaml/opam-repository/pull/29058

It is important that you include the package name and its version, as well as where it is used (preferably a URL), and a contact (email address).

Editor's note: please follow the archive link for the list of packages to be archived.

blame, a simple webapp as an unikernel

Archive: https://discuss.ocaml.org/t/ann-blame-a-simple-webapp-as-an-unikernel/17588/1

Calascibetta Romain announced

I am pleased to announce the development of blame, a unikernel that provides a search engine in the form of a web interface based on an email archive.

This work is sponsored by NLnet as part of our PTT project. For more details on the unikernel, our archive system, and our search engine, we recommend reading our article available here. This project is the synthesis of several projects on the subject:

  • mrmime to parse/encode emails
  • carton to archive emails
  • stem to search emails
  • blaze like a Swiss Army knife for manipulating emails and archives
  • and of course some of our projects like miou, utcp or vif

If you like our work, you can sponsor us via GitHub or by following the instructions available here. Thank you to everyone who has participated in the development of these projects, whether directly or indirectly.

So, happy hacking "discriminating hackers" :) !

A new kind of knowledge-base for OCaml's doc

Archive: https://discuss.ocaml.org/t/a-new-kind-of-knowledge-base-for-ocamls-doc/17593/1

Mostafa Touny announced

Hello,

I have been following @sabine's post, https://discuss.ocaml.org/t/looking-for-maintainers-moderators-for-the-ocaml-cookbook/16497.

I really want to contribute but like any engineer, I am pressured on deadlines, which incentivizes me to ask here or in Discord. There are even wonderful books like Type Theory and Formal Proof, but I cannot allocate good time to read them.

That motivated me to think of a new mechanism, where documentations and question-answers are bridged, through Snippet project.

Someone asks a question like this. Instead of answering the question, you must contribute a self-contained paragraph, called "snippet", then cite it in the question. For example the question cites:

If some snippet gets a high number of citations, then that would be a signal to contribute it to OCaml's documentations or OCamlverse. In other words, OCaml's cookbooks will be naturally contributed as more people's questions get answered, and will be naturally certified as more people cite it!

The project is built on Dream, open-source, and CC 4.0 licensed. I'd be happy to see OCaml's maintainers self-host an instance of it in OCaml's official website. We could even design a voting mechanism to elect snippets for the official documentation.

For now, I am happy to listen to your feedback.

Serialport - new serial communication library

Archive: https://discuss.ocaml.org/t/ann-serialport-new-serial-communication-library/17594/1

Mikhail announced

Hi there!

I'm happy to announce the first release of the serialport library. The library is planned to be a cross-platform library for serial port communication in OCaml, which supports both POSIX and Windows systems. It provides synchronous and asynchronous interfaces using various I/O libraries (like Lwt and other).

The library currently only supports POSIX systems.

serialport.svg

The main motivation behind creating this project is to address the lack of a comprehensive library for managing serial port communication in different environments, as well as the lack of an intuitive API for this task. The existing OSerial library has significant limitations in terms of functionality and future development, making it unsuitable for use in modern environments.

The serial port library is most inspired by similar implementations in other languages, such as Rust's serialport and Golang's bugst/go-serial.

Usage

Typically, an example of usage is communication between a PC and an Arduino board or other devices via an old-school serial port. 

# #require "serialport.unix";;   (* #require "serialport.lwt";; *)    # let port_opts = Serialport.Port_options.make ~baud_rate:9600 ()    and port_name = "/dev/ttyUSB0" in      Serialport_unix.with_open_communication ~opts:port_opts port_name      begin fun ser_port ->        (* Get channels abstractions for high-level working with I/O without buffering. *)        let ic, oc = Serialport_unix.to_channels ser_port in        (* Wait until Arduino has been initialized. *)        Unix.sleep 2;        (* Send the message to the Arduino via the serial port. *)        Out_channel.output_string oc "Hello from PC!\n";        (* Read the response from the serial port. *)        In_channel.input_line ic      end

Enjoy it!

Windows supports

I will be implementing Windows support in the next version (coming soon).

P.S.

I would be delighted to discuss your ideas and suggestion!

Lwt.6.0.0~beta (direct-style, multi-domain parallelism)

Archive: https://discuss.ocaml.org/t/ann-lwt-6-0-0-beta-direct-style-multi-domain-parallelism/17283/8

Raphaël Proust announced

lwt.6.0.0-beta01 has been released!

With this release comes a change in the title of this thread: 

- [ANN] Lwt.6.0.0~beta (direct-style, multi-domain parallelism)  + [ANN] Lwt.6.0.0~beta (direct-style, runtime-event tracing)

This is likely the last beta before the release of Lwt.6.0.0, please test and share your feedback. The highlights are

  • (compared to previous beta) no more multidomain-multischeduler parallelism
    • it was too buggy,
    • you can still use Lwt_domain
  • (compared to previous beta) runtime-events produce a trace of execution of your lwt program for better debugging
  • (compared to Lwt.5.9) direct-style with Lwt_direct
    • you can write direct-style lwt (within a given scope)

    • e.g., you can interact with libraries that only provide iter : ('a -> unit) -> 'a -> unit such as 

      let iter_s f h =    Lwt_direct.spawn @@ fun () ->      Hashtbl.iter (fun k v -> Lwt_direct.await (f k v)) h

Once again, thanks to @c-cube for the direct-style feature which makes it possible to use Lwt in conjunction with libraries even if they don't include special amenities for it.

Thanks again for @edwin for the bug report on multi-scheduler-related failures.

Call for Participation: BOB 2026 (Berlin, Mar 13)

Archive: https://discuss.ocaml.org/t/call-for-participation-bob-2026-berlin-mar-13/17598/1

Michael Sperber announced

Finally, lots of OCaml content at BOB!

"What happens when we use what's best for a change?"

BOB conference is a place for developers, architects, and decision-makers to explore technologies beyond the mainstream in software development and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experience.

Program

The program features 16 talks and 8 tutorials on current topics.

Talk subjects includes functional programming, software architecture, formal methods, accessibility, UI programming, reactive systems, and domain-driven design.

BOB tutorial include sessions on TypeScript, OCaml, Haskell, Agda, accessibility, and reactive systems.

Stefan Kaufmann will give the keynote talk on digital sovereignty.

Registration

Registration is open - many discount options - including limited early-bird discounts - are available, as are grants for members of groups underrepresented in tech.

Old CWN

If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.

If you also wish to receive it every week by mail, you may subscribe to the caml-list.

Posted by at No comments:

2025-12-08

[Caml-list] POPL 2026 Second Call for Participation - Early registration: 12 December

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

               Call for Participation
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026)
   January 11-17, 2026, Rennes, France.
            https://popl26.sigplan.org/

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

- Early registration deadline: ** 12 December 2025 **

- Register here: https://popl26.sigplan.org/attending/registration

- The POPL program: https://popl26.sigplan.org/track/POPL-2026-popl-research-papers

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

The 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL
2026) is a forum for the discussion of all aspects of programming languages and
programming systems.

Location: le Couvent des Jacobins, 20 place Saint-Anne, 35000 Rennes, France

Dates:
- Main conference: Wed 14 - Fri 16 January
- Workshops, tutorials, co-located events: Sun 11, Mon 12, Tue 13 and Sat 17 January

Keynote Speakers:
- Damien Pous, CNRS, Medium-scale automation for proof assistants
- Caroline Trippel, Stanford University, Hardware-Software Contracts for High
       Assurance with Applications to Side-Channel Security

Organizers:
- General Chair: Sandrine Blazy, University of Rennes
- PC Chair: Suresh Jagannathan, Purdue University

Full details of the conference and co-located events: https://popl26.sigplan.org/
Posted by at No comments:

2025-10-31

[Caml-list] POPL 2026 Call for Participation - Early registration: 12 December

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

Call for Participation

ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026) 

January 11-17, 2026, Rennes, France. 


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

- Early registration deadline: ** 12 December 2025 **

- Register here: https://popl26.sigplan.org/attending/registration

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

The 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL
2026) is a forum for the discussion of all aspects of programming languages and
programming systems.

Location: le Couvent des Jacobins, 20 place Saint-Anne, 35000 Rennes, France

Dates:
- Main conference: Wed 14 - Fri 16 January
- Workshops, tutorials, co-located events: Sun 11, Mon 12, Tue 13 and Sat 17 January

Full details of the conference and co-located events: https: //popl26.sigplan.org/
Posted by at No comments:

2025-10-08

[Caml-list] PEPM 2026: Second Call for Papers

CALL FOR PAPERS
The 2026 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
https://popl26.sigplan.org/home/pepm-2026

# Important Dates, AoE, UTC-12h

Paper due    Fri 25 Oct 2025
Notification Fri 28 Nov 2025
Workshop     Tue 13 Jan 2026

# About

The ACM SIGPLAN Workshop on Partial Evaluation and
Program Manipulation (PEPM) has a history going back
to 1991 and has been held in conjunction with POPL
every year since 2006.
The origin of PEPM is in the discoveries of practically
useful automated techniques for evaluating programs
with only partial input. Over time, PEPM has broadened
its scope to include a variety of research areas centered
around semantics-based program manipulation — the systematic
exploitation of treating programs not only as subject
to black-box execution, but also as data structures
that can be generated, analyzed, and transformed while
establishing or maintaining important semantic properties.

# Scope

Topics of interest for PEPM 2026 include, but are not limited to:

* Program and model manipulation techniques such as:
  supercompilation, partial evaluation, fusion, on-the-fly
  program adaptation, active libraries, program inversion,
  slicing, symbolic execution, refactoring, decompilation,
  and obfuscation.

* Techniques that treat programs/models as data objects
  including metaprogramming, generative programming,
  embedded domain-specific languages, program synthesis by sketching
  and inductive programming, staged computation, and
  model-driven program generation and transformation.

* Program analysis techniques that are used to drive
  program/model manipulation such as: abstract interpretation,
  termination checking, binding-time analysis, constraint solving,
  type systems, automated testing and test case generation.

* Application of the above techniques including case studies
  of program manipulation in real-world (industrial, open-source)
  projects and software development processes, descriptions of
  robust tools capable of effectively handling realistic applications,
  benchmarking. Examples of application domains include legacy
  program understanding and transformation, DSL implementations,
  visual languages and end-user programming, scientific computing,
  middleware frameworks and infrastructure needed for distributed
  and web-based applications, embedded and resource-limited computation,
  and security.

* Cross-fertilization with other fields, such as semantics based and
  machine-learning based program synthesis and program optimisation, and
  modeling, analysis, and transformation techniques for distributed and
  concurrent protocols and programs, such as session types, linear types,
  and contract specifications.

This list of categories is not exhaustive, and we encourage
submissions describing new theories and applications related
to semantics-based program manipulation in general. If you have
a question as to whether a potential submission is within the
scope of the workshop, please contact the programme co-chairs,
Yukiyoshi Kameyama (kameyama at acm.org)
and Ningning Xie (ningningxie at cs.toronto.edu).

# Submission Categories and Guidelines

Three kinds of submissions will be accepted:

1. Regular Research Papers should describe new results,
  and will be judged on originality, correctness, significance,
  and clarity. Regular research papers must not exceed 12 pages.

2. Short Papers may include tool demonstrations and presentations
  of exciting if not fully polished research, and of interesting
  academic, industrial, and open-source applications that are new
  or unfamiliar. Short papers must not exceed 6 pages.

3. Talk Proposals may propose lectures about topics of interest
  for PEPM, existing work representing relevant contributions,
  or promising contributions that are not mature enough to be
  proposed as papers of the other categories. Talk Proposals
  must not exceed 2 pages.

References and appendices are not included in page limits.
Appendices may not necessarily be read by reviewers.
All the submissions should be typeset using the two-column
'sigplan' sub-format of the new 'acmart' format available at:
https://sigplan.org/Resources/Author/
and submitted electronically via HotCRP: https://pepm26.hotcrp.com

Reviewing will be single-blind.

Submissions are welcome from PC members (except the two co-chairs).

Accepted regular research papers will appear in formal proceedings
published by ACM, and be included in the ACM Digital Library.
Accepted short papers do not constitute formal publications and
will not appear in the proceedings.

At least one author of each accepted contribution must attend
the workshop (physically or virtually) to present the work.
In the case of tool demonstration papers, a live demonstration
of the described tool is expected.

## Program co-chairs

Yukiyoshi Kameyama, University of Tsukuba, Japan
Ningning Xie, University of Toronto, Canada

## PC members

Kenichi Asai, Ochanomizu University
Robert Atkey, University of Strathclyde
Stephanie Balzer, CMU
William J. Bowman, University of British Columbia
Paul Downen, University of Massachusetts, Lowell
Sebastian Erdweg, JGU Mainz
Robert Glück, University of Copenhagen
Zhenjiang Hu, Peking University
Yusuke Izawa, Tokyo Metropolitan University
Naoki Kobayashi, University of Tokyo
Geoffrey Mainland, Drexel University
Keisuke Nakano, Tohoku University
Lionel Parreaux, Hong Kong University of Science and Technology
Morten Rhiger, Roskilde University
Tom Schrijvers, KU Leuven
Guannan Wei, Tufts University
Leo White, Jane Street
Posted by at No comments:

2025-09-29

[Caml-list] TFPIE 2026 - Call for Papers

TFPIE 2026 Call for papers
https://wiki.tfpie.science.ru.nl/TFPIE2026
(January 26th 2026, Odense, Denmark, co-located with TFP 2026 at
University of Southern Denmark)

TFPIE 2026 welcomes submissions describing techniques used in the classroom,
tools used in and/or developed for the classroom and any creative use of
functional programming (FP) to aid education in or outside Computer Science.
Topics of interest include, but are not limited to:

- FP and beginning CS students
- FP and Computational Thinking
- FP and Artificial Intelligence
- FP in Robotics
- FP and Music
- Advanced FP for undergraduates
- FP in graduate education
- Engaging students in research using FP
- FP in Programming Languages
- FP in the high school curriculum
- FP as a stepping stone to other CS topics
- FP and Philosophy
- The pedagogy of teaching FP
- FP and e-learning: MOOCs, automated assessment etc.
- Best Lectures - more details below

In addition to papers, we are requesting best lecture presentations.
What's your best lecture topic in an FP related course? Do you have a
fun way to present FP concepts to novices or perhaps an especially
interesting presentation of a difficult topic? In either case, please
consider sharing it. Best lecture topics will be selected for
presentation based on a short abstract describing the lecture and its
interest to TFPIE attendees. The length of the presentation should be
comparable to that of a paper. In addition, the speaker can provide
commentary on effectiveness or student feedback.

## Submissions

Potential presenters are invited to submit an extended abstract (4-6
pages) or a draft paper (up to 20 pages) in EPTCS style. The authors
of accepted presentations will have their preprints and their slides
made available on the workshop's website.

Papers and abstracts can be submitted via easychair at the following link:

https://easychair.org/conferences/?conf=tfpie2026

After the workshop, presenters are invited to submit (a revised
version of) their article for the formal review. The PC will select
the best articles for publication in the Electronic Proceedings in
Theoretical Computer Science (EPTCS). Articles rejected for
presentation and extended abstracts will not be formally reviewed by
the PC.

## Important Dates

Submission deadline: December 26th 2023, Anywhere on Earth
Notification: by December 30th 2023 (Note: submissions will be
evaluated on a rolling basis, so earlier submissions will receive an
earlier response)
TFPIE Registration Deadline:
Workshop: January 26th 2026
Submission for formal review: April 22nd 2026, Anywhere on Earth
Notification of full article: May 27th 2026
Camera ready: June 24th 202

## Program Committee

Mart Lubbers, Radboud University, Nijmegen, Netherlands (PC Chair)

Tim Steenvoorden, Open Universitei, Heerlen, Netherlands
Marco T. Morazán, Seton Hall University, South Orange, NJ, USA
Guannan Wei, Tufts University, Medford, MA, USA
Marcos Viera, Universidad de la República, Montevideo, Uruguay
Johannes Åman Pohjola, Chalmers University of Technology, Götenburg, Sweden

## Registration information

See https://wiki.tfpie.science.ru.nl/TFPIE2026 for updated information.

Registration and attendance are mandatory for at least one author of
every paper that is presented at the workshop.

Only papers that have been presented at TFPIE may be submitted to the
post-reviewing process.
Posted by at No comments:

2025-09-05

[Caml-list] IFL2025 Call for Participation

==========================================================
Call for Participation


IFL 2025


37th Symposium on Implementation and Application of Functional Languages



Montevideo, Uruguay

October 1-3, 2025
(Tutorials September 29-30)


https://www.fing.edu.uy/inco/congresos/ifl2025


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

The goal of the IFL symposia is to bring together researchers actively
engaged in the implementation and application of functional and
function-based programming languages. IFL 2025 will be a venue for
researchers to present and discuss new ideas and concepts, work in
progress, and publication-ripe results related to the implementation and
application of functional languages and function-based programming.


### Registration


The registration fee covers use of facilities, participation in the
tutorials and symposium, lunches, coffee breaks, social outing,
symposium dinner and access to draft proceedings.
Early Bird Registration Deadline is Sep 5, 2025.

https://www.fing.edu.uy/inco/congresos/ifl2025/register.html

If you choose online payment at registration, you will receive payment
instructions during the week.

### Keynote speakers

Roberto Ierusalimschy
Departamento de Informática, PUC-Rio, Río de Janeiro, Brazil
Functions in Lua

Iván Pérez
NASA Ames Research Center, California, USA
Making Haskell Fly

https://www.fing.edu.uy/inco/congresos/ifl2025/keynotes.html


### Tutorials

On September 29 and 30, the two days prior to the symposium, four
tutorials will be held:

Gradual typing
Éric Tanter, University of Chile, Chile

Type Based Static Analysis
Jurriaan Hage, Heriot-Watt University, UK

Development of dApps in the UTxO model
TxPipe, Argentina

Programming-Based Automata Theory
Marco T. Morazán, Seton Hall University, USA

https://www.fing.edu.uy/inco/congresos/ifl2025/tutorials.html


### Accepted Papers

Regular Papers:
Compilation of the Stochastic Language ALEA, Baltasar Trancón Y
Widemann and Markus Lepper.
Design and Implementation of DSLs for Unit Testing, Marco T. Morazán
and Andres Garced.
Recipe-Based Errors: Methodology, Implementation, and Evaluation,
Marco T. Morazán, Shamil Dzhatdoyev, Josephine Des Rosiers, Rose
Bohrer, Andres Garced and David Anthony Fields.
Refinement-Types Driven Development: A study, Facundo Domínguez and
Arnaud Spiwack.

Draft Papers:


AI-Assisted Program Design Using Structural Recursion, Marco T. Morazán.
A Quantum-Control Lambda-Calculus with Multiple Measurement Bases,
Nicolas A. Monzon and Alejandro Díaz-Caro.
Automatic Testing for Finite-State Machines, Marco T. Morazán, Sophia
G. Turano, Andres Garced and David Anthony Fields.
Closures in a Higher-Order Polymorphic DSL for GPU programming, Andre
Rauber Du Bois, Henrique Gabriel Rodrigues and Rodrigo Geraldo
Ribeiro.
Energy-aware Data-Parallel Functional Array Processing for
Heterogeneous Platforms, Clemens Grelck.
Formalizating System I with type Top in Agda, Agustín Séttimo,
Cristian Sottile and Cecilia Manzino.
Foundations of Gradual Abstract Interpretation, Gaspar Ricci,
Sebastian Erdweg, Éric Tanter and Matías Toro.
Heuristics-based Type Error Diagnosis for Haskell: the case of type
families, Niels Kwadijk and Jurriaan Hage.
Higher-ranked region inference for polymorphic, lazy languages, Ivo
Gabe de Wolff and Jurriaan Hage.
Improving a Group Membership Protocol Implementation using Liquid
Haskell and QuickCheck, Jianhao Li and Viktoria Zsok.
List Fold Operators in Dafny, Juan Michelini, Nora Szasz and Alvaro Tasistro.
Reducibility candidates modulo isomorphisms, Cristian Sottile and
Alejandro Díaz-Caro.
Type Checking Dependently Sorted Nominal Signatures, Maribel
Fernandez, Miguel Pagano, Nora Szasz and Alvaro Tasistro.
Unrestricted Grammar Design and Visualization: A Design Recipe and
Dynamic Visualization Tool, Marco T. Morazán, Andres Garced and Tijana
Minić.
Posted by at No comments:

2025-08-26

[Caml-list] DataMod 2025 - Final Call for Papers, Extended Deadline

DataMod 2025 - 13th International Symposium "From Data to Models and Back"
Toledo, Spain, 10-11 November 2025

Website: https://datamod-symposium.github.io/DataMod-2025/

DataMod 2025 is a satellite event of the 23rd International Conference of
Software Engineering and Formal Methods (SEFM 2025):
https://sefm-conference.github.io/2025/

--------------------------------------------------------------------------------
Paper submission deadline (extended): 10 September 2025
--------------------------------------------------------------------------------

CONTEXT & OBJECTIVES

DataMod 2025 aims at bringing together practitioners and researchers from
academia, industry and research institutions interested in the combined
computational modelling methods with data-driven techniques from the areas
of knowledge management, data mining and machine learning. Modelling
methodologies of interest include automata, agents, Petri nets, process
algebras and rewriting systems. Application domains include social systems,
ecology, biology, medicine, smart cities, governance, security, education,
software engineering, and any other field that deals with complex systems
and large amounts of data.

Papers can present research results in any of the themes of interest for the
symposium, as well as application experiences, tools and promising preliminary
ideas. Papers dealing with synergistic approaches that integrate modelling and
knowledge management/discovery, or that exploit knowledge management/discovery
to develop/synthesise system models are especially welcome.

Authors are invited to submit original research or tool papers on any relevant
topic. These can either be normal or short papers. Short papers can discuss new
ideas which are at an early stage of development and which have not yet been
thoroughly evaluated.


TOPICS

Modelling and analysis methodologies include:
- Agent-based Methodologies
- Automata-based Notations
- Big Data Analytics
- Cellular Automata
- Classification
- Clustering, Segmentation and Profiling
- Conformance Analysis
- Constraint Programming
- Data Mining
- Differential Equations
- Game Theory
- Machine Learning
- Membrane Systems
- Network Theory and Analysis
- Ontologies
- Optimisation Modelling
- Petri Nets
- Process Calculi
- Process Mining
- Rewriting Systems
- Spatio-temporal Data Analysis/Mining
- Statistical Model Checking
- Text Mining
- Topological Data Analysis

Application domains include:
- Biology
- Brain Data and Simulation
- Business Process Management
- Climate Change
- Cybersecurity
- Ecology
- Education
- Environmental Risk Assessment and Management
- Enterprise Architectures
- Epidemiology
- Genetics and Genomics
- Governance
- HCI and Human Behaviour
- Open Source Software Development and Communities
- Pharmacology
- Resilience Engineering
- Safety and Security Risk Assessment
- Social Good
- Social Software Engineering
- Social Systems
- Sustainable Development
- Threat Modelling and Analysis
- Urban Ecology
- Smart Cities and Smart Lands

Synergistic approaches include:

(1) Use of modelling methods and notations in a knowledge
management/discovery context
(2) Development and use of common modelling and knowledge
management/discovery frameworks to explore and understand complex
systems from the application domains of interest

SUBMISSION AND PUBLICATION

Papers can take one of the following three types:

- regular (research, tool or position) paper, up to 16 pages (excluding
references)
- short (research, tool or position) paper, up to 8 pages (excluding references)
- presentation report, up to 4 pages

Presentation reports concern recent or ongoing work on relevant topics and
ideas, for timely discussion and feedback at the workshop. There is no
restriction as to previous/future publication of the contents of a
presentation. Typically, a presentation is based on a paper which recently
appeared (or which is going to appear) in the proceedings of another recognised
conference, or which has not yet been submitted. Presentation reports will
receive a lightweight review to establish their relevance for DataMod.

All submissions must be original, unpublished, and not submitted concurrently
for publication elsewhere.

Authors are invited to submit their presentation report via Easychair
https://easychair.org/conferences/?conf=datamod2025

Papers must be formatted according to the guidelines for Springer LNCS papers,
without modifications of margins and other space-saving measures. Authors should
therefore consult Springer's authors' instructions and use their proceedings
templates, either for LaTeX or for Word, for the preparation of their papers.
Springer's proceedings LaTeX templates are also available in Overleaf. Springer
encourages authors to include their ORCIDs in their papers.

Each paper will be reviewed by three Program Committee members. Notification
and reviews will be communicated via email through the Easychair platform.

Accepted papers (both regular and short) will be included in a dedicated LNCS
post-proceedings volume published by Springer after the Symposium. Condition
for inclusion in the proceedings is that at least one of the co-authors attends
and presents the paper at the Symposium.


IMPORTANT DATES

- Research Papers
Abstract submission deadline (optional): 22 August 2025
Paper submission deadline (extended): 10 September 2025
Acceptance notification: 30 September 2025
Revised version: 7 October 2025
Symposium: 10-11 November 2025

Note that you will have the opportunity to submit the camera-ready paper for the
LNCS Proceedings with discussions and remarks after the symposium,
i.e., by the end
of the year or early Jan/26.


PROGRAM CO-CHAIRS

* Livia Lestingi, Politecnico di Milano, Italy
* Gwen Salaün, Université Grenoble Alpes, France

PUBLICITY CHAIRS

* Ouadie Khebbeb, Université de Grenoble Alpes, France

STEERING COMMITTEE

* Oana Andrei, University of Glasgow, UK
* Antonio Cerone, Nazarbayev University, Kazakhstan
* Riccardo Guidotti, University of Pisa, Italy
* Marijn Janssen, Delft University of Technology, the Netherlands
* Stan Matwin, University of Ottawa, Canada
* Paolo Milazzo, University of Pisa, Italy
* Anna Monreale, University of Pisa, Italy

PROGRAM COMMITTEE

* Oana Andrei, University of Glasgow
* Kyungmin Bae, Pohang University of Science and Technology (POSTECH)
* Juliana Bowles, School of Computer Science, University of St Andrews
* Giovanna Broccia, ISTI-CNR, FMT Lab
* Antonio Cerone, Nazarbayev University
* Robert Clarisó, Universitat Oberta de Catalunya
* Carla Ferreira, Universidade NOVA de Lisboa
* Marc Frappier, Université de Sherbrooke
* Elisa Gonzalez Boix, Vrije Universiteit Brussel
* Riccardo Guidotti, University of Pisa
* Alexander Kocian, University of Pisa
* Ricardo M. Czekster, Aston University
* José Machado, University of Minho, DI, ALGORITMI/LASI
* Paolo Milazzo, Dipartimento di Informatica - Università di Pisa
* Pedro Ribeiro, University of York
* Arpit Sharma, Indian Institute of Science Education and Research
* Volker Stolz, Høgskulen på Vestlandet
* Martin Tappler, TU Wien
* Thais Webber, Aston University
* Lina Ye, CentraleSupélec, LMF, University Paris-Saclay, France


CONTACT

> All inquiries should be sent to datamod2025@easychair.org
Posted by at No comments:

2025-07-05

[Caml-list] POPL 2026 Last Call for Papers

PACMPL Issue POPL 2026 seeks contributions on all aspects of programming
languages and programming systems, both theoretical and practical. Authors of
papers published in PACMPL Issue POPL 2026 will be invited to present their work
in the POPL conference in January 2026, which is sponsored by ACM SIGPLAN, in
cooperation with ACM SIGACT and ACM SIGLOG.

POPL 2026 Website: https://popl26.sigplan.org/

Call for Papers:
https://conf.researchr.org/track/POPL-2026/POPL-2026-popl-research-papers

Submission deadline: July 10 2025 AOE

Double-Blind Review FAQ:
https://conf.researchr.org/track/POPL-2026/POPL-2026-popl-research-papers#double-blind-reviewing


### Organization

Conference Location: Rennes, France

Conference Dates: January 11-17, 2026

General Chair: Sandrine Blazy, University of Rennes

Program Chair: Suresh Jagannathan, Purdue University

Program Committee:
https://popl26.sigplan.org/committee/POPL-2026-popl-research-papers-program-committee


### Scope

Principles of Programming Languages (POPL) is a forum for the discussion of all
aspects of programming languages and programming systems. Both theoretical and
experimental papers are welcome, on topics ranging from formal frameworks to
experience reports. We seek submissions that make principled, enduring
contributions to the theory, design, understanding, implementation, or
application of programming languages.


### Evaluation Criteria

The Review Committee will evaluate the technical contribution of each submission
as well as its accessibility to both experts and the general POPL audience. All
papers will be judged on significance, originality, relevance, correctness, and
clarity. Each paper must explain its scientific contribution in both general and
technical terms, identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. Advice on writing technical
papers can be found on the SIGPLAN author information page:
https://www.sigplan.org/Resources/Author/.

Deadlines and formatting requirements, detailed below, will be strictly
enforced.


### Double-Blind Reviewing Process

POPL 2026 will use a full double-blind reviewing process (similar to the one
used in recent years (POPL 2023 - 2025) but different from the lightweight
double-blind process used before then). This means that identities of authors
will not be made visible to reviewers until after conditional-acceptance
decisions have been made, and then only for the conditionally-accepted papers.
The use of full double-blind reviewing has several consequences for authors.


* **Submissions**: Authors must omit their names and institutions from their
  paper submissions. In addition, references to authors' own prior work should
  be in the third person (e.g., not "We build on our previous work …" but rather
  "We build on the work of …").

* **Supplementary material**: Authors are permitted to provide supplementary
  material (e.g., detailed proofs, proof scripts, system implementations, or
  experimental data) along with their submission, which reviewers may (but are
  not required to) examine. This material may take the form of a single file,
  such as a PDF or a tarball. Authors must fully anonymize any supplementary
  material.

* **Author response**: In responding to reviews, authors should not say anything
  that reveals their identity, since author identities will not be revealed to
  reviewers at that stage of the reviewing process.

* **Dissemination of work under submission**: Authors are welcome to disseminate
  their ideas and post draft versions of their paper(s) on their personal
  website, institutional repository, or arXiv (reviewers will be asked to turn
  off arXiv notifications during the review period). But authors should not take
  steps that would almost certainly reveal their identities to members of the
  Program Committee, e.g., directly contacting PC members or publicizing the
  work on widely-visible social media or major mailing lists used by the
  community.

The purpose of the above restrictions is to help the Program Committee and
external reviewers come to a judgment about the paper without bias, not to make
it impossible for them to discover the authors' identities if they were to try.
In particular, nothing should be done in the name of anonymity that weakens the
quality of the submission.

However, there are occasionally cases where adhering to the above restrictions
is truly difficult or impossible for one reason or another. In such cases, the
authors should contact the Program Chair to discuss the situation and how to
handle it.

The FAQ on Double-Blind Reviewing addresses many common scenarios and answers
many common questions about this topic. But there remain many grey areas and
trade-offs. If you have any doubts about how to interpret the double-blind rules
or you encounter a complex case that is not clearly covered by the FAQ, please
contact the Program Chair for guidance.

### Evaluation Process

POPL 2026 will have five Associate Chairs who will help the PC Chair monitor
reviews, solicit external expert reviews for submissions when there is not
enough expertise on the committee, and facilitate reviewer discussions.

As in previous years, authors will have a multi-day period to respond to
reviews, as indicated in the Important Dates table. Responses are optional. A
response must be concise, addressing specific points raised in the reviews; in
particular, it must not introduce new technical results. Reviewers will write a
short reaction to these author responses.

The Review Committee (RC) will discuss papers electronically, and will use
synchronous virtual meetings to discuss any papers for which there is
disagreement among reviewers, in some cases soliciting additional input from
other experts in the committee. There is no formal External Review Committee,
though experts outside the committee may be consulted for some papers. Reviews
will be accompanied by a short summary of the reasons behind the committee's
decision with the goal of clarifying the reasons behind the decision.

To conform with ACM requirements for journal publication, all POPL papers will
be conditionally accepted; authors will be required to submit a short
description of the changes made to the final version of the paper, including how
the changes address any requirements imposed by the Review Committee. That the
changes are sufficient will be confirmed by the original reviewers prior to
acceptance to POPL. Authors of conditionally accepted papers must submit a
satisfactory revision to the Review Committee by the requested deadline or risk
rejection.

For additional information about the reviewing process, see: [Principles of
POPL](https://www.sigplan.org/Conferences/POPL/Principles/), a presentation of
the underlying organizational and reviewing policies for POPL. For POPL 2026,
policies specified in this Call for Papers supersede those in the Principles of
POPL document.


### Submission Site Information

The submission site is https://popl26.hotcrp.com.

Authors can submit multiple times prior to the deadline. Only the last
submission will be reviewed. There is no abstract deadline. The submission site
requires entering author names and affiliations, relevant topics, and potential
conflicts. Addition or removal of authors after the submission deadline will
need to be approved by the Program Chair (as this kind of change potentially
undermines the goal of eliminating conflicts during paper assignment).

The submission deadline is 11:59PM July 10, 2025 anywhere on earth (AOE):
https://en.wikipedia.org/wiki/Anywhere_on_Earth


### Conflicts of Interest

For each submission, the authors must make sure that they properly declare all
potential conflicts of interest for all of the authors of that submission. This
includes marking PC conflicts as well as "Other Conflicts (external)". A
conflict caught late in the reviewing process leads to a voided review which may
be infeasible to replace.

Conflicts should be declared between an adviser and an advisee (e.g., Ph.D.,
post-doc; forever), between an author and a co-author (papers and proposals; for
two years), between people at the same institution (branches of large companies
or different locations of research institutes are considered to be the same
institution; for two years after leaving an institution), between people with
financial conflicts of interest, and between friends or relatives.

If a possible reviewer does not meet the above criteria, please do not identify
him/her as conflicted. Doing so could be viewed as an attempt to prevent a
qualified, but possibly skeptical reviewer from reviewing your paper. If you
nevertheless believe that a reviewer who does not meet the above criteria is
conflicted, or if you are unsure about a possible conflict, you may identify the
person and send a note to the PC Chair. Declaring a spurious conflict with the
aim of excluding otherwise qualified reviewers can be grounds for desk
rejection.

### Submission Guidelines

Prior to the paper submission deadline, authors should upload their full
anonymized paper. Here are some key requirements concerning paper submissions:

* Each paper should have no more than **25 pages of text, excluding
  bibliography**, using the PACMPL format (specifically, the `acmart` LaTeX
  class with `acmsmall` option). It is a single-column page layout with a 10 pt
  font, 12 pt line spacing, and wider margins than recent POPL page layouts. In
  this format, the main text block is 5.478 in (13.91 cm) wide and 7.884 in
  (20.03 cm) tall. Use of a different format (e.g., smaller fonts or a larger
  text block) is grounds for summary rejection. The PACMPL template for LaTeX
  can be found at the [SIGPLAN author information
  page](https://www.sigplan.org/Resources/Author/), and further information
  about PACMPL submissions can be found on the [PACMPL author guidelines
  page](https://dl.acm.org/journal/pacmpl/author-guidelines). PACMPL does not
  support submissions in Microsoft Word.

* We strongly encourage use of the `review` and `screen` options in order to
  make submissions easier to review.

* Authors may choose which citation format they wish to use, which can be either
  author-year (the mandate for final versions in previous years) or numeric.

* Submissions should be in PDF and printable on both US Letter and A4 paper.
  Papers may be resubmitted to the submission site multiple times up until the
  deadline, but the last version submitted before the deadline will be the
  version reviewed.

* Submitted papers must adhere to the [SIGPLAN Republication
  Policy](https://www.sigplan.org/Resources/Policies/Republication/) and the
  [ACM Policy on
  Plagiarism](https://www.acm.org/publications/policies/plagiarism-overview).
  Concurrent paper submissions to other conferences, workshops, journals, or
  similar forums of publication are not allowed.

* Authors are free to submit supplementary material along with their
  submissions, but it must be fully anonymized.

* Authors must list all their conflicts of interest (both PC conflicts and
  external conflicts) in the HotCRP submission form.

* Authors may include additional information in a field of the HotCRP submission
  form labeled "Confidential Comments for the Program Chair". This information
  need not be anonymized. It can be used to inform the Program Chair, for
  example, about sensitive issues concerning a conflict with a PC member or
  about supplementary material that cannot be anonymized. It is left to the
  discretion of the Program Chair what to do with this information.

* If for some reason an author feels uncomfortable discussing a sensitive issue
  with the Program Chair (or communicating via the "Confidential Comments" field
  in HotCRP), they should feel free to get in touch instead with any of the
  Associate Chairs, with whom they can discuss the issue in confidence.

* Submissions from PC members and Associate Chairs (except the Program Chair)
  are permitted and will not be handled any differently than other submissions.
  This is in accordance with a recent change in policy approved by the SIGPLAN
  Executive Committee: SIGPLAN conferences that use full double-blind review and
  whose PCs have at least 50 members need not hold PC submissions to a higher
  standard.

### Artifact Evaluation for Accepted Papers

Authors of conditionally accepted papers will be invited to formally submit
supporting materials to the Artifact Evaluation process. Artifact Evaluation is
run by a separate committee whose task is to assess how the artifacts support
the work described in the papers. Artifact submission is strongly encouraged but
voluntary and will not influence the final decision regarding the papers. Papers
that go through the Artifact Evaluation process successfully will receive a seal
of approval printed on the papers themselves. Authors of accepted papers are
encouraged to make these materials publicly available upon publication of the
proceedings, by including them as "source materials" in the ACM Digital Library.

### Copyright, Publication, and Presentation

As a Gold Open Access journal, PACMPL is committed to making peer-reviewed
scientific research free of restrictions on both access and (re-)use. Authors
are strongly encouraged to support libre open access by licensing their work
with the [Creative Commons Attribution 4.0 International (CC BY)
license](https://creativecommons.org/licenses/by/4.0/), which grants readers
liberal (re-)use rights.

Authors of accepted papers will be required to choose one of the following
publication rights:

* Author licenses the work with a [Creative Commons
  license](https://creativecommons.org/), retains copyright, and (implicitly)
  grants ACM non-exclusive permission to publish (suggested choice).
* Author retains copyright of the work and grants ACM a non-exclusive permission
  to publish license.
* Author retains copyright of the work and grants ACM an exclusive permission to
  publish license.
* Author transfers copyright of the work to ACM.

These choices follow from ACM Copyright Policy and ACM Author Rights,
corresponding to ACM's "author pays" option.

While PACMPL may ask authors who have funding for open-access fees to
voluntarily cover the article processing charge, payment is not required for
publication. PACMPL and SIGPLAN continue to explore the best models for funding
open access, focusing on approaches that are sustainable in the long-term while
reducing short-term risk.

All papers will be archived by the ACM Digital Library. Authors will have the
option of including supplementary material with their paper. The official
publication date is the date the proceedings are made available in the ACM
Digital Library. This date may be up to two weeks prior to the first day of the
conference. The official publication date affects the deadline for any patent
filings related to published work.

Authors of accepted papers are encouraged to give a short talk (roughly 25
minutes long) at the conference, according to the conference schedule. Authors
who wish to present but who cannot attend in person will be provided with some
option for remote presentation, as well as some mechanism for remote interaction
with conference participants.

### Important update on ACM's new open access publishing model for 2026 ACM Conferences!

Starting January 1, 2026, ACM will fully transition to Open Access. All ACM
publications, including those from ACM-sponsored conferences, will be 100% Open
Access. Authors will have two primary options for publishing Open Access
articles with ACM: the ACM Open institutional model or by paying Article
Processing Charges (APCs). With over 1,800 institutions already part of ACM
Open, the majority of ACM-sponsored conference papers will not require APCs from
authors or conferences (currently, around 70-75%).

Authors from institutions not participating in ACM Open will need to pay an APC
to publish their papers, unless they qualify for a financial or discretionary
waiver. To find out whether an APC applies to your article, please consult the
list of participating institutions in ACM Open and review the APC Waivers and
Discounts Policy. Keep in mind that waivers are rare and are granted based on
specific criteria set by ACM.

Understanding that this change could present financial challenges, ACM has
approved a temporary subsidy for 2026 to ease the transition and allow more time
for institutions to join ACM Open. The subsidy will offer: $250 APC for ACM/SIG
members and $350 for non-members.

This represents a 65% discount, funded directly by ACM. Authors are encouraged
to help advocate for their institutions to join ACM Open during this transition
period.

This temporary subsidized pricing will apply to all conferences scheduled for
2026.


### Distinguished Paper Awards

At most 10% of the accepted papers of POPL 2026 will be designated as
Distinguished Papers. This award highlights papers that the Review Committee
thinks should be read by a broad audience due to their relevance, originality,
significance, and clarity. The selection of the distinguished papers will be
made based on the final version of the paper and through an additional review
process.
Posted by at No comments:

2025-06-25

[Caml-list] Springer || SCOPUS || Call for Papers – 5th ICMMCS 2026 | Berlin, Germany | March 4–5, 2026

Dear Researcher,

We are pleased to invite you to contribute to the 5th International Conference on Mathematical Modeling & Computational Science (ICMMCS 2026) to be held in Berlin, Germany on March 4–5, 2026.

Conference Website: https://www.icmmcs.in

Organized by the Society for Intelligent Systems, ICMMCS 2026 aims to bring together leading academics, researchers, and industry professionals to exchange ideas and present recent advances in Engineering Mathematics and Computational Science.

📌 Conference Topics Include (but are not limited to):

  • Numerical Analysis, Probability and Statistics

  • Fuzzy Logic, Neural Networks, Fuzzy Set Theory

  • Artificial Intelligence and Machine Learning

  • Operations Research and Complex Network Computation

  • Computational Statistics and Data Analytics

  • High Performance Computing

  • Network and Device Security

  • Intelligent Communication Systems

  • Digital Pedagogy, IoT, and Smart Education Technologies

📚 Publication:

All accepted and presented papers will be published in the Springer Series "Lecture Notes in Networks and Systems", indexed by Scopus, Web of Science, DBLP, INSPEC, and more.

We cordially invite submissions from researchers, scholars, and practitioners worldwide. Join us in Berlin for insightful discussions and a collaborative scientific exchange.

🔗 More Details & Submission: https://www.icmmcs.in
🔗 Organizer: https://intellisys-society.org

We look forward to your valuable contributions!

Warm regards,
Organizing Committee
ICMMCS 2026

--
---------------------------------------------------
Best Regards,

Posted by at No comments:

2025-06-24

[Caml-list] POPL 2026 Call for Workshops

The 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL
2026) will be held in Rennes, France. POPL provides a forum for the discussion
of fundamental principles and important innovations in the design, definition,
analysis, transformation, implementation and verification of programming
languages, programming systems, and programming abstractions. Events focusing on
experimental and theoretical topics are welcome.

We invite proposals for workshops and other events to be co-located with
POPL 2026. All co-located events are sponsored by SIGPLAN
(http://acm.org/sigplan/).

Workshops should be more informal and focused than POPL itself, and include
sessions that enable interaction among the workshop attendees. The preference is
for one-day workshops, but other schedules can also be considered.

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

Submission details

Deadline for submission: 25 July 2025

Notification of acceptance: 1 August 2025

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://popl26.sigplan.org/track/POPL-2026-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 2026 co-located event proposals should be addressed
to the workshops chairs, Robert Rand (rand@uchicago.edu) and Alan Schmitt
(alan.schmitt@inria.fr).
Posted by at No comments:
Subscribe to: Comments (Atom)