CALL FOR PAPERS 30 JAIIO - WAIT'2001=20 Argentinian Workshop on Theoretical Computer Science=20 Buenos Aires - Argentina=20 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=20 computer science, category theory, relation algebras, type theory, = etc.), * Formal program construction (formal specification of sequential and=20 concurrent programs; analysis, verification and transformation of=20 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.=20 * Research papers must contain previously unpublished results.=20 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=20 acceptance. WORKSHOP CO-CHAIRS:=20 Prof. Marcelo Frias=20 Department of Computer Science University of Buenos Aires=20 Pabellon I - Ciudad Universitaria=20 1428 - Buenos Aires - ARGENTINA=20 e-mail: mfrias@dc.uba.ar Prof. Joos Heintz=20 Department of Mathematics=20 University of Buenos Aires=20 Pabellon I - Ciudad Universitaria=20 1428 - Buenos Aires - ARGENTINA=20 e-mail : joos@mate.dm.uba.ar PRELIMINARY PROGRAM COMMITTEE: Gabriel Baum (Universidad Nacional de La Plata, Argentina)=20 Javier Blanco (Universidad Nacional de Cordoba, Argentina)=20 Esteban Feuerstein (Universidad de Buenos Aires)=20 Marcelo Frias (Universidad de Buenos Aires, Argentina)=20 Armando Haeberer (Oblog, Portugal)=20 Hermann Haeusler (Pontificia Universidade Catolica de Rio de Janeiro, = Brasil)=20 Joos Heintz (Universidad Nacional de Buenos Aires, Argentina)=20 Roger Maddux (Iowa State University, USA)=20 Tom Maibaum (King=B4s College, UK)=20 Bernhard Moeller (Universitaet Augsburg, Alemania)=20 Gonzalo Navarro (Universidad de Chile, Chile)=20 Alfredo Olivero (Universidad de Buenos Aires)=20 Natarajan Shankar (SRI International, USA)=20 Alvaro Tasistro (Universidad de la Republica, Uruguay)=20 ______________________________ 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