WAIT '97 - Workshop Argentino de Informatica Teorica
Buenos Aires, Argentina, August 11, 1997
Table of Contents
The workshop will take place as part of a bigger event, JAIIO'97, the 26th
International Conference of the Argentine Computer Science and Operational
Research Society (SADIO), and jointly with other symposia and tutorials
organized by the VLDB Foundation.
The aim of the workshop is to bring together academic and industrial
researchers from Argentina, South-America and the rest of the world to
discuss theoretical, empirical and experimental results in the field of
Theoretical Computer Science.
The workshop will include invited talks and submitted works. Typical areas
include (but are not limited to): Automata, Algorithms and Data Structures
(sequential, parallel, distributed, on-line, probabilistic, etc.),
Computational Complexity, Graphs, Symbolic and Algebraic Computation,
Combinatorial and Algebraic Aspects of Computer Science and in general all
subjects related to Computational Models.
Invited lectures:
- Joos Heintz (University of Buenos Aires and University of Cantabria,
Spain): "Virtual world as a real trap for the scientist".
- Yoshiharu Kohayakawa (University of Sao Paulo, Brazil):
"Pseudorandomness in graph theory".
We invite to submit papers on any topic of Theoretical Computer Science. We
solicit different classes of contributions, ranging from research papers to
ongoing R+D projects from either academic or industrial organizations.
Submissions will be reviewed by an International Program Committee for the
criteria appropriate to their category:
* Research/Experience Papers: Submissions on these categories will be reviewed
for significance and originality. Extended abstracts or full long papers are
required for submission deadline. Extended abstracts up to 4 pages
long, giving enough detail to allow reviewers an understanding of the
final paper, are requested. Full papers up to 12 pages long (including
abstract, figures and references) can also be submitted.
* Research Projects: With the goal of stimulating the knowledge and
cooperation between national and regional research groups, we solicit
short papers describing ongoing research projects. Originality is not
required for this category (in this case, an explicit reference to where the
work has been previously published or submitted must be given).
* Industrial/Commercial Paper: WAIT'97 focuses also on experiences applying
theoretical tools to real-life situations. We then encourage submission of
short papers describing significant results for the industry by using novel
and challenging applications of theoretical results.
SUBMISSION INFORMATION:
In order to enable a wide distribution of the papers, authors are encouraged
to submit extended abstracts or short papers in English, although submissions
in Spanish or Portuguese will also be considered.
Papers must be submitted before May 16, 1997 in ghostview-readable
PostScript format by e-mail to:
wait97@dc.uba.ar.
In addition, please send an ASCII file to the same address including the
following information: work title, complete affiliation, e-mail address,
telephone and FAX number of each author, abstract of the paper (up to 10
lines), a list of keywords describing the work, and the most likely category
to be considered.
Other forms of submission may be also considered, please contact the workshop
co-chairs by e-mail for further information.
The complete format for the camera-ready copy will be informed together with
the acceptance letter.
IMPORTANT DATES:
Extended Abstracts and Short Papers due: May 16, 1997
Notification of Acceptance: June 20, 1997
Camera Ready due: July 10, 1997
SYMPOSIUM CO-CHAIRS
Prof. Juan Echague
Instituto de Computacion, Facultad de Ingenieria
Universidad de la Republica
J. Herrera y Reissig 565
Montevideo, Uruguay
Tel: + 598-2-714244
e-mail: echague@fing.edu.uy
Prof. Esteban Feuerstein
Dpto. de Computacion -FCEN- Universidad de Buenos Aires
Pabellon I -Ciudad Universitaria
1428- Buenos Aires -ARGENTINA
Tel/Fax : +54-1-783-0729
e-mail: efeuerst@dc.uba.ar
PROGRAM COMMITTEE
- Josep Diaz (Universidad Politecnica de Catalu~a, Espa~a)
- Juan Echague (Universidad de la Republica, Uruguay, and
Universidad de La Plata, Argentina)
- Esteban Feuerstein (Universidad de Buenos Aires and
Universidad de General Sarmiento, Argentina)
- Juan A. Garay (IBM Watson Research Center, USA)
- Jan van Leeuwen (Utrecht University, The Netherlands)
- Claudio Lucchesi (Univ. de Campinas, Brazil)
- Alberto Marchetti-Spaccamela (Universita di Roma, Italia)
- Alfredo Olivero (Universidad de la Republica, Uruguay and
Universidad de General Sarmiento, Argentina)
- Patricio Poblete (Universidad de Chile, Chile)
- Imre Simon (Univ. de Sao Paulo, Brazil)
- Alfredo Viola (Universidad de la Republica, Uruguay)
For further information about the workshop please send e-mail to
wait97@sadio.edu.ar
or write to: SADIO / WAIT'97
Uruguay 252 2D
1015 - Buenos Aires
ARGENTINA
TEL: +54-1-3715755/4763950
FAX: +54-1-3723950
WAIT'97
Workshop Argentino en Informatica Teorica
Monday, August 11, 1997
Final Program
Co-Chairs:
Juan V. Echague, Univ. de la Republica (Uruguay) and Univ. de La Plata
Esteban Feuerstein, Univ. de Gral. Sarmiento and Univ. de Buenos Aires
09.00 - 10.15 Session 1: Simbolic Computation. Chair: J. Echague
About the intrinsic complexity of elimination, J. Heintz, G. Matera,
L.M. Pardo, R. Wachenchauzer
Some probabilistic algorithms for geometric elimination, G. Matera.
Computing the dimension of a projective variety, M. Giusti, K. Haegele,
G. Lecerf, J. Marchand, B. Salvy
10.15 - 10.30 COFFEE BREAK
10.30 - 11.45 Session 2. Chair: A. Olivero
Axiomatizing Shuffle, Stephen Bloom
Analisis de Diagramabilidad PMC en Sistemas Multitarea-Monoprocesador.
Una Alternativa a los Mitodos Tradicionales, R. Cayssials, E. Ferro y
J. Orozco
Some Issues in Using Formal Methods for the Development of Reactive
Systems, Pablo Argon y Olivier Roux
11.45 - 12.00 Opening of XXVI JAIIO
12.00 - 13.00 Invited Talk: The virtual world as a real
trap for the scientist, J. Heintz
14.00 - 15.40 Session 3: Research Projects. Chair: E. Feuerstein
Type Inference for Pure Type Systems, Paula Severi
Time-Space Tradeoffs for Polynomial Evaluation, M. Aldaz, J. Heintz,
G. Matera, J. L. Montana, L.M. Pardo
Analysis of Hashing Algorithms and a New Mathematical Transform,
Alfredo Viola
A sharp upper bound for the number of spanning trees of a graph,
Luis Petingi and J. Rodriguez
15.40 - 16.00 COFFEE BREAK
16.00 - 17.40 Session 4: Algorithms and Graphs. Chair: A. Viola
New Results on Fair Multi-threaded Paging, Alejandro Strejilevich de Loma
Asymptotically Better List Colourings, Michael Molloy y Bruce Reed
Permutacion de matrices ralas a una FTB inferior especifica mediante
descomposicion de grafos, Ignacio Ponzoni, Mabel C. Sanchez y Nelida
B. Brignole
Self-t-Clique Graphs: A new concept in Clique Graph theory,
Guillermo Duran y Min Chih Lin
17.40 - 18.00 Coffe Break
18.00 - 19.00 Invited Talk: Pseudorandomness in Graph Theory,
Yoshiharu Kohayakawa
Workshop Argentino de Informatica Teorica
<wait97@dc.uba.ar>
Last modified: Thu Jul 31 21:11:07 GMT-0300 1997