[Caml-list] Haskell Symposium 2025 Second Call for Papers

========================================================================
               Haskell Symposium 2025 Call for Papers

                 Thu 16 - Fri 17 Oct 2025, Singapore

    https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025

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

The ACM SIGPLAN Haskell Symposium 2025 will be co-located with the 2025
International Conference on Functional Programming (ICFP) and the 2025
International Conference on Systems, Programming, Languages and Applications:
Software for Humanity (SPLASH).

The Haskell Symposium presents original research on Haskell, discusses practical
experience and future development of the language, and promotes other forms of
declarative programming.

 Submission deadline:    9 June  2025      (Mon)
 Notification:           17 July 2025      (Thu)

Deadlines are valid anywhere on Earth.

Papers should be submitted through HotCRP at: https://haskell25.hotcrp.com/

Topics of interest include:

 * Language design, with a focus on possible extensions and modifications of
   Haskell as well as critical discussions of the status quo;

 * Theory, such as formal semantics of the present language or future
   extensions, type systems, effects, metatheory, and foundations for
   program analysis and transformation;

 * Implementations, including program analysis and transformation,
   static and dynamic compilation for sequential, parallel, and distributed
   architectures, memory management, as well as foreign function and
   component interfaces;

 * Libraries, that demonstrate new ideas or techniques for functional
   programming in Haskell;

 * Tools, such as profilers, tracers, debuggers, preprocessors,
   and testing tools;

 * Applications, to scientific and symbolic computing, databases, multimedia,
   telecommunication, the web, and so forth;

 * Functional Pearls, being elegant and instructive programming examples;

 * Experience Reports, to document general practice and experience in
   education, industry, or other contexts;

 * Tutorials, to document how to use a particular language feature,
   programming technique, tool or library within the Haskell ecosystem;

 * System Demonstrations, based on running software rather than novel
   research results.

Keynote Speakers
=================

* Richard A. Eisenberg

* Simon Peyton Jones

Program Committee
=================

Andreas Abel                 Gothenburg University
Patrick Bahr                 IT University of Copenhagen
Matthew Fluet                Rochester Institute of Technology
Adam Gundry                  Well-Typed LLP
Xuejing Huang                IRIF
Hideya Iwasaki               Meiji University
Patricia Johann              Appalachian State University
Hsiang-Shang 'Josh' Ko       Institute of Information Science, Academia Sinica
András Kovács                University of Gothenburg and Chalmers University of Technology
Andres Löh                   Well-Typed LLP
J. Garrett Morris (co-chair) University of Iowa
Liam O'Connor                Australian National University
Maciej Piróg                 University of Wrocław
Arnaud Spiwack               Tweag
Meng Wang                    University of Bristol
Li-yao Xia                   Inria
Ningning Xie (co-chair)      University of Toronto
Gergő Érdi                   Standard Chartered Bank

[Caml-list] FTfJP 2025 - 4th Call for Papers

FTfJP 2025 

27th International Workshop on Formal Techniques for Judicious Programming, 03 July 2025, Bergen, Norway  

Conference website: 

https://2025.ecoop.org/home/FTfJP-2025  

Submission link: 

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

=== Important dates ===

- Paper submission: 07 May 2025 (AoE, extended)

- Paper notification: 21 May 2025 (AoE)

- Workshop date: 03 July 2025 (co-located with ECOOP 2025)

Deadlines expire at 23:59 anywhere on earth on the dates displayed above.

