From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1881 Path: news.gmane.org!not-for-mail From: "Marcelo Frias, Prof. Dr." Newsgroups: gmane.science.mathematics.categories Subject: Call for Papers Argentinean Workshop in Theoretical Computer Science Date: Mon, 5 Mar 2001 22:16:20 -0300 Message-ID: <006d01c0a5e0$97772880$17050aa3@info.unlp.edu.ar> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 X-Trace: ger.gmane.org 1241018171 967 80.91.229.2 (29 Apr 2009 15:16:11 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:16:11 +0000 (UTC) To: Original-X-From: rrosebru@mta.ca Fri Mar 9 16:13:31 2001 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f29JRgN20604 for categories-list; Fri, 9 Mar 2001 15:27:42 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 6 Original-Lines: 124 Xref: news.gmane.org gmane.science.mathematics.categories:1881 Archived-At: CALL FOR PAPERS 30 JAIIO - WAIT'2001 Argentinian Workshop on Theoretical Computer Science Buenos Aires - Argentina September 10-14, 2001 -------------------------------------------------------------------- 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. IMPORTANT DATES: Deadline for reception of papers..............................May 13 Notification of acceptance........................................June 25 Deadline for reception of camera-ready versions.....July 16 TOPICS 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. Submissions are expected to contain original research results or to report on progress of theory-relevant academic or applied research. Papers will be refereed by international experts. * Research papers must contain previously unpublished results. They will be judged on the base of the originality and importance of their results and of the clarity of their presentation. Authors have to submit an extended abstract of not more than 4 pages or a full paper not more than 12 pages, including figures and references. * Short papers describing ongoing research in theoretical computer science are also welcome. Papers of this category should be of tutorial nature. * Finally there are invited papers describing applications of theoretical results to real-life situations. Papers of this kind should briefly describe a novel use of theory in an applied domain. INVITED SPEAKERS (to be confirmed soon) INSTRUCTIONS FOR AUTHORS: In order to facilitate the dissemination of papers and results, authors are invited to submit their contributions in English. Nevertheless, papers in Spanish or Portuguese are also welcome. Deadline for submission is May 13, 2001. Papers must be submitted electronically in PostScript format (ghostview-readable) to the following e-mail address: wait2001@dc.uba.ar Authors should communicate in a separate e-mail (in ASCII format) the title of the paper togehter with an abstract of ten lines, name and affiliation of all co-authors and their e-mail addresses, phone and FAX numbers. The message should also contain a list of keywords of the paper and should indicate to which of the above category it belongs. In case of an alternative way of sumbission please take first contact with one of the program chairs. The format of the camera-ready version of the accepted papers will be announced with in the letter of acceptance. WORKSHOP CO-CHAIRS: Prof. Marcelo Frias Department of Computer Science University of Buenos Aires Pabellon I - Ciudad Universitaria 1428 - Buenos Aires - ARGENTINA e-mail: mfrias@dc.uba.ar Prof. Joos Heintz Department of Mathematics University of Buenos Aires Pabellon I - Ciudad Universitaria 1428 - Buenos Aires - ARGENTINA e-mail : joos@mate.dm.uba.ar PRELIMINARY PROGRAM COMMITTEE: 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=B4s College, UK) Bernhard Moeller (Universitaet Augsburg, Alemania) Gonzalo Navarro (Universidad de Chile, Chile) Alfredo Olivero (Universidad de Buenos Aires) Natarajan Shankar (SRI International, USA) Alvaro Tasistro (Universidad de la Republica, Uruguay) ______________________________ Prof. Dr. Marcelo Frias Department of Computer Science School of Sciences University of Buenos Aires Pabellon I, Ciudad Universitaria, 1428 Buenos Aires Argentina Phone: +54-11-4576-3390/99 Ext.717 FAX: +54-11-4576-3359