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
2025-08-26
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.
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.
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,
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).
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).
2025-06-09
[Caml-list] [CFP] OCAML'25: The OCaml Users and Developers Workshop
The OCaml Users and Developers Workshop: ACM SIGPLAN Workshop
October 17th, 2025 Singapore, Singapore, and also online.
Call for presentations: https://conf.researchr.org/home/icfp-splash-2025/ocaml-2025
Submission site: https://ocaml2025.hotcrp.com
Talk proposal submission deadline: Thursday July 3rd, 2025
(Please redistribute widely.)
The OCaml Users and Developers Workshop brings together the OCaml
community, including users of OCaml in industry, academia, hobbyists
and the free software community.
OCaml 2025 will be co-located with ICFP/SPLASH 2025, which will take place in
Singapore, Singapore. We aim to organize it as a hybrid event, so that people
can attend and even give talks remotely: talks will be streamed in
real-time, and virtual participants will be able to chat and ask
questions in writing.
### Scope
Presentations and discussions focus on the OCaml programming language as well as the OCaml ecosystem and its community. We aim to solicit talks on all aspects and perspectives related to improving the use or development of the language and its programming environment.
Different aspects include, for example (but are not limited to):
- compiler developments, new backends, runtime and architectures
- practical type system improvements, such as GADTs, first-class modules, generic programming, or dependent types
- new library, tool or application releases, and their design rationales
- tools and infrastructure services, and their enhancements
- prominent industrial or experimental uses of OCaml, or deployments in unusual situations.
Different perspectives include, for example (but are not limited to):
- scientific and/or research-oriented
- engineering and/or user-oriented
- social and/or community-oriented.
### Presentations
The workshop is an informal meeting with no formal proceedings. The presentation material will be available online from the workshop homepage. The presentations may be recorded and made available at a later date.
The main presentation format is a workshop talk, traditionally around 20 minutes in length, plus question time, but we might also have a poster session during the workshop – this allows to present more diverse work, and gives time for discussion. The program committee will decide which presentations should be delivered as posters or talks.
### Submission
The submission website is available at: https://ocaml2025.hotcrp.com/
Conference website: https://conf.researchr.org/home/icfp-splash-2025/ocaml-2025
Please register a description of the talk (typically 2 pages long; it could also be less or more), a clear description of what will be provided by the presentation: the problems that are addressed, the solutions or methods that are proposed.
LaTeX-produced PDFs are a common and welcome submission format. For accessibility purposes, we ask PDF submitters to also provide the sources of their submission in a textual format, such as .tex sources. Reviewers may read either the submitted PDF or the text version.
[Last year's accepted presentations](https://icfp24.sigplan.org/home/ocaml-2024#event-overview) are available online.
#### Evaluation criteria
We will evaluate submissions according to the following aspects:
- relevance for the general OCaml community
- rigor and soundness
- novelty: new concepts/ideas, coverage of something unusual
- clear and understandable exposition of the content
- potential to deliver an engaging and informative (from a theoretical or practical point of view) presentation.
Not all submissions are expected to meet all criteria.
#### A note on affiliation quota
To guarantee coverage of diverse topics and perspectives, we will introduce a quota of maximum four accepted talks by speakers with the same affiliation, in line with previous workshops. Do not hesitate to submit your talk proposal in any case: quotas will be taken in account by the PC when deciding which submissions to accept. We know that authors may have many affiliations, or affiliations that are very broad (e.g. national research institutes). Judging from previous years we do not expect this to be a problem in most cases: the quota is intended to rule out extreme cases (e.g. having a disproportionate amount of accepted talks from colleagues of the same company).
### Attendance
We're aiming to make the workshop hybrid, meaning that talks as well as participation can be either in-person or remote, and remote attendance will be free. To promote a good atmosphere, communication and engagement, we'll prefer to have most talks in-person, but remote talks will be most welcome as well.
Thanks to support from the OCaml Software Foundation, registration fees will be covered for speakers in cases they can't get it funded by other means (e.g. their employer).
### ML family workshop
The ML family workshop, held on the previous day, deals with general issues of the ML-style programming and type systems, focuses on more research-oriented work that is less specific to a language in particular. There is an overlap between the two workshops, and we have occasionally transferred presentations from one to the other in the past. Authors who feel their submission fits both workshops are encouraged to mention it at submission time and/or contact the Program Chairs.
Best,
Kiran & Yasu,
2025-06-03
[Caml-list] IFl 2025, Second 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 excluding 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. Regular
papers can be: accepted for publication in the formal proceedings,
accepted for presentation at the symposium or rejected.
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.
We require that at least one of the authors present the work at IFL 2025.
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 after the symposium. 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=ifl2025
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
Publicity Chair:
Mart Lubbers, Radboud University, The Netherlands
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.
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 excluding 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. Regular
papers can be: accepted for publication in the formal proceedings,
accepted for presentation at the symposium or rejected.
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.
We require that at least one of the authors present the work at IFL 2025.
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 after the symposium. 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=ifl2025
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
Publicity Chair:
Mart Lubbers, Radboud University, The Netherlands
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.
2025-06-02
[Caml-list] EXPRESS/SOS@CONFEST2025 - Last Call for papers
**********************************
Last Call for Papers Express/SOS 2025
* Venue: Aarhus, Denmark, August 25, 2025
* Submission deadline: June 13, 2025 (full and short papers)
* Website: https://expresssos.github.io/conf/2025
**********************************
Combined 32nd International Workshop on Expressiveness in Concurrency and
22nd Workshop on Structural Operational Semantics (EXPRESS/SOS 2025)
Aarhus, Denmark, August 25, 2025, Affiliated with CONCUR 2025
===========================================
== IMPORTANT DATES
- Paper submission Friday, June 13, 2025 (extended)
- Paper notification Thursday, July 10, 2025
- Workshop: August 25, 2025
- Final version (post-proceedings): September 25, 2025
== SCOPE AND TOPICS
The EXPRESS/SOS workshop series aims to bring together researchers
interested in the formal semantics of systems and programming
concepts, and in the expressiveness of computational models.
Topics of interest for EXPRESS/SOS 2025 include, but are not limited to:
- expressiveness and rigorous comparisons between models of
computation (process algebras, event structures, Petri nets, rewrite
systems)
- expressiveness and rigorous comparisons between programming
languages and models (distributed, component-based, object-oriented,
service-oriented);
- logics for concurrency (modal logics, probabilistic and stochastic
logics, temporal logics and resource logics);
- analysis techniques for concurrent systems;
- theory of structural operational semantics (meta-theory,
category-theoretic approaches, congruence results);
- comparisons between structural operational semantics and other
formal semantic approaches;
- applications and case studies of structural operational semantics;
- software tools that automate, or are based on, structural
operational semantics.
We especially welcome contributions bridging the gap between the above
topics and neighbouring areas, such as, for instance:
- computer security
- multi-agent systems
- programming languages
- formal verification
- reversible computation
- knowledge representation
== SUBMISSION GUIDELINES:
We invite two types of submissions:
* Full papers (up to 15 pages, excluding references).
* Short papers (up to 5 pages, excluding references, not included in
the workshop post-proceedings)
All submissions have to adhere to the EPTCS format (https://info.eptcs.org/).
Simultaneous submission to journals, conferences or other workshops is
only allowed for short papers; full papers must be unpublished.
Submission is performed through EasyChair:
https://easychair.org/conferences/?conf=expresssos2025
The final versions of accepted full papers will be published in EPTCS.
It is understood that for each accepted submission one of the
co-authors will register for the workshop and present the paper.
* We are pleased to announce the possibility of a Joint Special Issue
with EXPRESS/SOS 2024 (due in December 2025).
== WORKSHOP CO-CHAIRS:
Cinzia Di Giusto (Université de Nice Sophia-Antipolis, France)
Giorgio Bacci (Aalborg University, Denmark)
== PROGRAM COMMITTEE:
Antonis Achilleos (Reykjavik University)
Elli Anastasiadi (Aalborg University)
Benjamin Bisping (TU Berlin)
Georgiana Caltais (University of Twente)
Valentina Castiglioni (Eindhoven University of Technology)
Luc Edixhoven (Centrum Wiskunde & Informatica - CWI)
Paola Giannini (Universita' del Piemonte Orientale)
Daniele Gorla (University of Rome La Sapienza)
Ping Hou (University of Oxford)
Hans Hüttel (Aalborg University)
Claudio Antares Mezzina (Università di Urbino)
Andreia Mordido (University of Lisbon)
Kirstin Peters (Universität Augsburg)
Anna Philippou (University of Cyprus)
Alceste Scalas (Technical University of Denmark)
Elena Zucca (University of Genova)
Rob van Glabbeek (University of Edinburgh)
Bas van den Heuvel (Karlsruhe University of Applied Sciences)
== CONTACT
Prospective authors are encouraged to contact the co-chairs in case of
questions at
cinzia.di-giusto@univ-cotedazur.fr
grbacci@cs.aau.dk
Last Call for Papers Express/SOS 2025
* Venue: Aarhus, Denmark, August 25, 2025
* Submission deadline: June 13, 2025 (full and short papers)
* Website: https://expresssos.github.io/conf/2025
**********************************
Combined 32nd International Workshop on Expressiveness in Concurrency and
22nd Workshop on Structural Operational Semantics (EXPRESS/SOS 2025)
Aarhus, Denmark, August 25, 2025, Affiliated with CONCUR 2025
===========================================
== IMPORTANT DATES
- Paper submission Friday, June 13, 2025 (extended)
- Paper notification Thursday, July 10, 2025
- Workshop: August 25, 2025
- Final version (post-proceedings): September 25, 2025
== SCOPE AND TOPICS
The EXPRESS/SOS workshop series aims to bring together researchers
interested in the formal semantics of systems and programming
concepts, and in the expressiveness of computational models.
Topics of interest for EXPRESS/SOS 2025 include, but are not limited to:
- expressiveness and rigorous comparisons between models of
computation (process algebras, event structures, Petri nets, rewrite
systems)
- expressiveness and rigorous comparisons between programming
languages and models (distributed, component-based, object-oriented,
service-oriented);
- logics for concurrency (modal logics, probabilistic and stochastic
logics, temporal logics and resource logics);
- analysis techniques for concurrent systems;
- theory of structural operational semantics (meta-theory,
category-theoretic approaches, congruence results);
- comparisons between structural operational semantics and other
formal semantic approaches;
- applications and case studies of structural operational semantics;
- software tools that automate, or are based on, structural
operational semantics.
We especially welcome contributions bridging the gap between the above
topics and neighbouring areas, such as, for instance:
- computer security
- multi-agent systems
- programming languages
- formal verification
- reversible computation
- knowledge representation
== SUBMISSION GUIDELINES:
We invite two types of submissions:
* Full papers (up to 15 pages, excluding references).
* Short papers (up to 5 pages, excluding references, not included in
the workshop post-proceedings)
All submissions have to adhere to the EPTCS format (https://info.eptcs.org/).
Simultaneous submission to journals, conferences or other workshops is
only allowed for short papers; full papers must be unpublished.
Submission is performed through EasyChair:
https://easychair.org/conferences/?conf=expresssos2025
The final versions of accepted full papers will be published in EPTCS.
It is understood that for each accepted submission one of the
co-authors will register for the workshop and present the paper.
* We are pleased to announce the possibility of a Joint Special Issue
with EXPRESS/SOS 2024 (due in December 2025).
== WORKSHOP CO-CHAIRS:
Cinzia Di Giusto (Université de Nice Sophia-Antipolis, France)
Giorgio Bacci (Aalborg University, Denmark)
== PROGRAM COMMITTEE:
Antonis Achilleos (Reykjavik University)
Elli Anastasiadi (Aalborg University)
Benjamin Bisping (TU Berlin)
Georgiana Caltais (University of Twente)
Valentina Castiglioni (Eindhoven University of Technology)
Luc Edixhoven (Centrum Wiskunde & Informatica - CWI)
Paola Giannini (Universita' del Piemonte Orientale)
Daniele Gorla (University of Rome La Sapienza)
Ping Hou (University of Oxford)
Hans Hüttel (Aalborg University)
Claudio Antares Mezzina (Università di Urbino)
Andreia Mordido (University of Lisbon)
Kirstin Peters (Universität Augsburg)
Anna Philippou (University of Cyprus)
Alceste Scalas (Technical University of Denmark)
Elena Zucca (University of Genova)
Rob van Glabbeek (University of Edinburgh)
Bas van den Heuvel (Karlsruhe University of Applied Sciences)
== CONTACT
Prospective authors are encouraged to contact the co-chairs in case of
questions at
cinzia.di-giusto@univ-cotedazur.fr
grbacci@cs.aau.dk
2025-05-29
[Caml-list] Haskell Symposium 2025 Call for Papers (deadline June 9 AOE)
========================================================================
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
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
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
2025-05-15
[Caml-list] DisCoTec Call for Participation - Early Registration Deadline Soon
[Apologies for multiple postings]
*********************************
Joint Call for Participation – DisCoTec2025
20th International Federated Conference on Distributed Computing Techniques
Lille, France, June 16-20, 2025
https://www.discotec.org/2025/
--- IMPORTANT INFO ---
Register now at https://www.discotec.org/2025/registration
Early registration closes on 23rd of May.
We recommend you make your hotel reservations ASAP.
After registering, join the DisCoTec WhatsApp group if you would like help finding accommodation and possibly share with other conference attendees. Details on our main page.
Programme overview is now available.
An overview of this year's programme can be found at https://www.discotec.org/2025/programme.
A list of accepted papers is available at https://www.discotec.org/2025/accepted-papers.
The detailed programme will be available very soon.
Follow our socials for live updates!
Mastodon @DisCoTecConf (https://lipn.info/@DisCoTecConf), LinkedIn (https://www.linkedin.com/company/discotec-conf) and X @DisCoTecConf (https://X.com/DisCoTecConf).
*********************************
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.
* 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)
* 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.
2025-05-13
[Caml-list] EXPRESS/SOS@CONFEST2025 - Call for papers
**********************************
2nd Call for Papers Express/SOS 2025
* Venue: Aarhus, Denmark, August 25, 2025
* Submission deadline: June 3, 2025 (full and short papers)
* Website: https://expresssos.github.io/conf/2025
**********************************
Combined 32nd International Workshop on Expressiveness in Concurrency and
22nd Workshop on Structural Operational Semantics (EXPRESS/SOS 2025)
Aarhus, Denmark, August 25, 2025, Affiliated with CONCUR 2025
===========================================
== IMPORTANT DATES
- Paper submission Tuesday, June 3, 2025
- Paper notification Thursday, July 10, 2025
- Workshop: August 25, 2025
- Final version (post-proceedings): September 25, 2025
== SCOPE AND TOPICS
The EXPRESS/SOS workshop series aims to bring together researchers
interested in the formal semantics of systems and programming
concepts, and in the expressiveness of computational models.
Topics of interest for EXPRESS/SOS 2025 include, but are not limited to:
- expressiveness and rigorous comparisons between models of
computation (process algebras, event structures, Petri nets, rewrite
systems)
- expressiveness and rigorous comparisons between programming
languages and models (distributed, component-based, object-oriented,
service-oriented);
- logics for concurrency (modal logics, probabilistic and stochastic
logics, temporal logics and resource logics);
- analysis techniques for concurrent systems;
- theory of structural operational semantics (meta-theory,
category-theoretic approaches, congruence results);
- comparisons between structural operational semantics and other
formal semantic approaches;
- applications and case studies of structural operational semantics;
- software tools that automate, or are based on, structural
operational semantics.
We especially welcome contributions bridging the gap between the above
topics and neighbouring areas, such as, for instance:
- computer security
- multi-agent systems
- programming languages
- formal verification
- reversible computation
- knowledge representation
== SUBMISSION GUIDELINES:
We invite two types of submissions:
* Full papers (up to 15 pages, excluding references).
* Short papers (up to 5 pages, excluding references, not included in
the workshop post-proceedings)
All submissions have to adhere to the EPTCS format (https://info.eptcs.org/).
Simultaneous submission to journals, conferences or other workshops is
only allowed for short papers; full papers must be unpublished.
Submission is performed through EasyChair:
https://easychair.org/conferences/?conf=expresssos2025
The final versions of accepted full papers will be published in EPTCS.
It is understood that for each accepted submission one of the
co-authors will register for the workshop and present the paper.
* We are pleased to announce the possibility of a Joint Special Issue
with EXPRESS/SOS 2024 (due in December 2025).
== WORKSHOP CO-CHAIRS:
Cinzia Di Giusto (Université de Nice Sophia-Antipolis, France)
Giorgio Bacci (Aalborg University, Denmark)
== PROGRAM COMMITTEE:
Antonis Achilleos (Reykjavik University)
Elli Anastasiadi (Aalborg University)
Benjamin Bisping (TU Berlin)
Georgiana Caltais (University of Twente)
Valentina Castiglioni (Eindhoven University of Technology)
Luc Edixhoven (Centrum Wiskunde & Informatica - CWI)
Paola Giannini (Universita' del Piemonte Orientale)
Daniele Gorla (University of Rome La Sapienza)
Ping Hou (University of Oxford)
Hans Hüttel (Aalborg University)
Claudio Antares Mezzina (Università di Urbino)
Andreia Mordido (University of Lisbon)
Kirstin Peters (Universität Augsburg)
Anna Philippou (University of Cyprus)
Alceste Scalas (Technical University of Denmark)
Elena Zucca (University of Genova)
Rob van Glabbeek (University of Edinburgh)
Bas van den Heuvel (Karlsruhe University of Applied Sciences)
== CONTACT
Prospective authors are encouraged to contact the co-chairs in case of
questions at
cinzia.di-giusto@univ-cotedazur.fr
grbacci@cs.aau.dk
2nd Call for Papers Express/SOS 2025
* Venue: Aarhus, Denmark, August 25, 2025
* Submission deadline: June 3, 2025 (full and short papers)
* Website: https://expresssos.github.io/conf/2025
**********************************
Combined 32nd International Workshop on Expressiveness in Concurrency and
22nd Workshop on Structural Operational Semantics (EXPRESS/SOS 2025)
Aarhus, Denmark, August 25, 2025, Affiliated with CONCUR 2025
===========================================
== IMPORTANT DATES
- Paper submission Tuesday, June 3, 2025
- Paper notification Thursday, July 10, 2025
- Workshop: August 25, 2025
- Final version (post-proceedings): September 25, 2025
== SCOPE AND TOPICS
The EXPRESS/SOS workshop series aims to bring together researchers
interested in the formal semantics of systems and programming
concepts, and in the expressiveness of computational models.
Topics of interest for EXPRESS/SOS 2025 include, but are not limited to:
- expressiveness and rigorous comparisons between models of
computation (process algebras, event structures, Petri nets, rewrite
systems)
- expressiveness and rigorous comparisons between programming
languages and models (distributed, component-based, object-oriented,
service-oriented);
- logics for concurrency (modal logics, probabilistic and stochastic
logics, temporal logics and resource logics);
- analysis techniques for concurrent systems;
- theory of structural operational semantics (meta-theory,
category-theoretic approaches, congruence results);
- comparisons between structural operational semantics and other
formal semantic approaches;
- applications and case studies of structural operational semantics;
- software tools that automate, or are based on, structural
operational semantics.
We especially welcome contributions bridging the gap between the above
topics and neighbouring areas, such as, for instance:
- computer security
- multi-agent systems
- programming languages
- formal verification
- reversible computation
- knowledge representation
== SUBMISSION GUIDELINES:
We invite two types of submissions:
* Full papers (up to 15 pages, excluding references).
* Short papers (up to 5 pages, excluding references, not included in
the workshop post-proceedings)
All submissions have to adhere to the EPTCS format (https://info.eptcs.org/).
Simultaneous submission to journals, conferences or other workshops is
only allowed for short papers; full papers must be unpublished.
Submission is performed through EasyChair:
https://easychair.org/conferences/?conf=expresssos2025
The final versions of accepted full papers will be published in EPTCS.
It is understood that for each accepted submission one of the
co-authors will register for the workshop and present the paper.
* We are pleased to announce the possibility of a Joint Special Issue
with EXPRESS/SOS 2024 (due in December 2025).
== WORKSHOP CO-CHAIRS:
Cinzia Di Giusto (Université de Nice Sophia-Antipolis, France)
Giorgio Bacci (Aalborg University, Denmark)
== PROGRAM COMMITTEE:
Antonis Achilleos (Reykjavik University)
Elli Anastasiadi (Aalborg University)
Benjamin Bisping (TU Berlin)
Georgiana Caltais (University of Twente)
Valentina Castiglioni (Eindhoven University of Technology)
Luc Edixhoven (Centrum Wiskunde & Informatica - CWI)
Paola Giannini (Universita' del Piemonte Orientale)
Daniele Gorla (University of Rome La Sapienza)
Ping Hou (University of Oxford)
Hans Hüttel (Aalborg University)
Claudio Antares Mezzina (Università di Urbino)
Andreia Mordido (University of Lisbon)
Kirstin Peters (Universität Augsburg)
Anna Philippou (University of Cyprus)
Alceste Scalas (Technical University of Denmark)
Elena Zucca (University of Genova)
Rob van Glabbeek (University of Edinburgh)
Bas van den Heuvel (Karlsruhe University of Applied Sciences)
== CONTACT
Prospective authors are encouraged to contact the co-chairs in case of
questions at
cinzia.di-giusto@univ-cotedazur.fr
grbacci@cs.aau.dk
2025-05-07
[Caml-list] OCAML'25: The OCaml Users and Developers Workshop - Second Call for Papers
The OCaml Users and Developers Workshop: ACM SIGPLAN Workshop
October 17th, 2025 Singapore, Singapore, and also online.
Call for presentations: https://conf.researchr.org/home/icfp-splash-2025/ocaml-2025
Submission site: https://ocaml2025.hotcrp.com
Talk proposal submission deadline: Thursday July 3rd, 2025
(Please redistribute widely.)
The OCaml Users and Developers Workshop brings together the OCaml
community, including users of OCaml in industry, academia, hobbyists
and the free software community.
OCaml 2025 will be co-located with ICFP/SPLASH 2025, which will take place in
Singapore, Singapore. We aim to organize it as a hybrid event, so that people
can attend and even give talks remotely: talks will be streamed in
real-time, and virtual participants will be able to chat and ask
questions in writing.
### Scope
Presentations and discussions focus on the OCaml programming language as well as the OCaml ecosystem and its community. We aim to solicit talks on all aspects and perspectives related to improving the use or development of the language and its programming environment.
Different aspects include, for example (but are not limited to):
- compiler developments, new backends, runtime and architectures
- practical type system improvements, such as GADTs, first-class modules, generic programming, or dependent types
- new library, tool or application releases, and their design rationales
- tools and infrastructure services, and their enhancements
- prominent industrial or experimental uses of OCaml, or deployments in unusual situations.
Different perspectives include, for example (but are not limited to):
- scientific and/or research-oriented
- engineering and/or user-oriented
- social and/or community-oriented.
### Presentations
The workshop is an informal meeting with no formal proceedings. The presentation material will be available online from the workshop homepage. The presentations may be recorded and made available at a later date.
The main presentation format is a workshop talk, traditionally around 20 minutes in length, plus question time, but we might also have a poster session during the workshop – this allows to present more diverse work, and gives time for discussion. The program committee will decide which presentations should be delivered as posters or talks.
### Submission
The submission website is available at: https://ocaml2025.hotcrp.com/
Conference website: https://conf.researchr.org/home/icfp-splash-2025/ocaml-2025
Please register a description of the talk (typically 2 pages long; it could also be less or more), a clear description of what will be provided by the presentation: the problems that are addressed, the solutions or methods that are proposed.
LaTeX-produced PDFs are a common and welcome submission format. For accessibility purposes, we ask PDF submitters to also provide the sources of their submission in a textual format, such as .tex sources. Reviewers may read either the submitted PDF or the text version.
[Last year's accepted presentations](https://icfp24.sigplan.org/home/ocaml-2024#event-overview) are available online.
#### Evaluation criteria
We will evaluate submissions according to the following aspects:
- relevance for the general OCaml community
- rigor and soundness
- novelty: new concepts/ideas, coverage of something unusual
- clear and understandable exposition of the content
- potential to deliver an engaging and informative (from a theoretical or practical point of view) presentation.
Not all submissions are expected to meet all criteria.
#### A note on affiliation quota
To guarantee coverage of diverse topics and perspectives, we will introduce a quota of maximum four accepted talks by speakers with the same affiliation, in line with previous workshops. Do not hesitate to submit your talk proposal in any case: quotas will be taken in account by the PC when deciding which submissions to accept. We know that authors may have many affiliations, or affiliations that are very broad (e.g. national research institutes). Judging from previous years we do not expect this to be a problem in most cases: the quota is intended to rule out extreme cases (e.g. having a disproportionate amount of accepted talks from colleagues of the same company).
### Attendance
We're aiming to make the workshop hybrid, meaning that talks as well as participation can be either in-person or remote, and remote attendance will be free. To promote a good atmosphere, communication and engagement, we'll prefer to have most talks in-person, but remote talks will be most welcome as well.
Thanks to support from the OCaml Software Foundation, registration fees will be covered for speakers in cases they can't get it funded by other means (e.g. their employer).
### ML family workshop
The ML family workshop, held on the previous day, deals with general issues of the ML-style programming and type systems, focuses on more research-oriented work that is less specific to a language in particular. There is an overlap between the two workshops, and we have occasionally transferred presentations from one to the other in the past. Authors who feel their submission fits both workshops are encouraged to mention it at submission time and/or contact the Program Chairs.
Best,
Kiran & Yasu,
Kiran Gopinathan (She/Her) ,
Postdoctoral Researcher @ UIUC,
Working on proof maintenance and repair,
Website: https://kirancodes.me