Volver a capítulos
Teoría y Aplicación de Métodos Formales en Sistemas Computacionales
El capítulo promueve 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 se basa en las Ciencias de la Computación, tanto desde un punto de vista teórico (investigación e innovación en métodos formales, lógica computacional, teoría de la computación) como experimental (desarrollo de herramientas y aplicaciones computacionales).
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.
- Promover la investigación e innovación en técnicas de modelamiento y tecnologías computacionales consolidadas y/o emergentes para la construcción de soluciones a problemas del mundo real.
- Promover el desarrollo de herramientas y aplicaciones computacionales que contribuyan en la construcción de soluciones a problemas del mundo real.
- Promover el avance científico en Colombia en las ciencias de la computación relacionadas con métodos formales en sistemas computacionales.
- Promover la cooperación entre la academia y la industria en el campo de métodos formales en sistemas computacionales.
- Promover un espacio de discusión para el intercambio de información entre actores académicos y profesionales interesados en el área.
- Apoyar el desarrollo y la organización de eventos científicos que promuevan la participación y socialización de resultados en el área.
Líneas de interés
Métodos formales, lógica computacional y teoría de la computaciónVerificación de propiedades fundamentales de sistemasFormalismos para modelar problemas combinatoriosModelamiento computacional de sistemas: transporte, logística, planificación, redes, sistemas biológicosDiseño de lenguajes resultantes de la aplicación de métodos formalesUso de tecnologías computacionales para modelar sistemas complejosPrototipos o herramientas software resultantes de la aplicación de métodos formales