-----------------------
CALL FOR PARTICIPATION
----------------------
28 JAIIO - WAIT'99
Argentinian Workshop on Theoretical Computer Science
Buenos Aires - Argentina
September 6-7, 1999
The 3rd Argentinean Workshop on Theoretical Computer Science (WAIT'99)
will
be part on the 28th Argentinean Conference on Informatics and Operations
Research (28 JAIIO), to be held in Buenos Aires from September
6th to September 10th, 1999.
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 two invited talks and seventeen technical
presentations in the following areas of theoretical computer science:
* Logical and algebraic foundations for computer science
* Formal program construction
* Algorithms and data structures
* Computational complexity
* Automata theory
* Graph theory
WORKSHOP CO-CHAIRS:
Prof. Gabriel Baum
LIFIA Dto. de Informatica
Universidad Nacional de La Plata
Calle 50 y 115 1er piso.
(1900) La Plata - Argentina
Tel/Fax : +54-21-22-8252
e-mail: gb...@sol.info.unlp.edu.ar
Prof. Marcelo Frias
Dpto. De Computacion -FCEyN-
Universidad de Buenos Aires
Pabellon I - Ciudad Universitaria
1428- Buenos Aires - ARGENTINA
Tel/Fax : +54-1-783-0729
e-mail: mfr...@sol.info.unlp.edu.ar
PROGRAM COMMITTEE:
Gabriel Baum (Universidad Nacional de La Plata, Argentina)
Javier Blanco (Universidad Nacional de Cordoba, Argentina)
Luis Fariqas del Cerro (Universite Paul Sabatier, France)
Esteban Feuerstein (Universidad Nacional de Buenos Aires, Argentina)
Marcelo Frias (Universidad Nacional de Buenos Aires, Argentina)
Armando Haeberer (Pontificia Universidade Catolica de Rio de Janeiro,
Brazil)
Hermann Haeusler (Pontificia Universidade Catolica de Rio de Janeiro,
Brazil)
Joos Heintz (Universidad Nacional de Buenos Aires, Argentina)
Roger Maddux (Iowa State University, USA)
Tom Maibaum (Imperial College, UK)
Bernhard Moeller (Universitaet Augsburg, Germany)
Gonzalo Navarro (Universidad de Chile, Chile)
Alfredo Olivero (Universidad Nacional de Buenos Aires, Argentina)
Ruy de Queiroz (Universidade Federal de Pernambuco, Brazil)
Alvaro Tasistro (Universidad de la Republica, Uruguay)
Sergio Yovine (CNRS-VERIMAG, France)
For more information send e-mail to: wai...@sadio.edu.ar, or write to:
SADIO / WAIT'99
Uruguay 252 2D
1015 - Buenos Aires
ARGENTINA
TEL: +54-1-3715755/4763950
FAX: +54-1-3723950
PROGRAM
-------
--------------------------------------------------------
--------------------------------------------------------
WAIT'99 Program, September 6th, 1999
Opening ...... 9:00
Gabriel Baum and Marcelo Frias
Session 1
Chair: Tom Maibaum
A Canonical Extension of Curry-Howard Isomorphism to
Classical Logic ................................. 9:15
Andou Yuuki
Update, the infinite case ........................9:50
Carlos Areces and Ver\'onica Becher
Recovering from Inconsistency: A general Framework for
Theory Recovery ..................................10:25
Cees Witteveen and Wiebe van der Hoek
Coffee break......................................11:00
Goal Oriented Information Extraction in Uniformly Constructive Calculi
.............................11:15
Mauro Ferrari, Camillo Fiorentini and Pierangelo Miglioli
Comparing Refinements for Failure and Bisimulation Semantics
........................................11:50
Rik Eshuis and Maarten Fokkinga
Lunch break.......................................12:25
Session 2
Chair: Bernhard Moeller
Utlizando RELVIEW para la verificaci\'on de especificaciones en l\'ogica
modal................14:00
Ricardo Medel
A Logical Interpretation of Abstract Fork
Specifications....................................14:35
Nazareno Aguirre
Abstract Accumulation Data Types .................15:10
Javier Blanco and H\'ector Gramaglia
Coffee break......................................15:45
Algebraic System Calculation .....................16:00
Bernhard Moeller
------------------------------------------------------
WAIT'99 Program, September 7th, 1999
Session 3
Chair: Javier Blanco
Verificaci\'on de Programas Funcionales, Imperativos y
Concurrentes .....................................9:15
Javier Blanco, Pablo Mocciola and Demetrio Vilela
A Class of Programs for Update and Retrieve Operations over an Array
....................................9:50
Adriana Toni
Coffee break.....................................10:25
Incorporando Traducci\'on a las Expresiones
Regulares .......................................10:40
Jorge Aguirre, Gabriela Maidana and Marcelo Arroyo
Incremental Deterministic Pattern-matching
Automata ........................................11:15
Nadia Nedjah and Luiza de Macedo Mourelle
Petri Net Extensions Based on Timed Graphs ......11:50
Gustavo Ariel Gonzalez, Gabriel Davis Vaisman and Daniel Riesco
Lunch break......................................12:25
Session 4
Chair: Esteban Feuerstein
On the Complexity of the Max Balance Problem....14:00
Paola Alimonti and Tiziana Calamoneri
Los Grafos K--Geod\'esicos y su Aplicaci\'on al Dise\~no Topol\'ogico de
las Redes ......................14:35
Carlos Enrique Frasser S\'anchez
Parallel Generation of Large Subgraphs in Cubic
Graphs .........................................15:10
Tiziana Calamoneri, I.Finocchi, Y.Manoussakis and R.Petreschi
Coffee break....................................15:45
The MENSURAE Language: Specifying Business
Processes! .....................................16:00
T.S.E. Maibaum
-------------------------------------------------------
------------------------------------------------------
----------
REGISTRATION FORM
28 JAIIO
28 Argentine Conference on Informatics and Operations Research
Last Name:
First Name:
Affiliation:
Position:
Address:
City:
Zip Code:
Country:
Telefhone Number:
Fax:
E-mail:
Ammount to pay:
( ) Cash:
( ) Credit Card:
( )VISA ( )ARGENCARD\MASTERCARD
Number:
Expiration Date:
Cardholder Signature:
Date:
Categorie:
( )Member ( )Student or Professor Member
( )Not Member ( )Student or Professor Not Member
I want to register at:
( )ASAI - Symposium on Artificial Intelligence
( )ASOO - Symposium on Object Orientation
( )REDES - Symposium in Networks and Distributed Arch. and Systems
( )SIO - Symposium on Operations Research
( )SIS - Symposium on Informatics and Health
( )SOST - Syimposum on Software Technology
( )SyM - Symposium on Simulation and Modelling
( )WAIT - Argentinian Workshop on Theoretical Computer Science
( )WER - Workshop on Ingeneering Requeriments
IFIP Tutorials:
( ) Network Control, Game Theory, and Learning Automata, Lorne Mason
( ) Performance Modelling of Computer Systems and Compueter Networks to
ATM networks, Ramon Puigjaner
( ) From IP over ATM to MPLS (MultiProtocol Label Switching), Andre
Danthine.
REGISTRATION FEES (in US Dollars):
Before 8/7 Before 30/8 Since
30/8
- 1 Symposium or 1 Tutorial
Not Member 100 110
120
Member, Student or Prof. Not Member 60 67
75
Student or Professor Member 30 35
40
- 2 Symposium or 2 Tutorials
Not Member 160 180
200
Member, Student or Prof. Not Member 100 110
120
Student or Professor Member 50 57
65
- 3 Tutorials + JAIIO
Not Member 240 270
300
Member, Student or Prof. Not Member 120 140
160
Student or Professor Member 70 80
90
Student and Professor fees do not include proceedings.
( ) U$S 10 each one
More information and registration at:
SADIO
Uruguay 252 2 "D"
1015 - Buenos Aires
Tel: 54 11 4371-5755
Fax: 54 11 4372-3950
e-mail: ja...@sadio.edu.ar
http://www.sadio.org.ar/28jaiio
----<*>-----<*>-----<*>--.N.O.T.I.A.M.C.A.--<*>-----<*>-----<*>-----<*>
Los mensajes son archivados en:
http://venus.arcride.edu.ar/majordomo-span.html
----<*>-----<*>-----<*>-----<*>-----<*>-----<*>-----<*>-----<*>-----<*>
