ppoblete@toqui.uchile.cl (Patricio Poblete) (07/04/89)
Because of a mistake in the preliminary program, the hotel rates for
single and double rooms were switched. Here is the correct hotel
reservation form. Also included is the final list of accepted papers.
IX CONFERENCIA SCCC IX CONFERENCE SCCC
HOTEL RESERVATION FORM
Full Name: ______________________________________________________
Affiliation: ____________________________________________________
Address: ________________________________________________________
________________________________________________________
________________________________________________________
Telephone: ____________ Electronic mail, FAX: ________________
Arrival date: ____________ Departure date: ______________
Rank hotels according to preference (1, 2,...)
RATES (per person, tax included)
Double (*) Single
[ ] Hotel Crowne Plaza US$ 57 US$ 110
(Alameda 136, Tel. +56 2 38 1042)
[ ] Hotel Carrera US$ 54 US$ 86
(Teatinos 180, Tel. +56 2 698 2011)
[ ] Hotel Cristobal Inn US$ 27 US$ 47
(Santo Domingo 444, Tel. +56 2 33 3001)
[ ] Hotel Conde Ansurez US$ 26 US$ 44
(Republica 25, Tel. +56 2 698 3779)
(*) When sharing a double room, send this form only once.
First night deposit required (for both persons, in the case of double rooms).
Deposit: US$ ______ | Mail to:
Service charge: US$ 7 |
| TURAVION
Total: US$ ______ | Agustinas 1080, Santiago, CHILE
| (Fax: +56 2 696 8756)
Make cheque payable to: |
TURAVION Ltda. | Attn.: Maria Ines Aedo
SESIONES TECNICAS PARALELAS / PARALLEL TECHNICAL SESSIONS
Martes, Julio 11, 1989/Tuesday, July 11, 1989 9:00-12:00
A B
Views as a Mechanism for Adding Types Compilation as a Strategy for an
to a Database Efficient Implementation of Plasma
Claudia Bauzer Medeiros (Universidade Closures
Estadual de Campinas, BRASIL) Jean-Paul Arcangeli (LSI-IRIT,
Universite Paul Sabatier, FRANCIA)
Binary Relation Database: Issues of
Representation and Implementation DECOR: Deteccao e Correcao Lexico-
Richard M. Piercy & Andrew J. Slade Sintatica Num Texto Escrito
(University of Durham, South Road, J. Courtin, D. Dujardin, I. Kowarski,
GRAN BRETANA) C. Michaux, D. Genthial, V.L. Strube
de Lima (Laboratoire de Genie
SMV: Un Enfoque No Tradicional de Informatique (IMAG), FRANCIA)
Vistas en Bases de Datos
Maribel Fernandez & Carolina Application of Computer Analysis in
Lavatelli (Escuela Superior Biomedical Data
Latinoamericana de Informatica, M.I. Cuevas & T. Ning (AT&T Bell
ARGENTINA) Laboratories, U.S.A.)
Traducao de Esquemas Entidade- O Meta-Ambiente da Estacao Taba
Relacionamento Estendido Para Ana R.C. da Rocha, R.C. de Aguiar,
Esquemas Relacionais J.M. de Souza & C. D'Ipolitto
Anelise Pacheco Braga (Centro (Universidade Federal do Rio de
Cientifico Rio - IBM Brasil, BRASIL) Janeiro, BRASIL)
A Formalization of the E-R Model Sistema Para La Proyeccion de
Pedro Manoel da Silveira Poblacion
(Universidade Federal do Rio de L.F. Ochoa, H. Gernandez, O. Mesa &
Janeiro, BRASIL) Isaac Dyner (Universidad Nacional,
COLOMBIA)
CPRELOBJ - Um Prototipo de Sistema de
Gerencia de Banco de Dados Orientado Modelos Cualitativos para
a Objetos Razonamiento sobre Procesos
H. Blum, L.A.C.B. Concalves, L. Industriales
Calland, M.A. Rossatto, M.L.Q. Javier Pinto & Andres Vinet
Mattoso (COPPE/Sistemas - (Universidad Catolica de Chile,
Universidade Federale do Rio de CHILE)
Janeiro, BRASIL)
Transferencia, Adaptacao e
Integracao da Estrutura Logica de Nacionalizacao de Tecnologia
Documentos em SGBD Educacional
Jose V. De Lima, H. Galy & M. Lopez J.C. Mangione, D.Feingenbaum Cleiman
(Laboratoire de Genie Informatique, & M.J-M. Thiollent (COPPE/Sistemas -
FRANCIA) Universidade Federale do Rio de
Janeiro, BRASIL)
SESIONES TECNICAS PARALELAS / PARALLEL TECHNICAL SESSIONS
Martes, Julio 11, 1989/Tuesday, July 11, 1989 14:30-17:30
A B
Sorting and Selection by a Robot A Methodology for Proving the
S. Carlsson & R. Karlsson (Lund Correctness of Programs
University, SUECIA) W.D. Maurer (The George Washington
University, U.S.A.)
A Unifying Approach to the Generation
of Addition Chains On the Inevitability of Program
F. Bergeron, J. Berstel and S. Brlek Testing: A Formal Analysis
(Universite du Quebec a Montreal, A.M. Haeberer & P.A.S. Veloso
CANADA) (Pontificia Universidade Catolica -
RJ, BRASIL)
Serial and Parallel Algorithms for a
Problem Restricted to Partial k-trees On the Relation Between Statecharts
Manrique Mata (University of and SCCS; Some Ideas to Explain the
Victoria, CANADA) Behaviour
Richard Fiack & Dominique Mery
An Interior Point Approach to the (CNRS-CRIN, Universite de Nancy I,
Maximum Independent Set Problem in FRANCIA)
Dense Random Graphs
N. Karmarkar, M.G.C. Resende & K.G. Cyclic Reference Counting With Local
Ramakrishnan (AT&T Bell Laboratories, Mark-Scan
U.S.A.) A.D. Martinex, R. Wachenchauzer &
R.D. Lins (BRASIL)
Constrained Shortest Path Algorithm
for Network Management Implementing and Optimizing GM-C
Boris S. Veroy (New Jersey Institute M.A. Musicante & R.D. Lins (BRASIL)
of Technology, U.S.A.)
Charms of Programming and Object-
On Embedding a Binary Tree in a Oriented Programming
Hypercube Nora Boulahia (Dept. d'Etudes et de
Ricardo A. Baeza-Yates (University of Recherches en Informatique, FRANCIA)
Waterloo, CANADA)
Uso de Tecnicas de Engenharia de
Software no Desenvolvimento de
Software Cientifico
Ana R.C. da Rocha, T.C. de Aguiar, S.
Palermo, J.M. de Souza, J.F. Falcao &
C. D'Ipolitto (Universidade Federal
do Rio de Janeiro, BRASIL)
SESIONES TECNICAS PARALELAS / PARALLEL TECHNICAL SESSIONS
Miercoles, Julio 12, 1989/Wednesday, July 12, 1989 14:30-17:30
A B
Una Proposicion de Representacion Determining a New Algorithm for
Intermedia de Conocimiento como apoyo Certainty Factors
a la Conceptualizacion y Rocio Guillen-Castrillo & Ma. de los
Formalizacion de Este Angeles Constantino (Instituto
Oscar Molina H., Pedro Hepp K. & Tecnologico y de Estudios Superiores
Javier Pinto B. (Universidad de Monterrey, MEXICO)
Catolica de Chile, CHILE)
IF, A package for Deciding Systems of
Building a Deductive Database with a Inequalities
Relational Database Management System F. Cucker, L. Gonzalez Vega, M.-F.
M. Nussbaum (ETH - Zentrum, SUIZA) Roy (Facultat d'Informatica, ESPANA)
The Upgrade from an RDBMS to a KBMS The Original Unity of Minimum Cost
Xue Li (University of Queensland, Spanning Tree Algorithms
AUSTRALIA) Susan M. Merritt (Pace University,
U.S.A.)
Manejo Eficiente de Consultas
Incrementales en Programas Logicos Referencias Distanciales de
Sergio N. Di Geronimo, J.V. Echague & Levenshtein en la Estructura de
J. Vidart (Escuela Superior Burkhard-Keller Organizada Segun la
Latinoamericana de Informatica, Distancia Invariante Trasposicional
ARGENTINA) O. Santana, J. Perez, M. Espino &
J.C. Rodriguez (Universidad
Hierarchical Resolution: A General Politecnica de Canarias, ESPANA)
Solution to the Negation Problem in
Logic Programming Estructuracion de las Componentes de
Alonso Marquez (Universidad de la la Distancia Invariante
Republica, URUGUAY) Trasposicional, Dit, Con Comparticion
de la Zona No-Discriminante en la
Practical Application of Conditional Busqueda de las Cadenas mas Similares
Term Rewriting Systems O. Santana, M. Diaz, J.D. Duque & G.
Mitsuhiro Okada & Peter Grogono Rodriguez (Universidad Politecnica de
(Concordia University, CANADA) Canarias, ESPANA)
LU-Narrowing: A Rewrite-Based La Distancia Infinita en la
Semantic Unification Algorithm Determinacion de los M-Vecinos
without Directionality Euclideos mas Proximos en el Arbol
J. Darlington & H. Pull (Imperial K-D-B
College of Science & Technology, O. Santana, G. Rodriguez, M. Diaz &
University of London, GRAN BRETANA) A. Placido (Universidad Politecnica
de Canarias, ESPANA)
SESIONES TECNICAS PARALELAS / PARALLEL TECHNICAL SESSIONS
Jueves, Julio 13, 1989/Thursday, July 13, 1989 14:30-17:30
A B
Computacion Grafica: Bezier IV: Un Optimisations of Logic Programs
Nuevo Metodo de Aproximacion de H. Khoshnevisan, D.A. Fuller & P.G.
Curvas Harrison (Imperial College of Science
Claudio Delrieux & Daniel Formica & Technology, Univ. of London, GRAN
(Universidad Nacional Del Sur, BRETANA)
ARGENTINA)
A Semantics for Logic Programs
Diseno de Interfaces Hombre- Eliezer L. Lozinskii (The Hebrew
Computador Con Multimedios University of Jerusalem, ISRAEL)
Pedro Hepp K. & Cecilia Alvarez
(Pontificia Universidad Catolica de OPERA: Uma Implantacao Paralela de
Chile, CHILE) Prolog em uma Rede de Transputers
C. Geyer, J. Briat & M. Favre
Hipertexto: Viabilizando Uma Velha (Laboratoire de Genie Informatique -
Ideia IMAG - Campus, Universite Joseph
Claudio D'Ipolito (COPPE/Universidade Fourier, FRANCIA)
Federal do Rio de Janeiro, BRASIL)
Generacion de Meta-Interpretes Para
An Hypertext Based Environment for Programacion Logica
Supporting Collaborative Work Raul Carnota, J. Diaz, A. Kvitca, A.
A. Amandi, A. Torguet, G. Rossi & A. Monteiro & J. Vidart (Univ. de Buenos
Schiavonni (Universidad Nacional de Aires, ARGENTINA)
la Plata, ARGENTINA)
Semantica de Lenguajes Logicos
Dynamic Modeling of Office Work: Concurrentes: Parlog, GHC y
Forms, Nets and Views Concurrent Prolog
J.P.M. de Oliveira & D.D.A. Ruiz Viviana M. Catz (Escuela Superior
(Universidade Federal Do Rio Grande Latinoamericana de Informatica,
Do Sul - CPGSS, BRASIL) ARGENTINA)
Modelo de Usuario Para Geracao de Non Monotonic Preferential Models &
Explicacao Conditional Logic
Paula Y. dos Guaranys & Donia R. H. A. Costa & Raul Carnota (Univ. de
Scott (Pontificia Universidade Buenos Aires, ARGENTINA)
Catolica/RJ, BRASIL)
Razonamiento Nomonotonico: Analisis
Machine Learning in User Interfaces: Critico de Formalismos
Objectives and Strategies Sylvia Daiqui Sorgi (E.S.L.A.I.,
A.R. Puerta & R.D. Bonnell (U.S.A.) ARGENTINA)
SESIONES TECNICAS PARALELAS / PARALLEL TECHNICAL SESSIONS
Viernes, Julio 14, 1989/Friday, July 14, 1989 14:30-17:30
A B
Message Traffic Controls in a A Neural Solution to Finding Optimal
Distributed Environment Multibus Interconnection Networks
Robert F. Dailey (Universidad de Carme Torras & Pau Bofill (Institut
Chile, CHILE) de Cibernetica (CSIC-UPC), ESPANA)
I/O Performance in Database Machines A New Cellular VLSI Architecture
T.A. Marsland & L. Meng (University Based on Transputer with Application
of Alberta, CANADA) to Circuit Simulation
Jorge H. Goncalves Romero (IBM
How to Find the Maximum Working Set Venezuela Scientific Center,
of a Program for a Data Flow Computer VENEZUELA)
Gi-Chul Yang (University of Missouri
- Kansas City, U.S.A.) Supernode: An Advanced Reconfigurable
Highly Parallel Computer Architecture
Development of the Basic Software of and its Model of Programming
a Tagged-Token Dataflow Machine T. Muntean, J. Eudes, M. Favre, N.
Jorge Luiz e Silva & Claudio Kirner Gonzalez, Y. Langue, F. Menneteau, L.
(Universidade Federal de Sao Carlos, Mugwaneza & P. Waille (Universidad de
BRASIL) Grenoble, FRANCIA)
Constructing the Minimization Diagram Avridged, I/O and Inter-language
of a Two-Parameter Problem With an Calling for Functional Languages
Application to Distributed Module Nigel Perry (Imperial College of
Allocation Science, Technology and Medicine,
D. Fernandez-Baca & S. Srinivasan GRAN BRETANA)
(Iowa State University, U.S.A.)
Una Solucion Para las Constantes
Bases Para un Sistema Distribuido Polimorficas en un Lenguaje Funcional
Bendrame Carina, Di Sarno Alicia & Paula Severi & Eduardo Gimenez
Felder Miguel (Escuela Superior (Universidad de la Republica,
Latinoamericana de Informatica, URUGUAY)
ARGENTINA)
Equivalencia Entre el Lambda Calculo
JOYCE+: Modelo y Lenguaje de Sistemas y la Logica Combinatoria y su
Distribuidos Multisitios Aplicacion a la Construccion de
Maria Consuelo Franky (Universidad de Interpretes de Lenguajes Funcionales
los Andes, COLOMBIA) G. Betarte & P. Peratto (Universidad
de la Republica, URUGUAY)