Atlas home || Conferences | Abstracts | about Atlas
Email: wait99@sol.info.unlp.edu.ar
Organizers: Gabriel Baum, Marcelo Frias
Deadline for abstracts: May 03, 1999
Description:
The goal of the workshop is bringing together researchers from academy
(from Argentinean and other universities) and industry professionals in
order to discuss theoretical, empirical and experimental results on the
field of theoretical computer science.
This workshop will consist of invited talks and technical presentations.
Contributions are expected in all the areas of theoretical computer science, including the following:
* Logical and algebraic foundations for 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, on-line, probabilistic, etc.), * Computational complexity, * Automata theory, * Graph theory, * Symbolic and algebraic computation.
Mail Address:
SADIO / WAIT'99 Uruguay 252 2D 1015 - Buenos Aires ARGENTINA TEL: +54-1-3715755/4763950 FAX: +54-1-3723950
Date received: February 07, 1999
© 2008 Atlas Conferences Inc.