=== Objectives and scope ===

Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages (such as C#, Java, Kotlin, Rust, or Scala) are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new programming languages research challenges.

Work on formal techniques and tools and on the formal underpinnings of programming languages themselves naturally complement each other.

The Formal Techniques for Judicious Programming (FTfJP) workshop is an established workshop which has run annually since 1999 alongside ECOOP, with the goal of bringing together people working in both fields. Webpages for previous workshops in this series are available at https://ftfjp.github.io/.

Example topics of interest include:

- Language design and semantics

- Type systems

- Concurrency and new application domains

- Specification and verification of program properties

- Program analysis (static or dynamic)

- Program synthesis

- Security

- Pearls (programs or proofs)

FTfJP welcomes submissions on technical contributions, case studies, experience reports, challenge proposals, tools, and position papers. 

=== Paper Categories ===

We solicit two categories of papers:

- Full Papers (12 pages, excluding references) present a technical contribution, case study, or detailed experience report. We welcome both complete and incomplete technical results; ongoing work is particularly welcome, provided it is substantial enough to stimulate interesting discussions.

- Short Papers (6 pages, excluding references) should advocate a promising research direction, or otherwise present a position likely to stimulate discussion at the workshop. We encourage e.g. established researchers to set out a personal vision, and beginning researchers to present a planned path to a PhD.

Both types of contributions will benefit from feedback received at the workshop. Submissions will be peer reviewed and will be evaluated based on their clarity and their potential to generate interesting discussions. Reviewing will be single blind, i.e, submissions need not be anonymized.

The format of the workshop encourages interaction. FTfJP is a forum in which a wide range of people share their expertise, from experienced researchers to beginning PhD students.

=== Submission guidelines ===

Papers must be formatted according to the guidelines for Springer LNCS papers.  

Submissions should be made via EasyChair: https://easychair.org/conferences?conf=ftfjp2025.  

There is no need to indicate the paper category (long/short). 

The accepted papers will be published as post-proceedings in JOT (Journal of Object Technology), though authors will be able to opt out of this publication, if desired. At least one author of an accepted paper must register to the workshop by the early registration date and attend the workshop to present the work and participate in the discussions.

=== Steering Committee ===

- Rosemary Monahan, National University of Ireland, Ireland (SC chair)

- Radu Grigore, Facebook, United Kingdom

- Gary T. Leavens, University of Central Florida, United States

- Werner Dietl, University of Waterloo, Canada

- Alexander J. Summers, University of British Columbia, Canada

    

=== Program Committee ===

- Crystal Chang Din, University of Bergen, Norway (PC Chair)

- Richard Bubel, Technische Universität Darmstadt, Germany

- Syed Ali Asadullah Bukhari, Maynooth University, Ireland

- Claire Dross, AdaCore, France

- Erik Ernst, Google Inc., Denmark

- Marie Farrell, The University of Manchester, United Kingdom

- Carlo A. Furia, Università della Svizzera italiana (USI), Switzerland

- Atsushi Igarashi, Kyoto University, Japan

- Marie-Christine Jakobs, LMU Munich, Germany

- Taylor T Johnson, Vanderbilt University, United States

- Matthew Lutze, Aarhus University, Denmark

- Wojciech Mostowski, Halmstad University, Sweden

- Wytse Oortwijn, TNO-ESI, Netherlands

- Violet Ka I Pun, Western Norway University of Applied Sciences, Norway

- Anton Wijs, Eindhoven University of Technology, Netherlands

- Elena Zucca, University of Genoa, Italy

[Caml-list] IFL 2025: First call for papers

=====================================================================
IFL 2025

37th Symposium on Implementation and Application of Functional Languages


Montevideo, Uruguay

October 1-3, 2025

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

=====================================================================
### Scope

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.

### Topics of interest

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialisation
- run-time code generation
- partial evaluation
- (abstract) interpretation
- meta-programming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques

### Peer-review process

Differently from previous editions of IFL, IFL 2025 solicits two kinds
of submissions:

* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee,
and will be evaluated according to their correctness, novelty,
originality, relevance, significance, and clarity. A set of regular
papers will be conditionally accepted for publication. Authors of
conditionally accepted papers will be provided with committee reviews
along with a set of mandatory revisions. Regular papers not accepted for
publication will be considered as draft papers, at the request of the
author.

Draft papers will be screened to make sure that they are within the
scope of IFL, and will be accepted for presentation or rejected
accordingly.

Prior to the symposium:

Authors of conditionally accepted papers and accepted presentations
will submit a pre-proceedings version of their work that will appear
in the draft proceedings distributed at the symposium. The draft
proceedings does not constitute a formal publication.

We require that at least one of the authors present the work at IFL
2025.

After the symposium:

Authors of conditionally accepted papers will submit a revised
versions of their paper for the formal post-proceedings.

The program committee will assess whether the mandatory revisions have
been adequately addressed by the authors and thereby determines the
final accept/reject status of the paper.

Our interest is to ultimately accept all conditionally accepted
papers. If you are an author of a conditionally accepted paper, please
make sure that you address all the concerns of the reviewers.

Authors of accepted presentations will be given the opportunity to
incorporate the feedback from discussions at the symposium and will be
invited to submit a revised full article for the formal
post-proceedings.

The program committee will evaluate these submissions according to
their correctness, novelty, originality, relevance, significance, and
clarity, and will thereby determine whether the paper is accepted or
rejected.


### Important dates

Submission of regular papers: June 16, 2025
Regular papers notification: August 4, 2025
Submission of draft papers: August 4, 2025
Draft papers notification: August 11, 2025
Deadline for early registration: September 5, 2025
Submission of pre-proceedings version: September 8, 2025
IFL Symposium: October 1-3, 2025
Submission of papers for post-proceedings: December 15, 2025
Notification of acceptance: February 28, 2026
Camera-ready version: March 30, 2026

Deadlines are end of day Anywhere on Earth (UTC-12)
(https://www.timeanddate.com/time/zones/aoe).


### Submission details

All contributions must be written in English. Papers must use the ACM
two columns conference format, which can be found at:

http://www.acm.org/publications/proceedings-template

Submit your paper here:

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

Important note to authors about the new ACM open access publishing model
ACM has introduced a new open access publishing model for the
International Conference Proceedings Series (ICPS). Authors based at
institutions that are not yet part of the ACM Open program and do not
qualify for a waiver will be required to pay an article processing
charge (APC) to publish their ICPS article in the ACM Digital Library.
To determine whether or not an APC will be applicable to your article,
please follow the detailed guidance here:

https://www.acm.org/publications/icps/author-guidance.

Further information may be found on the ACM website, as follows:

- Full details of the new ICPS publishing model:
https://www.acm.org/publications/icps/faq
- Full details of the ACM Open program:
https://www.acm.org/publications/openaccess
- Please direct all questions about the new model to icps-info@acm.org.

### Peter Landin Prize

The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured article is selected by the program
committee based on the submissions received for the formal review
process. The prize carries a cash award equivalent to 150 Euros.

### Organisation

PC Chairs:

Alberto Pardo, Universidad de la República, Montevideo, Uruguay
Marcos Viera, Universidad de la República, Montevideo, Uruguay

Local Chairs:

Alberto Pardo, Universidad de la República, Montevideo, Uruguay
Marcos Viera, Universidad de la República, Montevideo, Uruguay


### Program committee:

Matteo Cimini, University of Massachusetts Lowell
Facundo Domínguez, Tweag
João Paulo Fernandes, Universidade do Porto
Jeremy Gibbons, Oxford University
Jurriaan Hage, Heriot Watt University
Jason Hemann, Seton Hall University
Maja Hanne Kirkeby, Roskilde University
Mart Lubbers, Radboud University
Bruno C. D. S. Oliveira, The University of Hong Kong
Rinus Plasmeijer, Radboud University
Andre Rauber Du Bois, Universidade Federal de Pelotas
Rodrigo Ribeiro, Universidade Federal de Ouro Preto
Alejandro Russo, Chalmers University of Technology
João Saraiva, University of Minho
Wenhao Tang, University of Edinburgh
Zhixuan Yang, Imperial College London
Brent Yorgey, Hendrix College
Beta Ziliani, Manas.Tech
Viktória Zsók, Eötvös Loránd University

### Venue

IFL 2025 will be held physically in Montevideo, Uruguay. See the website
for more information.

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


### Acknowledgments

This call-for-papers is an adaptation and evolution of content from
previous instances of IFL. We are grateful to prior organisers for their
work, which is reused here.

[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 April 15 to 22, 2025.

Table of Contents

• Flambda2 Ep. 4: How to write a purely functional compiler, by OCamlPro
• R and D Engineer Positions available at OCamlPro, in Paris (France)
• Release of ocaml-eglot 1.2.0
• Outreachy December 2024 Round
• Dune 3.18
• opam 2.4.0~alpha1
• ML Family Workshop 2025: Call for Presentations
• Other OCaml News
• Old CWN

Flambda2 Ep. 4: How to write a purely functional compiler, by OCamlPro

Archive: https://discuss.ocaml.org/t/blog-flambda2-ep-4-how-to-write-a-purely-functional-compiler-by-ocamlpro/16512/1

OCamlPro announced

Greetings Cameleers!

We're back with another deep dive into the Flambda2 Optimizing Compiler! Our latest entry in the Flambda2 Snippets blog series is out !

Flambda2 Ep. 4: How to write a purely functional compiler

Beware, this episode is a hefty one ! :muscle: :triumph:

This time again, we take you on a journey through the heart of Flambda2's optimization process. Indeed, we take a look at the high-level considerations of Simplify, the main optimization algorithm! This post is the most important one yet. The subject is key to coming to grasps with the philosophy and design behind our home-made compiler and we highly recommend that you read it if you're interested in functional programming, exotic compiler architectures, novel engineering, and programming language representation!

If you've been following the series, this article builds on what we've covered before — especially Foundational Design Decisions (episode 1), and Speculative inlining (episode 3) — so you might want to check these out first. And as always, this is all leading up to even more compiler spelunking in future posts! :pick:

Hope you enjoy the read, and let us know what you think!

Until next time, The OCamlPro Team

R and D Engineer Positions available at OCamlPro, in Paris (France)

Archive: https://discuss.ocaml.org/t/hiring-r-d-engineer-positions-available-at-ocamlpro-in-paris-france/16513/1

OCamlPro announced

Greetings Cameleers,

We are thrilled to announce that OCamlPro is hiring!

OCamlPro is a R&D lab founded in 2011, with the mission to help industrial users benefit from experts with a state-of-the-art knowledge of programming languages theory and practice. We provide audit, support, custom developer tools and training for both the most modern languages, such as Rust, Wasm and OCaml, and for legacy languages. We design, create and implement software with great added-value for our clients. We have a long history of creating and maintaining open-source projects, such as the Opam package manager, the LearnOCaml web platform, Ocp-indent / Ocp-index, Flambda and Flambda2 optimizing OCaml compilers. We also contributed to the Rust compiler and standard library, and are now core contributors of the GnuCOBOL project. We are also experts of Formal Methods, developing tools such as our SMT Solver Alt-Ergo.

We are currently looking to hire French speaking Senior and non-Senior R&D Engineers as well as new Project Managers. Since speaking French is mandatory, the rest of this article, and the job offers linked below, will be written in French. :france:

OCamlPro recrute :

• Un·e Ingénieur·e R&D Senior

  Conception et dev en OCaml (et Rust), encadrement, relation client, exploration techno, perfs, tests, veille et formations. Poste clé au cœur d'une équipe experte.

• Un·e Ingénieur·e R&D

  Développement en OCaml (et Rust), conception logicielle, perfs, tests, veille techno, montée en compétences et travail en équipe experte.

• Un·e Chef·fe de Projet Informatique & R&D

  Pilotage de projets, coordination d'équipes, interface client, suivi budget/délais, reporting, et veille techno dans un environnement innovant.

Notre équipe est principalement basée à Paris, mais nous sommes ouverts au travail à distance, tant que des séjours réguliers à Paris sont possibles pour renforcer la cohésion de l'équipe.

Veuillez envoyer votre CV ainsi qu'une description de certaines de vos meilleures réalisations à l'adresse suivante : [contact@ocamlpro.com](mailto:contact@ocamlpro.com)

Vous trouverez des fiches de poste détaillées au format PDF ici : http://www.ocamlpro.com/jobs

Release of ocaml-eglot 1.2.0

Archive: https://discuss.ocaml.org/t/ann-release-of-ocaml-eglot-1-2-0/16515/1

Xavier Van de Woestyne announced

We (at Tarides) are particularly pleased to announce the release of OCaml-eglot 1.2.0, An overlay on Eglot (the built-in LSP client for Emacs) for editing OCaml!

ocaml-eglot is an alternative mode to merlin which uses ocaml-lsp-server (instead of ocamlmerlin) as the language server. So yes, if you decide to use~ocaml-eglot~, merlin is no longer needed. (Merlin is still used as a library, in ocaml-lsp-server).

• Release note
• Github repository
• Package on MELPA
• Features list
• Installation procedure
• Comparison table with Merlin

This version discreetly improves the ergonomics of certain orders, gives more control over customer-side order support and drastically improves error handling! Here's the full changelog and, in the meantime, I'm adding the changelog for version 1.1.0, which hadn't been announced:

1.2.0

• Fix Type-enclosing's buffer update when using caml-mode (#48)
• Add ocaml-eglot-search-definition, ocaml-eglot-search-declaration and alternative functions (#45)
• Fix some warnings on byte-compilation (#40)
• Fix error on on ocaml-eglot-construct (#42)
• ocaml-eglot-alternate-file now visits file in other window when prefix argument is set (#51)
• Add error-handling for jsonrpc-request (#52)
• Maintain more diagnostics for location failure (#52)
• Fix hole cycle navigation (#53)
• Relay on custom request (if it is available) for managing holes (#53)
• Implementation of support for experimental client commands (and implementation of ocaml.next-hole in the presence of the ocaml-eglot-destruct action) (#54)

1.1.0

• A first support for flycheck (#29, #33 and #37)
• Use a more efficient way to ensure that a vector is empty (#27)
• Made the mode-line "lighter" more conventional (#26)

Spotlight on new features

Two easily observable features:

• Finding an identifier
  
  • ocaml-eglot-find-identifier-declaration
  • ocaml-eglot-find-identifier-definition

  the two commands behave like their analogues (ocaml-eglot-find-definition and ocaml-eglot-find-declaration) but allow the user to enter the identifier directly:

  

• Searching for a definition or a declaration
  
  • ocaml-eglot-search-declaration
  • ocaml-eglot-search-definition

  Allows you to search by type or polarity to find the definition (implementation) or declaration (signature) of values!

  

Upgrading

The release is available on MELPA, so you can update it using the usual process. As always, your feedback is invaluable!

Happy hacking

Outreachy December 2024 Round

Archive: https://discuss.ocaml.org/t/outreachy-december-2024-round/15223/6

Continuing this thread, Patrick Ferris announced

Thank you everyone who came along to our demo day. I think I speak for everyone when I say @abdulaziz.alkurd's work is very impressive and we all can't wait for being able to easily diff OCaml APIs!

The meeting has now been published: https://watch.ocaml.org/w/eWRikkpwoox1SboAwrDshD

Dune 3.18

Archive: https://discuss.ocaml.org/t/ann-dune-3-18/16428/2

Etienne Marais announced

We are happy to announce the release of Dune 3.18.1 :camel:

This version is a minor release that contains a bug fix to an issue that was preventing pkg-config from finding some libraries in some contexts.

If you encounter a problem with this release, you can report it on the ocaml/dune repository.

Changelog

• Fixed
  
  • fix: pass pkg-config (extra) args in all pkgconfig invocations. A missing --personality flag would result in pkgconf not finding libraries in some contexts. (#11619, @MisterDA)

opam 2.4.0~alpha1

Archive: https://discuss.ocaml.org/t/ann-opam-2-4-0-alpha1/16520/1

Kate announced

Hi everyone,

We are happy to announce the first alpha release of opam 2.4.0.

This version is an alpha, we invite users to test it to spot previously unnoticed bugs as we head towards the stable release.

What's new? Some highlights:

• :dragon_face: On opam init the compiler chosen for the default switch will no longer be ocaml-system (#3509) This was done because the system compiler (as-is your ocaml installed system wide, e.g. /usr/bin/ocaml) is known to be under-tested and prone to a variety of bugs and configuration issues. Removing it from the default compiler allows new-comers a more smooth experience. Note: if you wish to use it anyway, you are always able to do it explicitly using opam init --compiler=ocaml-system
• :camel: GNU patch and the diff command are no longer runtime dependencies. Instead the OCaml patch library is used (#6019, #6052, #3782, ocaml/setup-ocaml#933) Doing this we've removed some rarely used features of GNU Patch such as the support of Context diffs. The new implementation only supports Unified diffs including the git extended headers, however file permission changes via said extended headers have no effect.
• :snowflake: Add Nix support for external dependencies (depexts) by adding support for stateless package managers (#5982). Thanks to @RyanGibb for this contribution
• :cockroach: Fix opam install <local_dir> with and without options like --deps-only or --show-action having unexpected behaviours (#6248, #5567) such as:
  • reporting Nothing to do despite dependencies or package not being up-to-date
  • asking to install the wrong dependencies
• :ocean: Many more UI additions and improvements, bug fixes, performance improvements, …

:open_book: You can read our blog post for more information about these changes and more, and for even more details you can take a look at the release note or the changelog.

Try it!

The upgrade instructions are unchanged:

For Unix systems

  bash -c "sh <(curl -fsSL https://opam.ocaml.org/install.sh) --version 2.4.0~alpha1"  

or from PowerShell for Windows systems

  Invoke-Expression "& { $(Invoke-RestMethod https://opam.ocaml.org/install.ps1) } -Version 2.4.0~alpha1"  

Please report any issues to the bug-tracker.

Happy hacking, <> <> The opam team <> <> :camel:

ML Family Workshop 2025: Call for Presentations

Archive: https://discuss.ocaml.org/t/ml-family-workshop-2025-call-for-presentations/16521/1

Sam announced

We are happy to invite submissions to the 2025 ML Family Workshop! Please help spread the word and consider submitting! https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025

Higher-order, Typed, Inferred, Strict: ML Family Workshop 2025

Co-located with ICFP/SPLASH

Workshop date: October 16, 2025, Singapore

Submission deadline: June 19, 2025

The ML Family Workshop is an established informal workshop serving to promote and inform the development of programming languages in the ML family (such as OCaml, Standard ML, F#, and many others) as well as related languages (such as Haskell, Scala, Rust, Koka, F*, Eff, ATS, Nemerle, Links, etc.) We welcome presentations on all aspects of the design, semantics, theory, application, implementation, and teaching of languages in the entire extended ML family.

The ML 2025 workshop will continue the informal approach followed since 2010. Presentations are selected by the program committee from submitted proposals. There are no published proceedings, so contributions may be submitted for publication elsewhere. The main criterion is promoting and informing the development of the entire extended ML family and delivering a lively workshop atmosphere. We particularly encourage talks about works in progress, presentations of negative results (things that were expected to but did not quite work out) and informed positions.

Each presentation should take 20-25 minutes. The exact time will be decided based on scheduling constraints.

We plan the workshop to an be in-person event with remote participation (streamed live). We hope that speakers are able to present in person. If a speaker is unable to attend, they may instead present remotely.

The 2025 ML family workshop is co-located with ICFP/SPLASH 2025 and will take place on October 16, 2025 in Singapore.

Scope

We seek presentations on topics including (but not limited to):

• Language design: abstraction, higher forms of polymorphism, concurrency and parallelism, distribution and mobility, staging, extensions for semi-structured data, generic programming, object systems, etc.
• Implementation: compilers, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, foreign function interfaces, etc.
• Type systems: inference, effects, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc.
• Applications: case studies, experience reports, pearls, etc.
• Environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc.
• Semantics of ML-family languages: operational and denotational semantics, program equivalence, parametricity, mechanization, etc.

We specifically encourage reporting what did not meet expectations or what, despite all efforts, did not work to satisfaction.

Four kinds of submissions are solicited: Research Presentations, Experience Reports, Demos, and Informed Positions.

• Research Presentations: Research presentations should describe new ideas, experimental results, or significant advances in ML-related projects. We especially encourage presentations that describe work in progress, that outline a future research agenda, or that encourage lively discussion. These presentations should be structured in a way which can be, at least in part, of interest to (advanced) users.
• Experience Reports: Users are invited to submit Experience Reports about their use of ML and related languages. These presentations do not need to contain original research but they should tell an interesting story to researchers or other advanced users, such as an innovative or unexpected use of advanced features or a description of the challenges they are facing or attempting to solve.
• Demos: Live demonstrations or short tutorials should show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or applications built on or related to ML and related languages. (You will need to provide all the hardware and software required for your demo; the workshop organizers are only able to provide a projector.)
• Informed Positions: A justified argument for or against a language feature. The argument must be substantiated, either theoretically (e.g., by a demonstration of (un)soundness, an inference algorithm, a complexity analysis), empirically or by substantial experience. Personal experience is accepted as justification so long as it is extensive and illustrated with concrete examples.

Submission details

Submissions must be in the PDF format and have a short summary (abstract) at the beginning. Submissions in the categories of Experience Reports, Demos, or Informed Positions should indicate so in the title or subtitle. The point of the submission should be clear from its two first pages (PC members are not obligated to read any further.)

Submissions must be uploaded to the workshop submission website before the submission deadline.

Only the short summary/abstract of accepted submissions will be published on the conference website. After acceptance, authors will have the opportunity to attach or link to that summary any relevant material (such as the updated submission, slides, etc.)

Submission Website: https://ml2025.hotcrp.com/

Workshop Website: https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025

Dates and Deadlines

Submission Deadline: Thursday, June 19 AoE

Initial Author Notification (most cases): Thursday, July 31

Final Author Notification (if needed): Thursday, Aug 7

Workshop Date: Thursday, Oct 16

Program Committee

• Sam Westrick (New York University, USA) (Chair)
• Michael D. Adams (National University of Singapore, Singapore)
• Jonathan Brachthäuser (University of Tübingen, Germany)
• Chris Casinghino (Jane Street, USA)
• Arthur Charguéraud (INRIA, France)
• Kiran Gopinathan (University of Illinois Urbana-Champaign, USA)
• Mirai Ikebuchi (Kyoto University, Japan)
• Keigo Imai (DeNA Co., Ltd., Japan)
• Anton Lorenzen (University of Edinburgh, UK)
• Cyrus Omar (University of Michigan, USA)
• Zoe Paraskevopoulou (National Technical University of Athens, Greece)
• Filip Sieczkowski (Heriot-Watt University, UK)
• Yong Kiam Tan (A*STAR Institute for Infocomm Research, Singapore)
• Yuting Wang (Shanghai Jiao Tong University, China)

Past Iterations

• 2024: https://icfp24.sigplan.org/home/mlworkshop-2024
• 2023: https://icfp23.sigplan.org/home/mlworkshop-2023
• 2022: https://icfp22.sigplan.org/home/mlfamilyworkshop-2022
• 2021: https://icfp21.sigplan.org/home/mlfamilyworkshop-2021

More info: https://www.mlworkshop.org/home

Coordination with the OCaml Users and Developers Workshop

The OCaml workshop is seen as more practical and is dedicated in significant part to OCaml community building and the development of the OCaml system. In contrast, the ML family workshop is not focused on any language in particular, is more research-oriented, and deals with general issues of ML-style programming and type systems. There is some overlap, which we are keen to explore in various ways. The authors who feel their submission fits both workshops are encouraged to mention it at submission time or contact the program chairs.

Other OCaml News

From the ocaml.org blog

Here are links from many OCaml blogs aggregated at the ocaml.org blog.

• Outreachy December 2024 Demo

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.

Alan Schmitt

[Caml-list] DisCoTec 2025 Call for Participation

[Apologies for multiple postings]

 

*********************************

 

Joint Call for Participation

 

20th International Federated Conference on Distributed Computing Techniques

 

DisCoTec 2025

 

Lille, France, June 16-20, 2025

 

https://www.discotec.org/2025/

 

*********************************

 

DisCoTec is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS).

 

DisCoTec 2025 will take place in Lille, France, between June 16-20, 2025, hosted by the University of Lille.

 

* Registration *

 

Detailed information about registration can be found at https://www.discotec.org/2025/registration.

 

Deadlines (23:59 CEST):

- Early registration: May 23, 2025.

- Late registration: June 11, 2025.

 

* Keynote Speakers *

 

- Alysson Bessani (Universidade de Lisboa, Portugal)

 

- Omar Inverso (GSSI, Italy)

 

- Burcu Kulahcioglu Ozkan (TU Delft, The Netherlands)

 

- Hélène Coullon (IMT Atlantique, France)

 

See https://www.discotec.org/2025/invited for further details.

 

* Main Conferences (June 17 - June 19) *

 

- COORDINATION 2025 (https://www.discotec.org/2025/coordination)

  27th International Conference on Coordination Models and Languages

  PC Chairs: Cinzia Di Giusto (Université Côte d'Azur) and António Ravara (NOVA School of Science and Technology)

 

- DAIS 2025 (https://www.discotec.org/2025/dais)

  25th International Conference on Distributed Applications and Interoperable Systems

  PC Chairs: Daniel Balouek (Inria, France) and                Ibéria Medeiros (University of Lisbon, Portugal)

 

- FORTE 2025 (https://www.discotec.org/2025/forte)

  45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems

  PC Chairs: Carla Ferreira (NOVA University of Lisbon, Portugal) and Claudio A. Mezzina (University of Urbino, Italy)

 

* Accepted Papers *

 

See https://www.discotec.org/2025/accepted-papers for details.

 

* Satellite Events (June 16 and June 20) *

 

- ICE 2025 (https://www.discotec.org/2025/satellite/ice)

  18th Interaction and Concurrency Experience

 

- CORSE 2025 (https://www.discotec.org/2025/satellite/corse)

  Components Operationally: Reversibility and System Engineering

 

- ∆QSD 2025 (https://www.discotec.org/2025/satellite/DQSD)

  The ∆QSD Paradigm: Designing Systems with Predictable Performance at High Load

 

- WACA 2025 (https://waca-ws.github.io/2025/)

  Workshop on Adaptable Cloud Architectures

 

- Gender Parity / Women in Science (https://www.discotec.org/2025/satellite/women_in_science)

 

* Poster Competition (June 16) *

 

DisCoTec 2025 will host an event dedicated to Young Researchers - final year PhD, postdoc, first years of a permanent position. Details can be found at https://www.discotec.org/2025/satellite/yr-posters.

 

* Accommodations for parents of young children *

 

Subject to budget availability, we are planning to make special logistical arrangements for conference participants travelling with young children (and potentially accompanying persons). We invite interested persons to contact the General Chair (simon.bliudze@inria.fr), as soon as possible to discuss the arrangements that might be applicable.

 

* Live Updates *

 

To receive live, up-to-date information, follow us on Mastodon @DisCoTecConf (https://lipn.info/@DisCoTecConf), LinkedIn (https://www.linkedin.com/company/discotec-conf) and X @DisCoTecConf (https://X.com/DisCoTecConf).

 

[Caml-list] POPL 2025 Call for Participation (January 19-25, Denver, Colorado)

The 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL
2025) will take place in January in Denver, Colorado, the United States.

It's going to be an amazing conference - don't miss it - sign up now!
https://popl25.sigplan.org/attending/registration

Location: Curtis Hotel Denver, 1405 Curtis Street, 80202, Denver, Colorado, United States

Dates:
- Main conference: Wed 22 - Fri 24 January
- Workshops, tutorials, co-located events: Sun 19, Mon 20, Tue 21 and Sat 25 January

Accepted papers: https://popl25.sigplan.org/track/POPL-2025-popl-research-papers

Full details of the conference and co-located events: https://popl25.sigplan.org/

Sponsors: POPL is supported by generous sponsorship from:
- Amazon
- Jane Street
- Google DeepMind
- JetBrains
- Microsoft
- Epic
- Google
- Ahrefs

[Caml-list] ICGT 2025 - Call for Papers

======================================================
ICGT 2025
International Conference on Graph Transformations 2025
https://conf.researchr.org/home/icgt-2025
------------------------------------------------------
Research Papers Abstracts: 28 Jan 2025 (AoE)
Research Papers Submission: 4 Feb 2025 (AoE)
Journal-First Submission: 22 Apr 2025 (AoE)
Conference: within 10-13 Jun 2025
======================================================

The 18th International Conference on Graph Transformation (ICGT 2025)
will be held in Koblenz, Germany, as part of STAF 2025 (Software
Technologies: Applications and Foundations). The conference takes place
under the auspices of EASST, EATCS, and IFIP WG 1.3.

Aims and Scope
==============

The use of graphs and graph-like structures as a formalism for
specification and modelling is widespread in all areas of computer
science as well as in many fields of computational research and
engineering. Relevant examples include software architectures, pointer
structures, state space and control/data flow graphs, UML and other
domain-specific models, network layouts, topologies of cyber-physical
environments, quantum computing and molecular structures. Often, these
graphs undergo dynamic change, ranging from reconfiguration and
evolution to various kinds of behaviour, all of which may be captured by
rule-based graph manipulation. Thus, graphs and graph transformation
form a fundamental universal modelling paradigm that serves as a means
for formal reasoning and analysis, ranging from the verification of
certain properties of interest to the discovery of fundamentally new
insights.

ICGT aims at fostering exchange and collaboration of researchers from
different backgrounds working with graphs and graph transformation,
either in contributing to their theoretical foundations or by applying
established formalisms to classical or novel areas. The conference not
only serves as a well-established scientific publication outlet, but
also as a platform to boost inter- and intra-disciplinary research and
to leeway for new ideas.

Research Papers
===============

In order to foster a lively exchange of perspectives on the subject of
the conference, the programme committee of ICGT 2025 encourages all
kinds of contributions related to graphs and graph transformation,
either from a theoretical point of view or a practical one.

Topics
------

Topics of interest include, but are not limited to the following subjects:

* General models of graph transformation (e.g. adhesive categories and
hyperedge replacement systems)
* Analysis and verification of graph transformation systems
* Graph-based machine learning, including graph neural networks and
models of rule inference
* Graph theoretical properties of graph languages
* Automata on graphs and parsing of graph languages
* Logical aspects of graph transformation
* Computational models based on graphs
* Structuring and modularisation of graph transformation
* Hierarchical graphs and decomposition of graphs
* Parallel, concurrent, and distributed graph transformation
* Term graph and string diagram rewriting
* Petri nets and other models of concurrency
* Business process models and notations
* Bigraphs and bigraphical reactive systems
* Graph databases and graph queries
* Model-driven development and model transformation
* Model checking, program analysis and verification, simulation and
animation
* Syntax, semantics and implementation of programming languages,
including domain-specific and visual languages
* Graph transformation languages and tool support
* Efficient algorithms (e.g. pattern matching, graph traversal, network
analysis)
* Applications and case studies in software engineering (e.g. software
architectures, refactoring, access control, and service-orientation)
* Applications to computing paradigms (e.g. bio-inspired, quantum,
ubiquitous, and visual)
* Graph transformation and artificial intelligence (e.g., AI for graph
transformations, applying graph transformations in AI engineering and
search-based software engineering)

Submission Types
----------------

Authors are invited to submit research papers in three possible
categories. We are currently in discussion whether to go Open Access for
ICGT 2025. We will update and detail the calls as soon as possible.
Please take a look at the ICGT web site.

(1) Regular research papers, including papers describing applications
and case studies. Papers will be evaluated with respect to their
originality, significance, and technical soundness. Additional material
intended for reviewers (but not publication) may be included in a
clearly marked appendix. (While the exact layout is dependent on the
final publication venue, the content limit will correspond to the usual
16 pages in the LNCS style, excluding references and appendices)

(2) Tool presentation papers, which demonstrate the main features and
functionality of graph-based tools. A tool presentation may have an
appendix with a detailed demo description which will be reviewed but not
included in the proceedings. (While the exact layout is dependent on the
final publication venue, the content limit will correspond to 8 pages in
the LNCS style, excluding references and appendices, for the main part
and the equivalent of 4 pages in the LNCS style for the demo description)

(3) Blue Skies, reporting on new research directions or ideas which are
not yet sufficiently developed to fit in other categories. (While the
exact layout is dependent on the final publication venue, the content
limit will correspond to the usual 8 pages in the LNCS style, excluding
references and appendices)

Special Issue
--------------
Authors of the best papers at the conference will be invited to prepare
and submit extended journal versions to be considered for publication in
a special issue after an independent round of peer review (details TBA).

Journal-First Track
===================

We invite authors of previously published papers in all areas of graph
transformation to submit a journal-first contribution. Authors of
accepted journal-first papers will be invited to present their work at
ICGT 2025, enriching the programme, and providing an additional pathway
to engage with the community.

Contributions in this category must have been published in high-quality
journals, other high-quality conferences, and quality book chapters not
earlier than 2021.

Criteria
--------

* The original contribution must have been peer-reviewed and published
in a quality journal, quality conference (other than ICGT), or as a book
chapter in 2021 or later.
* It must be within the scope of ICGT (authors should briefly justify
this in their submission).
* The paper should not be an extended journal version of a paper
previously published at ICGT.
* Authors should indicate whether the paper has previously been
presented in equivalent Journal-First tracks of other conferences.

As contributions in this track will have already been peer-reviewed,
they will not be reviewed again for technical content. Rather, the
presentation proposals will be evaluated against the criteria above.

In the case where we have more submissions than available presentation
slots at ICGT 2025, we will prioritise presentation proposals that: (1)
will allow more authors to attend the conference, e.g., those with
presenters who are not represented in the research papers track; and (2)
will best complement the conference's technical programme.

Format
------

Authors should submit a presentation proposal consisting of the paper's
title, the paper's authors, the abstract, a link to the original
publication, who will be presenting the paper, and a brief justification
of its relevance to the ICGT community. The presentation proposal should
be prepared using Springer's LNCS format with a maximum of 2 pages.

The presentation proposals will not be included in ICGT's proceedings.


Program Committee
=================

Joerg Endrullis, Vrije Universitet Amsterdam, Co-Chair
Matthias Tichy, Ulm University, Co-Chair
Nicolas Behr, CNRS, Université Paris Cité
Andrea Corradini, University of Pisa
Fabio Gadducci, University of Pisa
Raffaela Groner, Chalmers | University of Gothenburg
Reiko Heckel, University of Leicester
Jens Kosiol, Philipps-Universität Marburg
Jean Krivine, CNRS
Harald König, FHDW Hannover
Leen Lambers, BTU Cottbus-Senftenberg
Detlef Plump, University of York
Arend Rensik, University of Twente
Andy Schürr, TU Darmstadt
Daniel Strüber, Chalmers | University of Gothenburg
Jens Weber, University of Victoria
Steffen Zschaller, King's College London