Buenos Aires, Argentina
10-14 de Septiembre de 2001

Temática

Comité de Programa

Programa General / Conferecias / tutoriales

Temática

El 5º Workshop Argentino de Informática Teórica (WAIT2001) se realizará en el marco de las 30 JAIIO, que se realizarán del 10 al 14 de setiembre de 2001 en Buenos Aires. El objetivo del workshop es acercar a académicos de universidades argentinas, de la región y del mundo y profesionales de la industria para discutir resultados teóricos, empíricos y experimentales en el campo de la Informática Teórica. Este workshop consistirá de conferencias invitadas y la presentación de trabajos.

Se recibirán trabajos en TODAS las áreas de la Informática Teórica, entre ellas:

Fundamentos lógicos y algebraicos para la computación ( lógicas para la computación, teoría de categorías, álgebra relacional, teoría de tipos, etc)

Construcción formal de programas (especificación formal de programas secuenciales y concurrentes, análisis, verificación y transformación de programas)

Algoritmos y Estructuras de Datos (secuenciales, paralelos, distribuidos, on-line, probabilísticos, etc.

Complejidad Computacional

Autómatas

Grafos

Computación Simbólica y Algebraica

Comité de Programa

Presidentes:

Prof. Dr. Joos Heintz (FCEyN- Universidad de Buenos Aires, Argentina)
joos@mate.dm.uba.ar

Miembros del Comité

Gabriel Baum (Universidad Nacional de La Plata, Argentina)
Javier Blanco (Universidad Nacional de Cordoba, Argentina)
Esteban Feuerstein (Universidad de Buenos Aires)
Marcelo Frias (Universidad de Buenos Aires, Argentina)
Armando Haeberer (Oblog, Portugal)
Hermann Haeusler (Pontificia Universidade Catolica de Rio de Janeiro, Brasil)
Joos Heintz (Universidad Nacional de Buenos Aires, Argentina)
Roger Maddux (Iowa State University, USA)
Tom Maibaum (King´s College, UK)
Bernhard Moeller (Universitaet Augsburg, Alemania)
Gonzalo Navarro (Universidad de Chile, Chile)
Alfredo Olivero (Universidad Argentina de la Empresa)
Natarajan Shankar (SRI International, USA)
Alvaro Tasistro (Universidad de la Republica, Uruguay)

Programa General / Conferencias / Tutoriales

Conferencia:

Usando Álgebra Relacional en la Especificación y Desarrollo Formal de Programas
Prof. Rudolf Berghammer, Instituto Für Informatik und Praktische mathematik. Christian-Albrechts-Universität Kiel, Alemania

Se presenta una visión general sobre el uso del álgebra relacional en la especificación formal de problemas y el desarrollo de algoritmos a partir de dichas especificaciones. Especialmente se mostrará por medio de ejemplos simples cómo se pueden modelar los tipos de datos con relaciones; y cómo se llega a programas imperativos a partir de especificaciones. Mostraremos cómo nuestra aproximación es soportada por herramienta RelView. El sistema RelView ha sido desarrollado en la Universidad de Kiel desde el año 1993. Entre otras cosas, RelView Facilita el prototipado y testeo de especificaciones relacionales y programas, así como la visualización de varias propiedades y manipulaciones algebraicas.

ir arriba