{"id":2574,"date":"2024-01-02T11:29:34","date_gmt":"2024-01-02T14:29:34","guid":{"rendered":"https:\/\/icc.fcen.uba.ar\/?p=2574"},"modified":"2024-03-04T11:55:38","modified_gmt":"2024-03-04T14:55:38","slug":"investigadores-argentinos-recibieron-el-best-paper-award-en-una-prestigiosa-conferencia-internacional-de-teoria-de-la-computacion","status":"publish","type":"post","link":"https:\/\/icc.fcen.uba.ar\/en\/investigadores-argentinos-recibieron-el-best-paper-award-en-una-prestigiosa-conferencia-internacional-de-teoria-de-la-computacion\/","title":{"rendered":"Investigadores argentinos recibieron el Best Paper Award en una prestigiosa conferencia internacional de teor\u00eda de la computaci\u00f3n"},"content":{"rendered":"

Se trata de Carlos L\u00f3pez Pombo y Agust\u00edn Martinez Su\u00f1\u00e9 quienes, en colaboraci\u00f3n con el investigador italiano Emilio Tuosto, publicaron un trabajo de relevancia sobre el an\u00e1lisis autom\u00e1tico de propiedades de calidad en sistemas distribuidos. El reconocimiento al <\/b>paper<\/i><\/b> fue en el coloquio internacional ICTAC 2023 (20th International Colloquium on Theoretical Aspects of Computing), que se desarroll\u00f3 en diciembre y re\u00fane anualmente a los principales expertos en aspectos te\u00f3ricos de la computaci\u00f3n.<\/b><\/p>\n

Del 4 al 8 de diciembre de 2023 se llev\u00f3 a cabo en Lima (Per\u00fa) la<\/span> 20\u00b0 edici\u00f3n de ICTAC<\/span><\/a>, un Coloquio Internacional sobre Aspectos Te\u00f3ricos de la Computaci\u00f3n. Consiste en un reconocido encuentro que viene reuniendo a expertos del \u00e1rea desde 2004 de manera ininterrumpida.\u00a0<\/span><\/p>\n

Usualmente al final de cada edici\u00f3n se selecciona el <\/span>Best Paper A<\/span><\/i>ward -premio al mejor art\u00edculo cient\u00edfico de entre todos los que fueron presentados- y en esta oportunidad fueron distinguidos <\/span>Carlos L\u00f3pez Pombo<\/b> (profesor e investigador de la Universidad Nacional de R\u00edo Negro y actualmente de licencia como Profesor del DC-Exactas-UBA), <\/span>Agust\u00edn Martinez Su\u00f1\u00e9<\/b> (investigador en formaci\u00f3n del ICC) y <\/span>Emilio Tuosto<\/b> (profesor e investigador de Gran Sasso Science Institute, L\u2019Aquila, Italia), por el art\u00edculo titulado <\/span>“A Dynamic Temporal Logic for Quality of Service in Choreographic Models” <\/b>(<\/span>link al paper<\/span><\/a>).\u00a0\u00a0<\/span><\/p>\n

En cuanto a los principales aportes de este trabajo al campo de la teor\u00eda de la computaci\u00f3n, Agust\u00edn Martinez Su\u00f1\u00e9 explica: \u201c<\/span>En este trabajo damos un marco te\u00f3rico para, conociendo las caracter\u00edsticas de calidad de un conjunto de componentes, analizar las propiedades de calidad del sistema distribuido que surge de su composici\u00f3n. Para esto fue necesario hacer varios aportes. En primer lugar, brindar una forma de modelar componentes de un sistema que d\u00e9 cuenta de sus caracter\u00edsticas de calidad. En segundo lugar, definir una l\u00f3gica para predicar sobre las propiedades de calidad del sistema en su conjunto. Por \u00faltimo, dar un algoritmo para decidir, dado un conjunto de componentes y una propiedad en dicha l\u00f3gica, si esta se satisface o no en el sistema<\/span><\/i>\u201d.\u00a0<\/span><\/p>\n

El investigador en formaci\u00f3n, Martinez Su\u00f1\u00e9, tiene como tema de doctorado el an\u00e1lisis autom\u00e1tico de propiedades de calidad en sistemas distribuidos, bajo la direcci\u00f3n del doctor Carlos L\u00f3pez Pombo, y en<\/span> una reciente entrevista con el DC<\/span><\/a> explic\u00f3 que su investigaci\u00f3n vincula dos \u00e1reas centrales: computaci\u00f3n orientada a servicios y razonamiento autom\u00e1tico.<\/span><\/p>\n

\u201c<\/span>Un punto a destacar, y de inter\u00e9s para la comunidad de ICTAC, es que demostramos que la l\u00f3gica es, al menos, semidecidible. Por otro lado, los organizadores de la conferencia destacaron la integralidad de nuestro trabajo, al contribuir en todo el \u2018camino\u2019 desde la identificaci\u00f3n de una caracter\u00edstica relevante a ser analizada hasta un algoritmo para efectivamente decidir si una propiedad se satisface o no<\/span><\/i>\u201d, recalca Martinez Su\u00f1\u00e9.<\/span><\/p>\n

\"\"Por \u00faltimo, en relaci\u00f3n a lo que significa este premio para los autores del paper, Martinez Su\u00f1\u00e9 concluye que \u201c<\/span>es un reconocimiento a la calidad de nuestro trabajo y a nuestro esfuerzo, ya que este art\u00edculo en particular requiri\u00f3 un largo camino desde su origen hasta que maduraron todas las ideas y los detalles t\u00e9cnicos. En lo personal, al estar cerca de defender mi tesis doctoral durante los pr\u00f3ximos meses, lo siento como un reconocimiento al nivel de madurez t\u00e9cnica y conceptual al que llegaron las contribuciones de mi trabajo de doctorado<\/span><\/i>\u201d.<\/span><\/p>\n

Acerca de ICTAC<\/b><\/p>\n

El Coloquio Internacional sobre Aspectos Te\u00f3ricos de la Computaci\u00f3n (ICTAC) fue fundado en 2004. Se lleva a cabo cada a\u00f1o preferentemente en un pa\u00eds en desarrollo. El objetivo del coloquio es reunir a profesionales e investigadores del mundo acad\u00e9mico, industrial y gubernamental para presentar resultados de investigaci\u00f3n e intercambiar experiencias, ideas y soluciones a sus problemas en aspectos te\u00f3ricos de la inform\u00e1tica. M\u00e1s all\u00e1 de estos objetivos acad\u00e9micos, otro objetivo principal de la conferencia es promover la cooperaci\u00f3n en investigaci\u00f3n y educaci\u00f3n entre los participantes y sus instituciones, tanto de pa\u00edses en desarrollo como industrializados.<\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"

Se trata de Carlos L\u00f3pez Pombo y Agust\u00edn Martinez Su\u00f1\u00e9 quienes, en colaboraci\u00f3n con el investigador italiano Emilio Tuosto, publicaron un trabajo de relevancia sobre el an\u00e1lisis autom\u00e1tico de propiedades de calidad en sistemas distribuidos. El reconocimiento al paper fue en el coloquio internacional ICTAC 2023 (20th International Colloquium on Theoretical Aspects of Computing), que se desarroll\u00f3 en diciembre y re\u00fane anualmente a los principales expertos en aspectos te\u00f3ricos de la computaci\u00f3n.<\/p>\n","protected":false},"author":9,"featured_media":2576,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[12],"tags":[60,34,24],"class_list":["post-2574","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-noticias","tag-computacion-distribuida","tag-ingenieria-software","tag-teoria"],"_links":{"self":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/2574","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/users\/9"}],"replies":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/comments?post=2574"}],"version-history":[{"count":2,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/2574\/revisions"}],"predecessor-version":[{"id":2578,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/2574\/revisions\/2578"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/media\/2576"}],"wp:attachment":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/media?parent=2574"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/categories?post=2574"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/tags?post=2574"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}