{"id":34,"date":"2026-07-30T14:37:51","date_gmt":"2026-07-30T18:37:51","guid":{"rendered":"https:\/\/www.uoh.cl\/unif-2021\/?page_id=34"},"modified":"2026-07-30T15:24:24","modified_gmt":"2026-07-30T19:24:24","slug":"program-registration","status":"publish","type":"page","link":"https:\/\/www.uoh.cl\/unif-2021\/program-registration\/","title":{"rendered":"Program &#038; Registration"},"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>Program &amp; Registration<\/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>Program &#038; Registration<\/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\"><h2 class=\"title title--ms d-inline-block big-medium\">Program<\/h2><\/div>[vc_column_text css=&#8221;&#8221;]<\/p>\n<table cellpadding=\"5\">\n<tbody>\n<tr>\n<td colspan=\"3\">09:00 &#8211; 09:10 (GMT-3) Opening<\/td>\n<\/tr>\n<tr>\n<td colspan=\"3\">1. Session: Unification in Modal and Description Logics. (Session chair: Manfred Schmidt-Schau\u00df)<\/td>\n<\/tr>\n<tr>\n<td>09:10 &#8211; 09:35<\/td>\n<td>Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani and Mojtaba Mojtahedi.<\/td>\n<td>About the unification type of modal logic K5 and its extensions.<\/td>\n<\/tr>\n<tr>\n<td>09:35 &#8211; 10:00<\/td>\n<td>Franz Baader, Oliver Fernandez Gil and Maryam Rostamigiv.<\/td>\n<td>Restricted Unification in the Description Logic FL0.<\/td>\n<\/tr>\n<tr>\n<td colspan=\"3\">10:00 &#8211; 10:30 (GMT-3) Break<\/td>\n<\/tr>\n<tr>\n<td colspan=\"3\">2. Session: Nominal *-Unification. (Session chair: Mauricio Ayala-Rinc\u00f3n)<\/td>\n<\/tr>\n<tr>\n<td>10:30 &#8211; 10:55<\/td>\n<td>Leonardo Batista, Maribel Fernandez, Daniele Nantes-Sobrinho and Deivid Vale.<\/td>\n<td>Nominal Disunification via Fixed-Point Constraints.<\/td>\n<\/tr>\n<tr>\n<td>10:55 &#8211; 11:20<\/td>\n<td>Manfred Schmidt-Schauss.<\/td>\n<td>Nominal Anti-Unification with Atom-Variables.<\/td>\n<\/tr>\n<tr>\n<td colspan=\"3\">11:20 &#8211; 11:40 (GMT-3) Break<\/td>\n<\/tr>\n<tr>\n<td colspan=\"3\">3. Session: Unification for Security. (Session chair: Christophe Ringeissen)<\/td>\n<\/tr>\n<tr>\n<td>11:40 &#8211; 12:05<\/td>\n<td>Hai Lin and Christopher Lynch.<\/td>\n<td>Checking Symbolic Security of Cryptographic Modes of Operation.<\/td>\n<\/tr>\n<tr>\n<td>12:05 &#8211; 12:30<\/td>\n<td>Hai Lin and Christopher Lynch.<\/td>\n<td>Formal Analysis of Symbolic Authenticity.<\/td>\n<\/tr>\n<tr>\n<td colspan=\"3\">12:30 &#8211; 13:00 (GMT-3) Break<\/td>\n<\/tr>\n<tr>\n<td colspan=\"3\">4. Session: Variants of Unification. (Session chair: Franz Baader)<\/td>\n<\/tr>\n<tr>\n<td>13:00 &#8211; 13:25<\/td>\n<td>Richard Waldinger.<\/td>\n<td>What, Again? Automatic Deductive Synthesis of the Unification Algorithm.<\/td>\n<\/tr>\n<tr>\n<td>13:25 &#8211; 13:50<\/td>\n<td>David Cerna.<\/td>\n<td>When First-order Unification Calls itself.<\/td>\n<\/tr>\n<tr>\n<td>13:50 &#8211; 14:25<\/td>\n<td>Wei Du, Paliath Narendran and Bharvee Acharya.<\/td>\n<td>A Polynomial-time Algorithm for the Common Left Multiplier Problem for Forward-closed String Rewriting Systems.<\/td>\n<\/tr>\n<tr>\n<td colspan=\"3\">14:25 &#8211; 14:30 (GMT-3) Closing<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\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\">Registration<\/h2><\/div>[vc_column_text css=&#8221;&#8221;]Registration is open until <b>July 11th.<\/b> All participants have to register using the FSCD registration form:<br \/>\n<a href=\"https:\/\/fscd2021.dc.uba.ar\/registration.html\"><b><u>https:\/\/fscd2021.dc.uba.ar\/registration.html<\/u><\/b><\/a>[\/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;] 09:00 &#8211; 09:10 (GMT-3) Opening 1. Session: Unification in Modal and Description Logics. (Session chair: Manfred Schmidt-Schau\u00df) 09:10 &#8211; 09:35 Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani and Mojtaba Mojtahedi. About the unification type of modal logic K5 and its extensions. 09:35 &#8211; 10:00 Franz Baader, [&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-34","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>Program &amp; Registration - 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\/program-registration\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Program &amp; Registration - 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;] 09:00 &#8211; 09:10 (GMT-3) Opening 1. Session: Unification in Modal and Description Logics. (Session chair: Manfred Schmidt-Schau\u00df) 09:10 &#8211; 09:35 Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani and Mojtaba Mojtahedi. About the unification type of modal logic K5 and its extensions. 09:35 &#8211; 10:00 Franz Baader, [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uoh.cl\/unif-2021\/program-registration\/\" \/>\n<meta property=\"og:site_name\" content=\"UNIF_2021 - UOH\" \/>\n<meta property=\"article:modified_time\" content=\"2026-07-30T19:24:24+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=\"2 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\\\/program-registration\\\/\",\"url\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/program-registration\\\/\",\"name\":\"Program & Registration - UNIF_2021 - UOH\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/#website\"},\"datePublished\":\"2026-07-30T18:37:51+00:00\",\"dateModified\":\"2026-07-30T19:24:24+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/program-registration\\\/#breadcrumb\"},\"inLanguage\":\"es-CL\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/program-registration\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/program-registration\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"https:\\\/\\\/www.uoh.cl\\\/unif-2021\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Program &#038; Registration\"}]},{\"@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":"Program & Registration - 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\/program-registration\/","og_locale":"es_ES","og_type":"article","og_title":"Program & Registration - 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;] 09:00 &#8211; 09:10 (GMT-3) Opening 1. Session: Unification in Modal and Description Logics. (Session chair: Manfred Schmidt-Schau\u00df) 09:10 &#8211; 09:35 Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani and Mojtaba Mojtahedi. About the unification type of modal logic K5 and its extensions. 09:35 &#8211; 10:00 Franz Baader, [&hellip;]","og_url":"https:\/\/www.uoh.cl\/unif-2021\/program-registration\/","og_site_name":"UNIF_2021 - UOH","article_modified_time":"2026-07-30T19:24:24+00:00","twitter_card":"summary_large_image","twitter_misc":{"Tiempo estimado de lectura":"2 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uoh.cl\/unif-2021\/program-registration\/","url":"https:\/\/www.uoh.cl\/unif-2021\/program-registration\/","name":"Program & Registration - UNIF_2021 - UOH","isPartOf":{"@id":"https:\/\/www.uoh.cl\/unif-2021\/#website"},"datePublished":"2026-07-30T18:37:51+00:00","dateModified":"2026-07-30T19:24:24+00:00","breadcrumb":{"@id":"https:\/\/www.uoh.cl\/unif-2021\/program-registration\/#breadcrumb"},"inLanguage":"es-CL","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uoh.cl\/unif-2021\/program-registration\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.uoh.cl\/unif-2021\/program-registration\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"https:\/\/www.uoh.cl\/unif-2021\/"},{"@type":"ListItem","position":2,"name":"Program &#038; Registration"}]},{"@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\/34","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=34"}],"version-history":[{"count":2,"href":"https:\/\/www.uoh.cl\/unif-2021\/wp-json\/wp\/v2\/pages\/34\/revisions"}],"predecessor-version":[{"id":58,"href":"https:\/\/www.uoh.cl\/unif-2021\/wp-json\/wp\/v2\/pages\/34\/revisions\/58"}],"wp:attachment":[{"href":"https:\/\/www.uoh.cl\/unif-2021\/wp-json\/wp\/v2\/media?parent=34"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}