2025-01-07

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

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

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

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

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

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

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

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


2024-12-18

[Caml-list] ICGT 2025 - Call for Papers

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

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

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

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

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

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

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

Topics
------

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

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

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

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

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

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

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

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

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

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

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

Criteria
--------

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

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

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

Format
------

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

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


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

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

2024-12-16

[Caml-list] Last Call for Participation: BOB 2025 (Berlin, Mar 14)

(And of course, there's OCaml material at BOB!)

=========================================================================
BOB 2025
Conference
"What happens if we simply use what's best?"
March 14, 2025, Berlin
https://bobkonf.de/2025/

Program: https://bobkonf.de/2025/program.html
Registration: https://bobkonf.de/2025/registration.html
=========================================================================

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

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

https://bobkonf.de/2025/program.html

Talk subjects includes functional programming, property-based testing,
language server implementation, domain-specific languages,
domain-driven design, local-first software, formal methods, and
microservices.

BOB tutorial include sessions on frontend development, local-first
programming, data science, Elixir, and software documentation,
combining mob programming, TDD, and AI.

Anette Bieniusa will give the keynote talk.

Registration is open - many discount options are available, as are
grants for members of groups underrepresented in tech. Early-bird
discounts apply until Jan 17.

https://bobkonf.de/2025/registration.html

2024-12-15

[Caml-list] ISORC 2025-Call for Paper

(Apologies for the multiple postings. Appreciate it if you could distribute this CFP in your network)
=================================================
28th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Toulouse, France.
May 26-28, 2025

isorc.github.io/2025/

ISORC has been established as the leading event devoted to state-of-the-art research and state-of-the-practice applications in the field of real-time distributed computing. Celebrating the 28th anniversary since its foundation in 1998, ISORC continues the trend of providing an international forum for researchers and industry experts to exchange and share their experiences, ideas, latest research results on all aspects of IEEE Conference Proceeding templates technology.

Topics and Scope
IEEE ISORC 2025 invites high-quality papers on all aspects of IEEE Conference Proceeding templates technology, including, but not limited to:
· Software Architectures for Distributed and/or Real-Time Computing.
· Distributed and/or Real-Time Image, Video, and Stream Processing.
· Distributed and/or Real-Time Communication for Emerging and Future Networks.
· Blockchain and Distributed Ledger for Distributed and/or Real-time Computing.
· DevOps and CI/CD for Distributed and/or Real Time Computing.
· AI/ML, LLM, ML on the Edge, Federated Learning for Distributed and/or Real-time Computing.
· Digital Twin for Distributed and/or Real-time Computing.
· Cybersecurity, and Trust for Distributed and/or Real-Time IoT Systems.
· Optimization Approaches for Distributed and Real-Time Computing.
· Sustainable and Green Computing Transformation for Distributed and Real-Time Computing.
· Formal Verification and Model Checking for Distributed and Real-Time Computing.
· Ontology-Based Knowledge Modelling for Distributed and Real-Time Computing.
· Dependability, Fault Tolerance, and Resilience.
· Big Data, Algorithms, Models, and Techniques for Real-Time Analytics.
· Operating Systems, Middleware, and System Software.
· Distributed Management, Monitoring, Performance Evaluation.
· Distributed and/or Real-time Computing Applications in IoT, CPS, Edge-Cloud, etc.


Important Dates
· Submission deadline: January 08, 2025
· Acceptance notification: March 05, 2025
· Author registration deadline: March 16, 2025
· Camera-ready papers: March 20, 2025


Guidelines for Manuscripts
IEEE ISORC 2025 invites papers in the following categories:
· Regular Research Papers: Papers should describe original work and should be 10 pages maximum, plus two extra purchased pages for appendix and references.
· Industrial Papers and Practitioner Reports: Papers should be of 10 pages, plus 2 extra purchased pages for appendix and references. Papers describing experiences of using ORC technology in application or tool development projects, are an integral part of the technical program of ISORC.
· Short Papers: Short research papers, maximum 6 pages are also invited, and should contain enough information for the program committee to understand the scope of the project and evaluate the novelty of the problem or approach.
All papers should be formatted in the standard IEEE double-column format using the published IEEE Conference Proceeding templates, and submitted through the HotCRP system:  https://isorc25.hotcrp.com/


For More Information
More information about IEEE ISORC 2025, including submission guidelines, can be found at:  isorc.github.io/2025/

Journal Publication Opportunity
The authors of selected papers from this symposium will be invited to submit an extended version of their work for the Special Issue on AI-Driven Real-Time Distributed Computing for the Edge-Cloud Continuum review and possible publication in the  Elsevier Journal of Systems Architecture: Embedded Software Design (JSA).

FURTHER INFORMATION:
If you have questions or encounter any problems, please notify the PC co-chairs:
· Daniel Casini, Scuola Superiore Sant'Anna - Pisa, Italy
· Pascal Berthou, University of Toulouse III, UPS, CNRS-LAAS, France
· Mustafa Al Lail, Texas A&M International University, USA

2024-11-20

[Caml-list] POPL 2025 Call for Participation - Early registration: 20 December

POPL 2025 -- Call for Participation

** Early registration deadline: 20 December 2024 **

Come and join us for POPL 2025, in January, in Denver, Colorado, the United States.

Register here: https://popl25.sigplan.org/attending/registration

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

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

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

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

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

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

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

2024-11-12

[Caml-list] Final Call for Papers: FORMALISE 2025 - EXTENDED DEADLINES


Call for Papers: FORMALISE 2025

13th International Conference on Formal Methods in Software Engineering

27 and 28 April, 2025

 co-located with ICSE 2025 (April 27-May 3, 2025), Ottawa, Canada

https://conf.researchr.org/home/Formalise-2025


Overview

Historically, formal methods academic research and practical software development have had limited mutual interactions — except possibly in specialized domains such as safety-critical software. In recent times, the outlook has considerably improved: on the one hand, formal methods research has delivered more flexible techniques and tools that can support various aspects of the software development process: from user requirements elicitation, to design, implementation, verification and validation, as well as the creation of documentation. On the other hand, software engineering has developed a growing interest in rigorous techniques applied at scale.


The FormaliSE conference series promotes work at the intersection of the formal methods and software engineering communities, providing a venue to exchange ideas, experiences, techniques, and results. We believe more collaboration between these two communities can be mutually beneficial by fostering the creation of formal methods that are practically useful and by helping develop higher-quality software.


Originally a workshop event, since 2018 FormaliSE has been organized as a conference co-located with ICSE. The 13th edition of FormaliSE will also take place as a co-located conference of ICSE 2025.


Areas of interest include but are not limited to:


  • requirements formalization and formal specification;

  • approaches, methods and tools for verification and validation;

  • formal approaches to safety and security related issues;

  • analysis of performance and other non-functional properties based on formal approaches;

  • scalability of formal method applications

  • integration of formal methods within the software development lifecycle (e.g., change management, continuous integration, regression testing, and deployment)

  • model-based engineering approaches;

  • correctness-by-construction approaches for software and systems engineering;

  • application of formal methods to specific domains, e.g., autonomous, cyber-physical, intelligent, and IoT systems;

  • formal methods for AI-based systems (FM4AI), and AI applied in formal method approaches (AI4FM);

  • formal methods in a certification context

  • case studies developed/analyzed with formal approaches

  • experience reports on the application of formal methods to real-world problems;

  • guidelines to use formal methods in practice;

  • usability of formal methods.


Important dates:

  • Abstracts due: 18 November 2024 (AoE) - EXTENDED DEADLINE

  • Submissions: 25 November 2024 (AoE) - EXTENDED DEADLINE

  • Notifications: 13 January 2025

  • Camera ready copies: 5 February 2025

  • FormaliSE conference: 27-28 April 2025


Paper submission guidelines
We accept papers in three categories:

  • Full research papers describing original research work and results. We encourage authors to include validation of their contributions by means of a case study or experiments.  We also welcome research papers focusing on tools and tool development.

  • Case study papers discussing a significant application that suggests general lessons learned and motivates further research, or empirically validates theoretical results (such as a technique's scalability).

  • Research ideas papers describing new ideas in preliminary form, in a way that can stimulate interesting discussions at the conference, and suggest future work.


All papers submitted to the FormaliSE 2025 conference must be written in English, must be unpublished original work, and must not be under review or submitted elsewhere at the time of submission. Submissions must comply with the FormaliSE's lightweight double-anonymous review process (see below).

Full research papers and case study papers can take up to 10 pages including all text, figures, tables and appendices, but excluding references. Research ideas papers can take up to 4 pages, plus up to 1 additional page solely for references.

To avoid that authors waste time fitting their papers into the stated limit at the expense of presentation clarity, paper lengths slightly exceeding the stated limit will still be considered, provided that the reviewers find that the presentation is of high quality.

All submissions must be in PDF format and must conform to the IEEE conference proceedings template, specified in the IEEE Conference Proceedings Formatting Guidelines (i.e., title in 24pt font and full text in 10pt type): https://www.ieee.org/conferences/publishing/templates.html 

In LaTeX, use \documentclass[10pt,conference]{IEEEtran} without including the compsoc or compsocconf options. 


To submit a paper to FormaliSE 2025 use thisHotCRP link: https://formalise25.hotcrp.com/

Lightweight Double-Blind Review Process for Papers
As in recent editions, FormaliSE 2025 will use a lightweight double-anonymous process. Authors must omit their names and institutions from the title page, cite their own work in the third person, and omit acknowledgments that may reveal their identity or affiliation. The purpose is reducing chances of reviewer bias influenced by the authors' identities. The double-anonymous process is, however, lightweight, which means that it should not pose a heavy burden for authors, nor should make a paper's presentation weaker or more difficult to review. Also, advertising the paper as part of your usual research activities (for example, on your personal web-page, in a pre-print archive, by email, in talks or discussions with colleagues) is permitted without penalties.

Paper selection
Each paper will be reviewed by at least three program committee members that will judge its overall quality in terms of its soundness, significance, novelty, verifiability, and presentation clarity.

FormaliSE 2025 will adopt a lightweight response process: if all the reviewers of a given paper agree that a clarification from the authors regarding a specific question could move the paper from "borderline" to "accept", the chairs will relay the reviewers' questions to the authors by email, and then share their reply with the reviewers in HotCRP. The goal of lightweight responses is reducing the chance of  random decisions on  borderline papers. Hence, they will only be used for a minority of submissions; most papers will not require such an author response. Nevertheless, we would ask the corresponding authors of all submissions to make sure that they are available to answer questions by email upon request.

Artifact Evaluation
Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, FormaliSE 2025 continues its Artifact Evaluation (AE) procedure. An artifact is any additional material (software, data sets, machine-checkable proofs, etc.) that substantiates the claims made in the paper and ideally makes them fully reproducible.

Submission of an artifact is optional but encouraged for all papers where it can support the results presented in the paper. Artifact review is single-anonymous (the paper corresponding to an artifact must still follow the double-anonymous submissions requirements) and will be conducted concurrently with the paper reviewing process. Artifacts will be handled by a separate Artifact Evaluation Committee, and the Artifact Evaluation process will be set up such that the anonymization of the corresponding papers will not be compromised. Accepted papers with a successfully evaluated artefact will be awarded the [EAPLS badges (https://eapls.org/pages/artifact_badges/) that apply (among "Functional", "Reusable", and "Available"). Awarded badges are to be added to the camera-ready version of the paper.

Artifacts will be assessed with respect to their consistency with the results presented in the paper, their completeness, their documentation, and their ease of use. The Artifact Evaluation will include an initial check for technical issues; authors of artifacts may be contacted by email within the first two weeks after artifact submission to help resolve any technical problems that prevent the evaluation of an artifact if necessary.

The results of an artifact evaluation will not be available to the reviewers of the corresponding paper; hence, they will not affect the paper's acceptance decision. However, reviewers will know whether a paper has submitted *any* artifacts; this piece of information may be taken into account to decide whether the paper should be accepted. Thus, if there are justifiable reasons why a paper's artifacts cannot be submitted, they should be pointed out in the paper so that the reviewers can appreciate them and adjust their expectations accordingly.

Detailed guidelines for preparation and submission of artifacts will be described in a dedicated page inFormaliSE 2025's website.

Publication
All accepted papers are published as part of the ICSE 2025 Proceedings in the ACM and IEEE Digital Libraries.

At least one author of each accepted paper is required to register for the conference and present the paper at the conference — physically or, if the circumstances do not allow so, virtually. Failure to register an author will result in a paper being removed from the proceedings.

General Chairs

  • Stefania Gnesi, Istituto di Scienza e Tecnologie dell'Informazione, Italy

  • Nico Plat, Thanos, The Netherlands


Program Chairs

  • Anastasia Mavridou, KBR / NASA Ames Research Center, USA

  • Gwen Salaün, University Grenoble Alpes, France


Artifact Evaluation Chairs

  • Ákos Hajdu, Meta, UK

  • Lina Marsso, University of Toronto, Canada


Social Media Chair

  • Quentin Nivon, University Grenoble Alpes, France


Program committee

  • Bernhard Aichernig, TU Graz, Austria

  • Toshiaki Aoki, Japan Advanced Institute of Science and Technology, Japan 

  • Kyungmin Bae, Pohang University of Science and Technology, Korea 

  • Domenico Bianculli, University of Luxembourg, Luxembourg 

  • Simon Bliudze, INRIA Lille - Nord Europe, France

  • Giovanna Broccia, ISTI - CNR, Italy

  • Radu Calinescu, University of York, UK 

  • Pablo Castro, National University of Rio Cuarto, Argentina 

  • Zhenbang Chen, NUDT, China

  • Nancy Day, University of Waterloo, Canada

  • Francisco Durán, University of Málaga, Spain

  • Marie Farrell, University of Manchester, UK 

  • Carlo A. Furia, USI Lugano, Switzerland   

  • Fatemeh Ghassemi, University of Tehran, Iran 

  • Divya Gopinath, KBR/ NASA Ames Research Center, USA 

  • Yann-Gaël Guéhéneuc, Concordia University, Canada

  • Paula Herber, University of Münster, Germany 

  • Marieke Huisman, University of Twente, The Netherlands 

  • Fuyuki Ishikawa, National Institute of Informatics, Japan 

  • Xiaoqing Jin, Apple Inc., USA

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

  • Oleksandr Kolchyn, Glushkov Institute of Cybernetics, Ukraine 

  • Antónia Lopes, University of Lisbon, Portugal 

  • Larissa Meinicke, University of Queensland, Australia 

  • Camilo Rocha, Pontificia Universidad Javeriana, Colombia

  • Cristina Seceleanu, Mälardalen University, Sweden 

  • Arpit Sharma, EECS Department, IISER Bhopal, India 

  • Allison Sullivan, University of Texas, Arlington, USA

  • Heike Wehrheim, University of Oldenburg, Germany 


2024-10-28

[Caml-list] Call for Papers - Special Issue of JLAMP on Recent Advances on Unification

[Apologies for multiple copies]

===============================================================
Call for Papers
Journal of Logical and Algebraic Methods in Programming
Special Issue on Recent Advances on Unification
===============================================================

Scope
---------
The Journal of Logical and Algebraic Methods in Programming (JLAMP) is
an international journal that complements Elsevier's Science of Computer
Programming and Theoretical Computer Science by its focus on the foundations
and the application of logical, algebraic and categorical methods to
programming and to the development of trustworthy computing systems. The aim
of JLAMP special issues is to attract high-quality research papers in
specific topics connected to logical and algebraic methods in the theory and
practice of software development and computing systems.

The purpose of this special issue of JLAMP is to collect recent, original,
and high-quality contributions on unification theory and its applications,
as well as closely related topics. Unification is concerned with the problem
of making two given terms equal, either syntactically or modulo an equational
theory. It is a fundamental process used in various areas of computer science,
including automated reasoning, term rewriting, logic programming, natural
language processing, program analysis, knowledge representation, types, etc.

The International Workshop on Unification (UNIF) is the main international
event on unification. This special issue is related to the research presented
in the last four editions of the workshop, i.e., from UNIF 2021 to UNIF 2024.
Nevertheless, submissions of high quality works on unification that were not
presented at UNIF are also welcome. Thus, participants of UNIF, as well as
other authors, are invited to submit contributions.


Topics
---------
Following the tradition of UNIF, this special issue addresses the topic of unification
in a broad sense. A non-exhaustive list of topics of interest includes:

* syntactic and equational unification algorithms
* matching and constraint solving
* higher-order unification
* unification in modal, temporal, and description logics
* admissibility of inference rules
* narrowing
* disunification
* anti-unification
* complexity issues
* combination methods
* implementation techniques
* applications


Submission
----------------
This special issue welcomes original and high-quality contributions on unification
theory and its applications, as well as closely related topics. Submissions should
consist of articles that have not been previously published and are not under
consideration for publication elsewhere. All submissions will be peer-reviewed and
handled according to the usual procedures of JLAMP.

Submitted manuscripts should be written in English and prepared following the guidelines
of JLAMP. Papers should be submitted electronically by using the Editorial Manager for
JLAMP, which can be accessed at:

https://www.editorialmanager.com/jlamp/default.aspx

The submission deadline is: *February 15, 2025*.

Please choose VSI:Recent Advances in Unification when you will be selecting the article type.


Guest Editors
-------------------
Santiago Escobar (Universitat Politècnica de València)
Oliver Fernández Gil (TU Dresden)


Further information
--------------------------
https://lat.inf.tu-dresden.de/~fernandez/jlamp-unif.html