{"id":2033,"date":"2021-03-09T09:51:00","date_gmt":"2021-03-09T12:51:00","guid":{"rendered":"https:\/\/icc.fcen.uba.ar\/?p=2033"},"modified":"2021-04-20T14:45:47","modified_gmt":"2021-04-20T17:45:47","slug":"buenos-aires-sera-sede-de-la-prestigiosa-conferencia-fscd","status":"publish","type":"post","link":"https:\/\/icc.fcen.uba.ar\/en\/buenos-aires-sera-sede-de-la-prestigiosa-conferencia-fscd\/","title":{"rendered":"Buenos Aires ser\u00e1 sede de la prestigiosa conferencia FSCD"},"content":{"rendered":"

La conferencia anual FSCD (Formal Structures for Computation and Deduction) es una de las m\u00e1s importantes en el \u00e1rea de c\u00e1lculo lambda, reescritura y teor\u00eda de tipos en ciencias de la computaci\u00f3n. El ICC y el DC son los organizadores de este encuentro internacional que, por razones de p\u00fablico conocimiento, se realizar\u00e1 en formato online del 17 al 24 de julio de 2021.<\/strong><\/p>\n

Dentro de la amplia disciplina de la Computaci\u00f3n, las l\u00f3gicas y los lenguajes formales juegan un rol central en la teor\u00eda de la computaci\u00f3n porque permiten expresar propiedades de los programas y razonar sobre su comportamiento. A un nivel abstracto, se destacan los sistemas de reescritura y modelos de c\u00f3mputo fuertes, como el c\u00e1lculo lambda: un sistema formal equivalente a las m\u00e1quinas de Turing, dise\u00f1ado para investigar la definici\u00f3n de funci\u00f3n, la noci\u00f3n de aplicaci\u00f3n de funciones y la recursi\u00f3n. Para entenderlo de manera sencilla, es el m\u00e1s peque\u00f1o lenguaje universal de programaci\u00f3n y resulta la base de la programaci\u00f3n funcional.<\/p>\n

Estos problemas han estado muy presentes desde hace d\u00e9cadas en \u00e1reas de investigaci\u00f3n ligadas a los fundamentos de la computaci\u00f3n y ahora tendr\u00e1n lugar en la sexta edici\u00f3n de la prestigiosa conferencia anual\u00a0FSCD (Formal Structures for Computation and Deduction<\/i>)<\/a>, que re\u00fane tradicionalmente entre 100 y 200 investigadores de todo el mundo para exponer trabajos de alto impacto en el \u00e1rea de c\u00e1lculo lambda, reescritura y teor\u00eda de tipos en ciencias de la computaci\u00f3n. Cabe recalcar que Buenos Aires fue seleccionada para realizar la edici\u00f3n 2021, a trav\u00e9s de votaci\u00f3n directa de la comunidad cient\u00edfica participante.<\/p>\n

El encuentro est\u00e1 organizado por el Instituto de Ciencias de la Computaci\u00f3n (ICC) y\u00a0 el Departamento de Computaci\u00f3n (DC) de Exactas-UBA y cuenta con el apoyo de diversas instituciones como la Facultad de Ciencias Exactas y Naturales, la Universidad de Buenos Aires, el CONICET y el Departamento de Ciencia y Tecnolog\u00eda de la la Universidad Nacional de Quilmes, y se realiza en cooperaci\u00f3n con los grupos de inter\u00e9s SIGLOG y SIGPLAN de la ACM (Association for Computer Machinery). Adem\u00e1s cuenta con el apoyo financiero de la Agencia Nacional de Promoci\u00f3n de la Investigaci\u00f3n, el Desarrollo Tecnol\u00f3gico y la Innovaci\u00f3n; del Ministerio de Ciencia, Tecnolog\u00eda e Innovaci\u00f3n; de CONICET; de las empresas Onapsis y Certisur, del laboratorio franc\u00e9s IRIF y del laboratorio franco-argentino SINFIN.<\/p>\n

Durante FSCD se desarrollar\u00e1 la exposici\u00f3n de trabajos del \u00e1rea seleccionados por un riguroso proceso de revisi\u00f3n a cargo de un comit\u00e9 internacional. Usualmente estos papers son presentados en la conferencia y ser\u00e1n publicados por una editorial de prestigio (Leibniz International Proceedings in Informatics<\/i>). Al mismo tiempo se realizar\u00e1n 7 workshops asociados, que tienen el mismo formato, pero un alcance m\u00e1s peque\u00f1o, ya que cada uno de los workshops se enfoca en temas m\u00e1s puntuales. Adem\u00e1s de las charlas correspondientes a los papers aceptados, habr\u00e1 cuatro oradores invitados a la conferencia, que ser\u00e1n:\u00a0Zena M. Ariola<\/a>\u00a0(Profesora,\u00a0Department of Computer and Information Science at the University of Oregon),\u00a0Nao Hirokawa<\/a>\u00a0(Profesor asociado, Japan Advanced Institute of Science and Technology, JAIST),\u00a0Elaine Pimentel<\/a>\u00a0(Profesora con dedicaci\u00f3n exclusiva, Math Department UFRN, Brazil) y\u00a0Sam Staton<\/a>\u00a0(Profesor e investigador, University Research Fellow at the Department of Computer Science, University of Oxford).<\/p>\n

El comit\u00e9 organizador local de FSCD 2021 est\u00e1 compuesto por los siguientes investigadores del ICC: Alejandro D\u00edaz-Caro (presidente), Santiago Figueira, Ricardo Rodr\u00edguez y Carlos L\u00f3pez Pombo (comit\u00e9 organizador).<\/p>\n

\u00abEsta es la 6ta conferencia FSCD, ya que hace 6 a\u00f1os se decidi\u00f3 crearla, uniendo dos conferencias tradicionales del \u00e1rea: RTA, iniciada en 1985, y TLCA iniciada en 1993. Es muy grato que la comunidad cient\u00edfica detr\u00e1s de esta conferencia nos haya confiado la organizaci\u00f3n de la misma<\/i>\u00bb, comenta Alejandro D\u00edaz-Caro. \u00abAl desaf\u00edo de organizar una conferencia de este tama\u00f1o e importancia, se suma el de organizar una conferencia 100% virtual<\/i>\u00bb agrega el presidente de la Conferencia.<\/p>\n

Con motivo de la pandemia de Covid 19, este a\u00f1o la conferencia y workshops asociados se realizar\u00e1n en modalidad virtual. M\u00e1s informaci\u00f3n en:\u00a0https:\/\/fscd2021.dc.uba.ar\/<\/a><\/p>\n<\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"

La conferencia anual FSCD (Formal Structures for Computation and Deduction) es una de las m\u00e1s importantes en el \u00e1rea de c\u00e1lculo lambda, reescritura y teor\u00eda de tipos en ciencias de la computaci\u00f3n. El ICC y el DC son los organizadores de este encuentro internacional que, por razones de p\u00fablico conocimiento, se realizar\u00e1 en formato online del 17 al 24 de julio de 2021.<\/p>\n","protected":false},"author":9,"featured_media":2034,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[7],"tags":[],"class_list":["post-2033","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-eventos"],"_links":{"self":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/2033","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=2033"}],"version-history":[{"count":3,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/2033\/revisions"}],"predecessor-version":[{"id":2037,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/2033\/revisions\/2037"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/media\/2034"}],"wp:attachment":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/media?parent=2033"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/categories?post=2033"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/tags?post=2033"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}