Archives: 13 abril, 2020

Computación a Gran Escala

Coordinador

Jairo Enrique Serrano Castañeda
Universidad Tecnológica de Bolívar
jserrano@utb.edu.co

Apoyo

John Alexander Sanabria Ordoñez
Universidad del Valle
john.sanabria@correounivalle.edu.co

Carlos Eduardo Gómez Montoya
Universidad del Quindío
carloseg@uniquindio.edu.co

Aurelio Antonio Vivas Meza
Universidad de los Andes
aa.vivas@uniandes.edu.co

Carlos Eduardo Arango Gutierrez
Universidad del Valle
carlos.arango.gutierrez@correounivalle.edu.co

Descripción

La solución de problemas difíciles ha sido la principal motivación para la construcción de computadores y en general para el desarrollo de nuevos paradigmas de computación. Así, los computadores han evolucionado en tal medida que han permitido abordar problemas que fueron considerados como intratables anteriormente. Sin embargo, la experiencia indica que a medida que las computadoras obtienen nuevas capacidades, nuevos problemas son considerados para explotar estas características. La creciente heterogeneidad de problemas y los límites experimentados en paradigmas convencionales para tratar de forma genérica estos problemas, motivó el desarrollo de nuevos paradigmas de computación, que se basan en el uso masivo de recursos de cómputo. De esta forma, paradigmas tales como Supercomputación, Computación Grid, y Computación en la Nube; han tomado lugar para la solución de problemas de distintas naturalezas.

El uso de tecnologías disruptivas en ambientes orientados a Supercomputación, Computación Grid, y Computación en la Nube; es común en ciencias, ingeniería y recientemente en la industria. Estas tecnologías han sido usadas para hallar soluciones a problemas relacionados con la física cuántica, pronóstico del tiempo, cambio climático, modelado molecular , simulaciones fíısicas y en nuevas áreas de aplicación como la minería de datos, ​big data y machine learning ​ .

Objetivos

Promover el interés en el uso de formas de computación a gran escala como la supercomputación, computación grid y computación en la nube. Así mismo, se busca el brindar un entorno donde socializar diversas técnicas, métodos, tecnologías y herramientas; que posibiliten la adopción de estas a la solución de problemas en ciencia, ingeniería y la industria.

En este sentido, los objetivos del Capítulo de Computación a Gran Escala son:

  • Generar espacios para divulgar y discutir el estado del arte alrededor de la computación a gran escala entre privados, industriales y la academia.
  • Promover la cooperación entre las comunidades formadas en el ámbito de la computación a gran escala.
  • Promover la capacitación de talento humano y construcción de comunidad en el marco de la computación a gran escala.

Líneas de interés:

  • Supercomputación.
  • Computación Grid.
  • Computación en la Nube.
  • Edge y Fog computing.
  • Blockchain and Distributed Ledger.
  • Resiliencia de sistemas a gran escala.
  • Virtualización y contenedores.
  • Despliegue y automatización de infraestructura.
  • Monitoreo y Visualización.

Ingeniería de Software

Coordinador

Faber D. Giraldo
Universidad del Quindío
fdgiraldo@uniquindio.edu.co

Descripción

En septiembre 14 de 2018, la SCo2 aprobó la creación del Capítulo de Ingeniería de Software con el propósito de promover espacios de trabajo colaborativo e interdisciplinario para el diseño, desarrollo, evaluación y aplicación de métodos/técnicas/herramientas para la Ingeniería de Software.

Para este capítulo se evidencia oportunidades de investigación, desarrollo e innovación relacionadas con los avances en los métodos de construcción de software, el aseguramiento de la calidad, la volatibilidad y creciente demanda de profesionales en Ingeniería de Software, la incorporación de pensamiento computacional en procesos educativos previos a la formación profesional, la cualificación del sector, la apropiación social de la Ingeniería de Software, la demanda internacional de software, el impacto de la industria de Software en ciudades intermedias y sus índices de competitividad, la pertinencia de los esquemas formativos de los profesionales según las demandas reales del sector, , la pertinencia curricular de los planes de estudio, la evolución de modelos de calidad y madurez, entre otros.

Considerando el crecimiento y posicionamiento de la industria del software en Colombia, se espera que este capítulo promueva y fortalezca la alianza Universidad-Empresa-Estado alrededor de los fenómenos asociados a dicha industria, las técnicas, modelos, lenguajes, tecnologías, y avances logrados por los investigadores colombianos, y la formulación de iniciativas y políticas locales/nacionales alrededor del sector de la industria del software.

