[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,

[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).

[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,

Kiran (She/Her) ,

Researcher working on proof maintenance,

Website: kirancodes.me

[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.

[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

[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

* Simon Peyton Jones

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

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

[Caml-list] 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 23^rd 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.

[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

[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

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

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

                 Thu 16 - Fri 17 Oct 2025, Singapore

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

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

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

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

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

Deadlines are valid anywhere on Earth.

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

Topics of interest include:

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

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

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

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

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

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

 * Functional Pearls, being elegant and instructive programming examples;

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

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

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

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

* Richard A. Eisenberg

* Simon Peyton Jones

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

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

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

FTfJP 2025 

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

Conference website: 

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

Submission link: 

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

=== Important dates ===

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

- Paper notification: 21 May 2025 (AoE)

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

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

=== Objectives and scope ===

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

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

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

Example topics of interest include:

- Language design and semantics

- Type systems

- Concurrency and new application domains

- Specification and verification of program properties

- Program analysis (static or dynamic)

- Program synthesis

- Security

- Pearls (programs or proofs)

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

=== Paper Categories ===

We solicit two categories of papers:

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

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

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

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

=== Submission guidelines ===

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

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

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

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

=== Steering Committee ===

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

- Radu Grigore, Facebook, United Kingdom

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

- Werner Dietl, University of Waterloo, Canada

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

    

=== Program Committee ===

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

- Richard Bubel, Technische Universität Darmstadt, Germany

- Syed Ali Asadullah Bukhari, Maynooth University, Ireland

- Claire Dross, AdaCore, France

- Erik Ernst, Google Inc., Denmark

- Marie Farrell, The University of Manchester, United Kingdom

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

- Atsushi Igarashi, Kyoto University, Japan

- Marie-Christine Jakobs, LMU Munich, Germany

- Taylor T Johnson, Vanderbilt University, United States

- Matthew Lutze, Aarhus University, Denmark

- Wojciech Mostowski, Halmstad University, Sweden

- Wytse Oortwijn, TNO-ESI, Netherlands

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

- Anton Wijs, Eindhoven University of Technology, Netherlands

- Elena Zucca, University of Genoa, Italy