Home Call for Papers Important Dates Invited Speakers Program Program Committee Registration and Venue

UNIF 2025: The 39th International Workshop on Unification

July 14, 2025

Birmingham, UK

A workshop affiliated with FSCD 2025

Call for Papers

Short papers or extended abstracts, up to 5 pages in EasyChair style, should be submitted electronically as PDF files through the EasyChair submission site: https://easychair.org/conferences/?conf=unif2025

Abstracts will be evaluated by the Program Committee regarding their significance for the workshop. We allow submissions of work presented/ submitted in/to another conference.

Accepted abstracts will be presented at the workshop and included in the informal proceedings of the workshop, available in electronic form on the Web page of UNIF 2025. At least one of the authors should register for the workshop.

Based on the number and quality of submissions we will decide whether to organize a special journal issue.

Topics

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