index - UNIF 2023 Informal Proceedings Access content directly

Informal Proceedings of the 37th International Workshop on Unification


July 2, 2023 - Rome, Italy


This collection consists of the extended abstracts of contributions presented at the 37th International Workshop on Unification (UNIF 2023), held on July 2, 2023. The UNIF 2023 workshop was affiliated to the FSCD 2023 conference, and more generally a satellite event of CADE/FSCD 2023, a co-location of conferences at Sapienza University of Rome, Italy, made of CADE-29, FSCD 2023, and 14 satellite events.

This collection consists of the extended abstracts of contributions presented at the 37th International Workshop on Unification (UNIF 2023), held on July 2, 2023. The UNIF 2023 workshop was affiliated to the FSCD 2023 conference, and more generally a satellite event of CADE/FSCD 2023, a co-location of conferences at Sapienza University of Rome, Italy, made of CADE-29, FSCD 2023, and 14 satellite events.

Unification is concerned with the problem of identifying terms, finding solutions for equations, or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc.

UNIF is a well-established event with more than three decades of history. It is a yearly forum, where researchers in unification theory and related fields meet old and new colleagues, present recent (even unfinished) work, and discuss new ideas and trends. It is also a good opportunity for young researchers and scientists working in related areas to get an overview of the current state of the art in unification theory.

The UNIF 2023 Program Committee selected 9 contributions. Each extended abstract was reviewed by at least three reviewers. In addition, the program included two invited talks given by Mauricio Ayala-Rincón on "Formalisation of Nominal Equational Reasoning" and by Deepak Kapur on "A New Perspective on Invariant Generation as Semantic Unification".

Many people helped to make UNIF 2023 a successful event. We would like to thank all members of the Program Committee, the subreviewers, Daniele Gorla (General Chair), Ivano Salvo (Workshop Chair), Cynthia Kop (Steering Committee Workshop Chair for FSCD), and the UNIF Steering Committee for their support in the preparation of the workshop. The EasyChair system, designed by Andrei Voronkov, was a great help for organizing the reviewing process.

Veena Ravishankar and Christophe Ringeissen
UNIF 2023 organizers


Program Committee:


  • Zumrut Akcam (Stevens Institute of Technology)
  • Mauricio Ayala-Rincón (Universidade de Brasília)
  • Franz Baader (TU Dresden)
  • Philippe Balbiani (Institut de recherche en informatique de Toulouse)
  • David M. Cerna (RISC JKU, CAS ICS)
  • Kimberly A. Cornell (University at Albany, SUNY)
  • Daniel Dougherty (Worcester Polytechnic Institute)
  • Serdar Erbatur (UT Dallas)
  • Santiago Escobar (Universitat Politècnica de València)
  • Silvio Ghilardi (Dipartimento di Matematica, Università degli Studi di Milano)
  • Temur Kutsia (RISC, Johannes Kepler University Linz)
  • Jordi Levy (IIIA - CSIC)
  • Christopher Lynch (Clarkson University)
  • Andrew M. Marshall (University of Mary Washington)
  • Barbara Morawska (Ahmedabad University)
  • Daniele Nantes-Sobrinho (Universidade de Brasília)
  • Paliath Narendran (University at Albany, SUNY)
  • Veena Ravishankar (University of Mary Washington), co-chair
  • Christophe Ringeissen (INRIA), co-chair
  • Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main)

All deposits

Chargement de la page