Unificati on is concerned with the problem of making two ter ms equal, finding solutions for equations or makin g formulas equivalent. It is a fundamental process used in a number of fields of computer science, i ncluding automated reasoning, term rewriting, logi c programming, natural language processing, progra m analysis, types, etc. The International Wo rkshop on Unification (UNIF) is a yearly forum for researchers in unification theory and related fie lds to meet old and new colleagues, to present rec ent (even unfinished) work, and to discuss new ide as and trends. It is also a good opportunity for y oung researchers and scientists working in related areas to get an overview of the state of the art in unification theory.
\n\nThe 34th Intern ational Workshop on Unification is part of "P aris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Universit́e Paris 13 . UNIF 2020 will be a satellite workshop of The In ternational Joint Conference on Automated Reasonin g (IJCAR 2020).
\nFollowing t he tradition of UNIF, we call for submissions of a bstracts (5 pages) in EasyChair style, to be submi tted electronically as PDF through the EasyChair s ubmission site. Abstracts will be evaluated by the Programme Committee (if necessary with support fr om external reviewers) regarding their significanc e for the workshop. We will allow work presented/s ubmitted in/to another conference.
\n