UNIF 2020 : 34th International Workshop on Unification
UNIF 2020 : 34th International Workshop on Unification

UNIF 2020 : 34th International Workshop on Unification

Paris, France
Event Date: June 29, 2020 - June 29, 2020
Abstract Submission Deadline: April 13, 2020
Submission Deadline: April 20, 2020
Notification of Acceptance: May 25, 2020
Camera Ready Version Due: June 08, 2020


The 34th International Workshop on Unification is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events.

UNIF 2020 will be the 34th in a series of annual international workshops on unification. Previous editions have taken place mostly in Europe (Austria, Denmark, France, Germany, Ireland, Italy, Poland, UK), but also in the USA and Japan. For more details on previous UNIF workshops, please see the UNIF homepage

Unification is concerned with the problem of making two terms equal, 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. Traditionally, the scope of the UNIF workshops has covered the topic of unification in a broad sense, encompassing also research in constraint solving, admissibility of inference rules, and applications such as type checking, query answering and cryptographic protocol analysis.

Call for Papers

The objective of this workshop is to bring together theoreticians and practitioners to promote new techniques and results, and to facilitate feedback on the implementation and application of such techniques and results in practice.

Topics of interest to this forum include, but are not limited to:

  • Unification algorithms, calculi and implementations
  • Equational unification and unification modulo theories
  • Admissibility of Inference Rules
  • Unification in modal, fuzzy, temporal and description logics
  • Anti-unification/generalization
  • Semi-unification
  • Narrowing
  • Formalisation of unification
  • Matching Problems
  • Applications
  • Unification in Special Theories
  • Higher-Order Unification
  • Combination problems
  • Contraint Solving
  • Disunification
  • Complexity Issues
  • Type Checking and reconstruction

UNIF 2020 also aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. More information about UNIF can be found here.

UNIF 2020 will be a satellite workshop of The International Joint Conference on Automated Reasoning (IJCAR 2020) in Paris, France.

Following the tradition of UNIF, we call for submissions of abstracts (5 pages) in EasyChair style, to be submitted electronically as PDF through the EasyChair submission site:

Accepted abstracts will be presented at the workshop and included in the informal proceedings of the workshop, available in electronic form as a technical report in the RISC-Linz Report Series from the Research Institute for Symbolic Computation, Johannes Kepler University. 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.

Important Dates:

  • Submission of titles and abstracts: April 13, 2020
  • Submission of full paper:  April 20, 2020
  • Author notification: May 25, 2020
  • Camera-ready papers: June 8, 2020
  • UNIF 2020: June 29, 2020


UNIF 2020 : 34th International Workshop on Unification will take place in Paris, France. It’s a 1 day event starting on Jun 29, 2020 (Monday) and will be winded up on Jun 29, 2020 (Monday).

UNIF 2020 falls under the following areas: AUTOMATED REASONING, LOGIC, UNIFICATION, CONSTRAINT SOLVING, etc. Submissions for this Workshop can be made by Apr 20, 2020. Authors can expect the result of submission by May 25, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Jun 08, 2020 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the UNIF 2020

  • Short Name: UNIF 2020
  • Full Name: 34th International Workshop on Unification
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of UNIF 2020
  • Event Type: Workshop
  • Website Link:
  • Location/Address: Paris, France

Credits and Sources

[1] UNIF 2020 : 34th International Workshop on Unification

Check other Conferences, Workshops, Seminars, and Events


VMCAI 2023: International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
Jan 15, 2023
LANMR 2022: Fourteenth Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning
Mexico City
Jun 16, 2022
DPSW 2020: Declarative Problem Solving Workshop
Santiago de Compostela Spain
Jun 09, 2019


TIME 2022: 29th International Symposium on Temporal Representation and Reasoning
Nov 7, 2022
ICLA 2022: 10th Indian Conference on Logic and its Applications
Mar 3, 2022
HYDRA 2022: 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning
Genova Nervi, Italy
Sep 5, 2022
RP 2022: Reachability Problems
Oct 17, 2022
SYNASC 2022: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Hagenberg, Austria
Sep 12, 2022