{"id":10,"date":"2026-07-30T10:41:08","date_gmt":"2026-07-30T14:41:08","guid":{"rendered":"https:\/\/www.uoh.cl\/unif-2021\/?page_id=10"},"modified":"2026-07-30T15:24:02","modified_gmt":"2026-07-30T19:24:02","slug":"home-call-for-papers","status":"publish","type":"page","link":"https:\/\/www.uoh.cl\/unif-2021\/home-call-for-papers\/","title":{"rendered":"Home &#038; Call for Papers"},"content":{"rendered":"<div class=\"wpb-content-wrapper\"><p>[vc_row][vc_column]<div class=\"uoh_slider_featured_component component__featured-slide row mx-auto col-12 m-0 align-items-center position-relative lazyload\" style=\"height: 400px; min-height: initial; overflow: hidden; background:inherit\" data-bg=\"url(https:\/\/www.uoh.cl\/unif-2021\/wp-content\/uploads\/sites\/53\/2026\/07\/bg-default.png)\"><div class=\"caption--degrade\"><svg  xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"1061px\" height=\"539px\"><defs><linearGradient id=\"PSgrad_0\" x1=\"0%\" x2=\"64.279%\" y1=\"76.604%\" y2=\"0%\"><stop offset=\"0%\" stop-color=\"#FFFFFF00\" stop-opacity=\"1\" \/><stop offset=\"100%\" stop-color=\"#FFFFFF00\" stop-opacity=\"0\" \/><\/linearGradient><\/defs><path fill-rule=\"evenodd\"  fill=\"none\" d=\"M311.000,515.000 C311.000,515.000 211.039,468.555 132.000,357.000 C21.864,201.555 -4.306,4.695 1.000,0.000 L196.000,0.000 L811.000,0.000 L1061.000,0.000 C1061.000,0.000 851.535,430.030 546.000,521.000 C402.674,563.674 311.000,515.000 311.000,515.000 Z\"\/> <path fill=\"url(#PSgrad_0)\"d=\"M311.000,515.000 C311.000,515.000 211.039,468.555 132.000,357.000 C21.864,201.555 -4.306,4.695 1.000,0.000 L196.000,0.000 L811.000,0.000 L1061.000,0.000 C1061.000,0.000 851.535,430.030 546.000,521.000 C402.674,563.674 311.000,515.000 311.000,515.000 Z\"\/><\/svg><\/div><div class=\"caption--quote\"><svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\"width=\"226px\" height=\"273px\"><defs><linearGradient id=\"PSgrad_0\" x1=\"71.934%\" x2=\"0%\" y1=\"69.466%\" y2=\"0%\"><stop offset=\"0%\" stop-color=\"#FFFFFF00\" stop-opacity=\"0.49\" \/><stop offset=\"100%\" stop-color=\"#FFFFFF00\" stop-opacity=\"0\" \/><\/linearGradient><\/defs><path fill-rule=\"evenodd\"  fill=\"none\" d=\"M-0.000,273.000 L174.000,273.000 C174.000,273.000 226.000,266.268 226.000,221.000 C226.000,175.732 226.000,-0.000 226.000,-0.000 C226.000,-0.000 24.577,71.878 -0.000,273.000 Z\"\/><path fill=\"url(#PSgrad_0)\"d=\"M-0.000,273.000 L174.000,273.000 C174.000,273.000 226.000,266.268 226.000,221.000 C226.000,175.732 226.000,-0.000 226.000,-0.000 C226.000,-0.000 24.577,71.878 -0.000,273.000 Z\"\/><\/svg><\/div><div class=\"my-uoh_slider_featured_component container mx-auto p-md-0\" ><div class=\"content component__featured-slide-content container row mx-auto aling-items-center p-0\"><h1 class=\"p-0 featured-slide title\"  style=\"font-size: 40px !important;\"><em><\/em>Home &amp; Call for Papers<\/h1><ul class=\"breadcrumb breadcrumb-list\"><li><a href=\"https:\/\/www.uoh.cl\/unif-2021\">Inicio<\/a><\/li><li><span class=\"separator\"><?xml version=\"1.0\" ?><svg viewBox=\"0 0 96 96\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><title\/><path d=\"M39.3756,48.0022l30.47-25.39a6.0035,6.0035,0,0,0-7.6878-9.223L26.1563,43.3906a6.0092,6.0092,0,0,0,0,9.2231L62.1578,82.615a6.0035,6.0035,0,0,0,7.6878-9.2231Z\"\/><\/svg><\/span><\/li><li><a href=\"\"><\/a><\/li><li>Home &#038; Call for Papers<\/li><\/ul><\/div><span><\/span><\/div><img decoding=\"async\" data-src=\"https:\/\/www.uoh.cl\/unif-2021\/wp-content\/uploads\/sites\/53\/2026\/07\/unif-logo.png\" class=\"position-absolute lazyload\" style=\"--smush-placeholder-width: 626px; --smush-placeholder-aspect-ratio: 626\/159;width: auto; max-width: 200px; height: auto; max-height: 100px; bottom: 2rem; right: 2rem;\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\"><\/div>[\/vc_column][\/vc_row][vc_section el_class=&#8221;container mx-auto align-items-center circle&#8211;pattern&#8221; css=&#8221;.vc_custom_1648956589196{padding-top: 3rem !important;}&#8221;][vc_row el_class=&#8221;pb-5&#8243;][vc_column]<div class=\"uoh_title_component-container\"><h1 class=\"title title--ms d-inline-block big\">UNIF 2021 &#8211; 35th International Workshop on Unification<\/h1><\/div><div class=\"uoh_title_component-container\"><h2 class=\"title title--ms d-inline-block big-medium\">18th of July 2021, Buenos Aires, Argentina<\/h2><\/div>[vc_column_text css=&#8221;&#8221;]UNIF 2021 is associated with <a href=\"https:\/\/fscd2021.dc.uba.ar\/\" target=\"_blank\" rel=\"noopener\"><b><u>FSCD 2021<\/u><\/b><\/a> and will be a <b>purely virtual event.<\/b><\/p>\n<p>UNIF 2021 is the 35th in a series of annual workshops on unification and related topics. Just as its predecessors&#8217;, the purpose of UNIF 2021 is to bring together researchers interested in unification theory and its applications, as well as closely related topics, such as matching (i.e., one-sided unification), anti-unification (i.e., the dual problem to unification), disunification (i.e., solving equations and inequations) and the admissibility problem (which generalizes unification in modal logics). It will provide a forum for presenting recent (even unfinished) work, and discuss new ideas and trends in this and related fields.<\/p>\n<p>Unification is concerned with the problem of identifying given (first- or higher-order) terms, either syntactically or modulo a theory. It is a fundamental technique that is employed in various areas of Computer Science and Mathematics. In particular, unification algorithms are key components in completion of term rewriting systems, resolution-based theorem proving, and logic programming. But unification is, for example, also investigated in the context of natural language processing, program analysis, types, modal logics, and in knowledge representation.[\/vc_column_text][vc_zigzag color=&#8221;white&#8221; el_border_width=&#8221;20&#8243; el_class=&#8221;opacity-0&#8243;]<div class=\"uoh_title_component-container\"><h2 class=\"title title--ms d-inline-block big-medium\">Topics of Interest<\/h2><\/div>[vc_column_text css=&#8221;&#8221;]Topics of interest of the workshop include, but are not limited to:<\/p>\n<ul>\n<li>Syntactic and equational unification algorithms<\/li>\n<li>Matching and constraint solving<\/li>\n<li>Unification in modal, temporal, and description logics<\/li>\n<li>Higher-order unification<\/li>\n<li>Narrowing<\/li>\n<li>Disunification<\/li>\n<li>Anti-unification<\/li>\n<li>Complexity issues<\/li>\n<li>Combination methods<\/li>\n<li>Implementation techniques<\/li>\n<li>Applications<\/li>\n<\/ul>\n<p>[\/vc_column_text][vc_zigzag color=&#8221;white&#8221; el_border_width=&#8221;20&#8243; el_class=&#8221;opacity-0&#8243;]<div class=\"uoh_title_component-container\"><h2 class=\"title title--ms d-inline-block big-medium\">Submission Information<\/h2><\/div>[vc_column_text css=&#8221;&#8221;]Following the tradition of UNIF, we call for submissions of extended abstracts (5 pages) in EasyChair style, to be submitted electronically as PDF through the EasyChair submission site: <a href=\"https:\/\/easychair.org\/conferences\/?conf=unif2021\" target=\"_blank\" rel=\"noopener\"><b><u>https:\/\/easychair.org\/conferences\/?conf=unif2021<\/u><\/b><\/a><\/p>\n<p>Abstracts will be evaluated by the Program Committee (if necessary with support from external reviewers) regarding their significance for the workshop. We also allow submission of work presented\/submitted in\/to another conference.<\/p>\n<p>Accepted abstracts will be presented at the workshop and made available at the Web-page of UNIF 2021.[\/vc_column_text][vc_zigzag color=&#8221;white&#8221; el_border_width=&#8221;20&#8243; el_class=&#8221;opacity-0&#8243;]<div class=\"uoh_title_component-container\"><h2 class=\"title title--ms d-inline-block big-medium\">Important Dates<\/h2><\/div>[vc_column_text css=&#8221;&#8221;]<\/p>\n<ul>\n<li>Paper submission: <s>April 16, 2021<\/s> \u00a0 <b>April 23, 2021<\/b><\/li>\n<li>Notification of acceptance: May 21, 2021<\/li>\n<li>Final version of accepted papers: June 18, 2021<\/li>\n<li>Registration deadline: July 11, 2021<\/li>\n<li>Workshop date: July 18, 2021<\/li>\n<\/ul>\n<p>Depending on the number and quality of submitted papers, a special issue of a journal is planned after the workshop, with full versions of the papers going through the reviewing process according to the standards of the chosen journal (e.g., AMAI, JAR, JLC, MSCS).[\/vc_column_text][\/vc_column][\/vc_row][\/vc_section]<\/p>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>[vc_row][vc_column][\/vc_column][\/vc_row][vc_section el_class=&#8221;container mx-auto align-items-center circle&#8211;pattern&#8221; css=&#8221;.vc_custom_1648956589196{padding-top: 3rem !important;}&#8221;][vc_row el_class=&#8221;pb-5&#8243;][vc_column][vc_column_text css=&#8221;&#8221;]UNIF 2021 is associated with FSCD 2021 and will be a purely virtual event. UNIF 2021 is the 35th in a series of annual workshops on unification and related topics. Just as its predecessors&#8217;, the purpose of UNIF 2021 is to bring together researchers interested in [&hellip;]<\/p>\n","protected":false},"author":6,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-10","page","type-page","status-publish","hentry"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v28.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Home &amp; Call for Papers - UNIF_2021 - UOH<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.uoh.cl\/unif-2021\/home-call-for-papers\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Home &amp; Call for Papers - UNIF_2021 - UOH\" \/>\n<meta property=\"og:description\" content=\"[vc_row][vc_column][\/vc_column][\/vc_row][vc_section el_class=&#8221;container mx-auto align-items-center circle&#8211;pattern&#8221; css=&#8221;.vc_custom_1648956589196{padding-top: 3rem !important;}&#8221;][vc_row el_class=&#8221;pb-5&#8243;][vc_column][vc_column_text css=&#8221;&#8221;]UNIF 2021 is associated with FSCD 2021 and will be a purely virtual event. UNIF 2021 is the 35th in a series of annual workshops on unification and related topics. Just as its predecessors&#8217;, the purpose of UNIF 2021 is to bring together researchers interested in [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uoh.cl\/unif-2021\/home-call-for-papers\/\" \/>\n<meta property=\"og:site_name\" content=\"UNIF_2021 - UOH\" \/>\n<meta property=\"article:modified_time\" content=\"2026-07-30T19:24:02+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Tiempo estimado de lectura\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutos\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/home-call-for-papers\\\/\",\"url\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/home-call-for-papers\\\/\",\"name\":\"Home & Call for Papers - UNIF_2021 - UOH\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/#website\"},\"datePublished\":\"2026-07-30T14:41:08+00:00\",\"dateModified\":\"2026-07-30T19:24:02+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/home-call-for-papers\\\/#breadcrumb\"},\"inLanguage\":\"es-CL\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/home-call-for-papers\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/home-call-for-papers\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Home &#038; Call for Papers\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/#website\",\"url\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/\",\"name\":\"UNIF_2021 - UOH\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es-CL\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/#organization\",\"name\":\"UNIF_2021 - UOH\",\"url\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es-CL\",\"@id\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/wp-content\\\/uploads\\\/sites\\\/53\\\/2026\\\/07\\\/unif-logo.png\",\"contentUrl\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/wp-content\\\/uploads\\\/sites\\\/53\\\/2026\\\/07\\\/unif-logo.png\",\"width\":626,\"height\":159,\"caption\":\"UNIF_2021 - UOH\"},\"image\":{\"@id\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/#\\\/schema\\\/logo\\\/image\\\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Home & Call for Papers - UNIF_2021 - UOH","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.uoh.cl\/unif-2021\/home-call-for-papers\/","og_locale":"es_ES","og_type":"article","og_title":"Home & Call for Papers - UNIF_2021 - UOH","og_description":"[vc_row][vc_column][\/vc_column][\/vc_row][vc_section el_class=&#8221;container mx-auto align-items-center circle&#8211;pattern&#8221; css=&#8221;.vc_custom_1648956589196{padding-top: 3rem !important;}&#8221;][vc_row el_class=&#8221;pb-5&#8243;][vc_column][vc_column_text css=&#8221;&#8221;]UNIF 2021 is associated with FSCD 2021 and will be a purely virtual event. UNIF 2021 is the 35th in a series of annual workshops on unification and related topics. Just as its predecessors&#8217;, the purpose of UNIF 2021 is to bring together researchers interested in [&hellip;]","og_url":"https:\/\/www.uoh.cl\/unif-2021\/home-call-for-papers\/","og_site_name":"UNIF_2021 - UOH","article_modified_time":"2026-07-30T19:24:02+00:00","twitter_card":"summary_large_image","twitter_misc":{"Tiempo estimado de lectura":"3 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uoh.cl\/unif-2021\/home-call-for-papers\/","url":"https:\/\/www.uoh.cl\/unif-2021\/home-call-for-papers\/","name":"Home & Call for Papers - UNIF_2021 - UOH","isPartOf":{"@id":"https:\/\/www.uoh.cl\/unif-2021\/#website"},"datePublished":"2026-07-30T14:41:08+00:00","dateModified":"2026-07-30T19:24:02+00:00","breadcrumb":{"@id":"https:\/\/www.uoh.cl\/unif-2021\/home-call-for-papers\/#breadcrumb"},"inLanguage":"es-CL","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uoh.cl\/unif-2021\/home-call-for-papers\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.uoh.cl\/unif-2021\/home-call-for-papers\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"https:\/\/www.uoh.cl\/unif-2021\/"},{"@type":"ListItem","position":2,"name":"Home &#038; Call for Papers"}]},{"@type":"WebSite","@id":"https:\/\/www.uoh.cl\/unif-2021\/#website","url":"https:\/\/www.uoh.cl\/unif-2021\/","name":"UNIF_2021 - UOH","description":"","publisher":{"@id":"https:\/\/www.uoh.cl\/unif-2021\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uoh.cl\/unif-2021\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es-CL"},{"@type":"Organization","@id":"https:\/\/www.uoh.cl\/unif-2021\/#organization","name":"UNIF_2021 - UOH","url":"https:\/\/www.uoh.cl\/unif-2021\/","logo":{"@type":"ImageObject","inLanguage":"es-CL","@id":"https:\/\/www.uoh.cl\/unif-2021\/#\/schema\/logo\/image\/","url":"https:\/\/www.uoh.cl\/unif-2021\/wp-content\/uploads\/sites\/53\/2026\/07\/unif-logo.png","contentUrl":"https:\/\/www.uoh.cl\/unif-2021\/wp-content\/uploads\/sites\/53\/2026\/07\/unif-logo.png","width":626,"height":159,"caption":"UNIF_2021 - UOH"},"image":{"@id":"https:\/\/www.uoh.cl\/unif-2021\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/www.uoh.cl\/unif-2021\/wp-json\/wp\/v2\/pages\/10","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.uoh.cl\/unif-2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.uoh.cl\/unif-2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.uoh.cl\/unif-2021\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/www.uoh.cl\/unif-2021\/wp-json\/wp\/v2\/comments?post=10"}],"version-history":[{"count":9,"href":"https:\/\/www.uoh.cl\/unif-2021\/wp-json\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":56,"href":"https:\/\/www.uoh.cl\/unif-2021\/wp-json\/wp\/v2\/pages\/10\/revisions\/56"}],"wp:attachment":[{"href":"https:\/\/www.uoh.cl\/unif-2021\/wp-json\/wp\/v2\/media?parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}