Este capítulo también promoverá la difusión permanente de resultados de investigación, innovación y transferencia, mediante la articulación con eventos regionales organizados por los miembros académicos y aliados industriales, la integración con eventos internacionales de interés para el sector (ejemplo, CLEI, CIbSE), y la difusión en redes sociales, espacios colaborativos y/o comunidades. Se proyecta también la articulación con actores gremiales del sector tales como ACIS, FEDESOFT, InterSoftware, PacifiTIC, el Clúster de Software y TI, Cámara de Comercio de Bogotá, y los clústeres regionales; esto implica la participación en los eventos gremiales asociados.

Este capítulo se proyecta como un centro de pensamiento alrededor de los avances de la Ingeniería de Software en Colombia, identificando oportunidades de encuentro entre los sectores académico, industrial y de investigación, planteando estrategias para la consolidación de iniciativas asociadas a la construcción y validación de software, y propendiendo por la cualificación permanente del sector y sus profesionales.

Objetivos

  • Promover el avance científico del campo de Ingeniería de Software, las actividades que permitan el intercambio de información y conocimiento entre estudiantes, académicos, investigadores y profesionales en el área de Ingeniería de Software en Colombia, y la cooperación entre la academia y la industria en el tema de Ingeniería de Software.
  • Impulsar la organización y desarrollo de congresos, talleres y otras actividades relacionadas con Ingeniería de Software en el país, así como la participación y socialización de resultados en eventos de carácter Regional, Nacional e Internacional.
  • Vincular grupos y organizaciones de Ingeniería de Software en Colombia con entidades similares en el resto del mundo.
  • Propiciar espacios de reflexión que den cabida a la crítica y la argumentación en los procesos de apropiación y construcción del conocimiento en Ingeniería de Software.

Líneas de interés:

  • Ingeniería de Software.

Alianzas Estratégicas

A continuación, destacamos nuestros aliados estratégicos con quienes desarrollamos procesos de investigación e innovación en el ámbito de las ciencias de la computación y la informática.

Revista Colombiana de Computación - RCC

La Revista Colombiana de Computación (ISSN: 1657-2831, e-ISSN: 2539-2115), es una publicación semestral, que presenta a la comunidad académica y científica resultados derivados de Proyectos de Investigación, realizados por investigadores, profesores y estudiantes de pregrado, maestría y doctorado, en Computación.

Academia Mexicana de Computación - AMEXCOMP

AMEXCOMP, es una asociación civil sin fines de lucro que tiene como objetivo el integrar a los investigadores, ingenieros, tecnólogos, innovadores, docentes y promotores de la computación más distinguidos de México en las distintas áreas de la computación, para constituir un foro de excelencia de pensamiento computacional que sirva como referencia central de la ciencia y la tecnología computacional en México.

Unión de Informáticos de Cuba - UIC

La Unión de Informáticos de Cuba – UIC es una Organización Social, sin ánimos de lucro, constituida al amparo del artículo 7 de la Constitución de la República de Cuba, mediante la asamblea Nacional de fecha 7 de marzo del 2016, con ESTATUTOS PROPIOS y que agrupa a profesionales de las Tecnologías de la información, las comunicaciones y la automática en función de objetivos académicos, científicos y culturales.

Red de Programas de Ingeniería de Sistemas y Afines - REDIS

REDIS, es una agrupación de quienes actúan como autoridades máximas de los programas de ingeniería de sistemas, o nombres afines, ofrecidos por Instituciones de Educación Superior de Colombia.

Red Nacional Académica de Tecnología Avanzada - RENATA Colombia

La Red Nacional Académica de Tecnología Avanzada – RENATA, tiene por objeto: “promover el desarrollo de la infraestructura y servicios de la red de alta velocidad, su uso y apropiación, así como articular, facilitar y ejecutar acciones para el desarrollo de proyectos de educación, ciencia, tecnología e innovación y en particular, aquellos que se deriven de la articulación con entidades del Sistema
Nacional de Competitividad, Ciencia, Tecnología e Innovación”.


Teoría y Aplicación de Métodos Formales en Sistemas Computacionales

