Simposio Latinoamericano de Teoría Computacional

Nazareno Aguire
naguirre@dc.exa.unrc.edu.ar
Argentina

Juan Francisco Diaz
juanfco.diaz@gmail.com
Colombia

 
Temas del Simposio

• Algorítmica
• Computabilidad y Complejidad
• Teoría de Autómatas y Lenguajes Formales
• Principios y Semántica de los Lenguajes de Programación
• Teoría y Modelos de Concurrencia, Seguridad y Movilidad
• Lógicas y su Aplicación a la Computación
• Modelos Formales de Requisitos, Componentes y Arquitecturas de Software
• Fundamentos y Técnicas Formales de Análisis de Software
• Teoría de Tipos y Teoría de Categorías en Computación

 
Miembros del Comité de Programa

• Aranda Jesus (UV, Colombia)
• Bergero Federico (UNR, Argentina)
• Bonelli Eduardo (UNQ, Argentina)
• Castro Pablo (UNRC, Argentina)
• Figueira Santiago (UBA, Argentina)
• Frias Marcelo (ITBA, Argentina)
• Gutierrez Julian (UO, Reino Unido)
• Jaskelioff Mauro (UNR, Argentina)
• Mocskos Esteban (UBA, Argentina)
• Pérez Jorge A. (UNL, Portugal)
• Pinzon Yoan (U. Nal., Colombia)
• Rodríguez Ricardo Oscar (UBA, Argentina)
• Rueda Camilo (PUJC, Colombia)
• Scalise Eugenio (UCV, Venezuela)
• Tasistro Alvaro, UORT (Uruguay)
• Toro-Bermudez Mauricio (UB I, Francia)