Buenos Aires, Argentina
September 10-14, 2001

Call for Papers

Program Committee

General Program / Conference / tutorial

Call for Papers

Since its foundation in 1997, the Argentinian Workshop on Theoretical Computer Science (WAIT) has become a relevant Latin American forum for the exchange of ideas and views and the presentation of research results in theoretical computer science, including applications to other domains, as e.g. software engineering, combinatorics or symbolic and numeric computation. WAIT 2001, the 5-th workshop in this series, will be held in Buenos Aires, Argentina, September 10-14, 2001, as part of the 30-th Argentinian Conference on Informatics and Operations Research (30 JAIIO). The workshop aims to build a bridge between academic and applied research in order to promote the exchange of ideas and experience from theory and empiry in the the field of computer science and its applications. The meeting includes invited and contributed talks and tutorials.
Specific topics of WAIT 2001 include (but not are limited to) :

Logical and algebraic foundations of computer science (logics for computer science, category theory, relation algebras, type theory, etc.),

Formal program construction (formal specification of sequential and concurrent programs; analysis, verification and transformation of programs, etc.),

Algorithms and data structures (sequential, parallel, distributed and on-line computing, probabilistic algorithms etc.),

Computational complexity,

Automata theory,

Graph theory,

Symbolic and algebraic computation.

Program Committee

Chairs:

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

Members:

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)

Top

General Program / Conference / tutorial:

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.

Top