Coordinador: Robinson Andrey Duque Agudelo (robinson.duque@correounivalle.edu.co).
Apoyo:
Juan Francisco Díaz Frias (juanfco.diaz@correounivalle.edu.co).
Jesús Alexander Aranda Bueno (jesus.aranda@correounivalle.edu.co).
Nicolás Cardozo (Universidad de los Andes, n.cardozo@uniandes.edu.co)
Camilo Rocha (Universidad Pontificia Javeriana, camilo.rocha@javerianacali.edu.co)

Descripción

La computación es un término general para cualquier tipo de procesamiento de información que puede ser representada matemáticamente. Esto incluye fenómenos que van desde cálculos simples hasta el mismo pensamiento humano. Cualquier dispositivo capaz de hacer cómputos es llamado un sistema computacional.

El capítulo de Teoría y aplicación de métodos formales en sistemas computacionales promoverá el desarrollo y aplicación de métodos formales en el análisis y modelamiento de sistemas computacionales para aplicarlos en la construcción de soluciones a problemas del mundo real. El trabajo realizado en el capítulo se basará en las Ciencias de la Computación, tanto desde un punto de vista teórico como práctico, así:

  • Teóricamente, a través de la investigación e innovación en métodos formales, lógica computacional, teoría de la computación y tecnologías computacionales consolidadas y/o emergentes entre otros, para comprender y estudiar las propiedades y el comportamiento de dichos sistemas.
  • Experimentalmente, a través del desarrollo de herramientas y/o aplicaciones computacionales que contribuyan en la construcción de soluciones a problemas del mundo real, modelados formalmente, construidas a partir del uso de diferentes paradigmas de programación y tecnologías de computación que soportan la implementación de los modelos diseñados.

Objetivos

  • Promover la investigación e innovación en métodos formales, lógica computacional y teoría de la computación para el análisis y modelamiento de sistemas computacionales así como para la comprensión y estudio de sus propiedades y comportamiento.
  • Promover la investigación e innovación en técnicas de modelamiento y diversas tecnologías computacionales consolidadas y/o emergentes (e.g., tecnologías de optimización y satisfacción de restricciones, entre otros) para el análisis y modelamiento de sistemas computacionales, que permitan contribuir en la construcción de soluciones a problemas del mundo real.
  • Promover el desarrollo de herramientas y/o aplicaciones computacionales  que contribuyan en la construcción de soluciones a problemas del mundo real, modelados y construidos a partir  del uso de diferentes paradigmas de programación y tecnologías de computación  que soportan la implementación de los modelos diseñados.
  • Promover el avance científico en Colombia en las ciencias de la computación relacionadas con la Teoría y aplicación de métodos formales en sistemas computacionales.
  • Promover la cooperación entre la academia y la industria en el campo de la Teoría y aplicación de métodos formales en sistemas computacionales para contribuir en la construcción de soluciones a problemas del mundo real en Colombia.
  • Promover un espacio de discusión para el intercambio de información entre actores académicos y profesionales interesados en la Teoría y aplicación de métodos formales en sistemas computacionales en Colombia.
  • Apoyar el desarrollo y la organización de eventos científicos que promuevan la participación, discusión, socialización de resultados y el avance en la Teoría y aplicación de métodos formales en sistemas computacionales  en Colombia.

Líneas de interés

Métodos formales:

En esta línea se incluye el estudio y aplicación de métodos formales en el análisis, integración, síntesis, transformación y verificación de sistemas. Tópicos incluidos en esta línea, pero no limitados a estos, son los siguientes:  

  • Métodos formales, lógica computacional y teoría de la computación.
  • Verificación de propiedades fundamentales de sistemas.
  • Formalismos para modelar problemas combinatorios.

Modelamiento computacional de sistemas y sus aplicaciones (transporte, logística, planificación, asignación de recursos, redes, sistemas biológicos, sistemas epistémicos, redes sociales, sistemas epidemiológicos,   entre otros). Tópicos incluidos en esta línea, pero no limitados a estos, son los siguientes: 

  • Modelamiento computacional de sistemas: uso de técnicas computacionales  de modelamiento, comparación de modelos, comparación de soluciones.
  • Diseño de lenguajes resultantes de la aplicación de métodos formales para modelar sistemas computacionales.
  • Uso de tecnologías computacionales para modelar sistemas complejos y/o problemas combinatorios.
  • Prototipos o herramientas software resultantes de la aplicación de métodos formales en sistemas computacionales.
  • Prototipos o herramientas software que integren diferentes paradigmas de programación para representar sistemas computacionales de forma apropiada.