March 1998 - Categories - categories.org.au

Naturality Squares and Pullbacks
by Neil Ghani 06 Apr '98

06 Apr '98

A natural transformation is an indexed family of arrows such that a certain diagram commutes. One could require a stronger condition, namely that the said diagram is a pullback. What would such a transformation be called? I'm sure I've seen this in the literature before but I cant remember where. Pointers? This problem arose in the context of finitary monads where T(X) is the derived operations over a set X for some signature. The naturality square for the unit turns out to be a pullback. This then implies that the unit of the monad is a monic - presumably this is a result in the literature somewhere. Again, pointers? Neil Ghani

4 3

WoLLIC'98 - Deadline Extended
by Ruy de Queiroz 31 Mar '98

31 Mar '98

[Please post] The DEADLINE for SUBMISSIONS has been EXTENDED to APRIL 15th. --- Important Dates: Deadline for Submissions: April 15th Notification of Acceptance/Rejection: May 15th Delivering Final Version: May 30th. --- Final Call for Contributions 5th Workshop on Logic, Language, Information and Computation (WoLLIC'98) July 28-31, 1998 ! TUTORIALS >> (Tutorial Day: July 28th) << TUTORIALS ! IME-USP, Sao Paulo, Brazil The "5th Workshop on Logic, Language, Information and Computation" (WoLLIC'98), the fifth version of a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic, will be held in Sao Paulo, Brazil, from July 28th to 31st 1998. Contributions are invited in the form of short papers (6 10pt pages or 1800 words) in all areas related to logic, language, information and computation, including: pure logical systems, proof theory, model theory, algebraic logic, type theory, category theory, constructive mathematics, lambda and combinatorial calculi, program logic and program semantics, logics and models of concurrency, logic and complexity theory, nonclassical logics, nonmonotonic logic, logic and language, discourse representation, logic and artificial intelligence, automated deduction, foundations of logic programming, logic and computation, and logic engineering. The 5th WoLLIC'98 has the scientific sponsorship of the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information (FoLLI), the Association for Symbolic Logic (ASL), the Sociedade Brasileira de Computacao (SBC), and the Sociedade Brasileira de Logica (SBL). There will be a number of guest speakers, including: Sergei Artemov (Moscow State Univ, Russia) (CONFIRMED), Sam Buss (Univ Calif San Diego, US) (CONFIRMED), Edmund Clarke (Carnegie-Mellon Univ, US) (CONFIRMED), Heinz Dieter Ebbinghaus (Universitaet Freiburg, Germany) (CONFIRMED), Michael Fourman (Edinburgh Univ, UK) (CONFIRMED), Dov Gabbay (Imperial Coll, UK) (*), Hans Kamp (Stuttgart Univ, Germany) (CONFIRMED), Phokion Kolaitis (Univ Calif Santa Cruz, US) (*), Valeria de Paiva (Birmingham Univ, UK) (CONFIRMED), Maarten de Rijke (Amsterdam Univ, The Netherlands) (CONFIRMED), Giovanni Sambin (Padoa Univ, Italy) (CONFIRMED). (*) TO BE CONFIRMED Submission: Papers (sent preferably in LaTeX format by e-mail to ** wollic(a)ime.usp.br **, or in 5(five) copies to postal address) must be RECEIVED by APRIL 15TH, 1998 by one of the Co-Chairs of the Organising Committee. Papers must be written in English and give enough detail to allow the programme committee to assess the merits of the work. Papers should start with a brief statement of the issues, a summary of the main results, and a statement of their significance and relevance to the workshop. References and comparisons with related work is also expected. Technical development directed to the specialist should follow. Results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. One author of each accepted paper will be expected to attend the conference in order to present it. Authors will be notified of acceptance by MAY 15th, 1998. The abstracts of the papers will be published in a "Conference Report" section of the Logic Journal of the IGPL (ISSN 1367-0751) (Oxford Univ Press) as part of the meeting report. Papers presented at the meeting will be invited for submission (in full version) to the Logic Journal of the IGPL (http://www.oup.co.uk/jnls/igpl/) The WoLLIC'98 is hosted by Universidade de Sao Paulo (USP), and will take place at the Mathematics and Statistics Institute (IME). Programme Committee: Andreas Blass (Michigan Univ, USA), Itala D'Ottaviano (Univ Campinas, BR), J. Michael Dunn (Indiana Univ, USA), Wilfrid Hodges (Queen Mary Coll, UK), Francisco Miraglia (Univ Sao Paulo, BR), Luiz Carlos Pereira (Cathol Univ Rio, BR), Andrew Pitts (Cambridge Univ, UK), Amir Pnueli (Weizmann Inst, Israel). Organising Committee: L. S. C. Baptista (UFPE/UFPB), M. Finger (USP), E. Hermann Haeusler (PUC-Rio), A. C. V. de Melo (USP), A. G. de Oliveira (UFBA/UFPE), R. de Queiroz (UFPE), F. C. da Silva (USP). For further information, contact the Co-Chairs of the Organising Committee: Ruy de Queiroz, Departamento de Informatica, Univ. Federal de Pernambuco, CP 7851, 50732-970 Recife, PE, Brazil, e-mail: ruy(a)di.ufpe.br, tel.: (+55 81) 271 8430, fax: (+55 81) 271 8438. Marcelo Finger, Departamento de Ciencia da Computacao, Instituto de Matematica e Estatistica, Universidade de Sao Paulo, Rua do Matao 1010, 05508-900 Sao Paulo, SP, Brazil, e-mail: mfinger(a)ime.usp.br, tel.: (+55 11) 818 6287, fax: (+55 11) 818 6134. Web page: http://www.ime.usp.br/~wollic

1 0

TLCA99
by Jean-Yves GIRARD 31 Mar '98

31 Mar '98

\documentstyle{article} \parindent 0cm \pagestyle{empty} \textwidth 18cm \textheight 28cm \topmargin -2.5cm \oddsidemargin -1.2cm \evensidemargin 0cm \begin{document} \begin{center} {\Large Fourth International Conference on} \end{center} \smallskip \begin{center} {\Huge Typed Lambda Calculi and Applications} \end{center} \begin{center} {\Huge (TLCA'99)} \\ \end{center} \bigskip \begin{center} {\Large l'Aquila (Italia), 7 to 9 April 1999} \end{center} \smallskip \begin{center} {\LARGE \bf Call For Papers} \end{center} \bigskip The TLCA series of conferences aims at providing a forum for the presentation and discussion of recent research in an area which was originally a rather restricted field but has now considerably expanded. The following list of topics is non-limitative:\\ \vspace{-0.4cm} {\large \begin{center} \begin{tabular}{@{}ll} {\bf Proof-theory} & {Cut-elimination and normalization, Linear logic, \ldots}\\ \\ {\bf Semantics} & {Denotational semantics, Game semantics, \ldots}\\ \\ {\bf Operationality} & {Abstract machines, Parallel execution, \ldots}\\ \\ {\bf Typing} & {Subtypes, Type assignment systems, \ldots}\\ \\ {\bf Programming} & {Proof search, Type checking, \ldots}\\ \end{tabular} \end{center} } \bigskip \begin{minipage}[t]{8.5cm} The programme of TLCA'99 will consist of about 30 selected presentations in plenary sessions. The Programme Committee consists of:\\ {\bf S.~Abramsky}~(University of Edinburgh) \\ {\bf T.~Coquand}~(G\"oteborgs Universitet) \\ {\bf J.-Y.~Girard}~(IML/Marseille) ({\bf Chair}) \\ {\bf R.~Hindley}~(University of Wales Swansea) \\ {\bf J.-L. Krivine}~(Universit\'e Paris VII) \\ {\bf J.~Reynolds}~(Carnegie-Mellon University/Pittsburgh) \\ {\bf S.~Ronchi}~(Universit\`a di Torino) \\ {\bf A.~Scedrov}~(University of Pennsylvania/Philadelphia) \\ {\bf T.~Streicher}~(Technische Universit\"at Darmstadt) \\ {\bf M.~Takahashi}~(T\^oky\^o K\^ogy\^o Daigaku) \\ {\bf P.~Urzyczyn}~(Uniwersytet Warszawski) \\ {\bf Original contributions} should be sent by E-mail (Postscript files only) to \begin{quote} tlca99(a)iml.univ-mrs.fr \end{quote} and a short abstract should be sent as a separate E-mail; it should use only standard ASCII characters. Hard copy (6 copies) is also acceptable, to the address \begin{quote} Jean-Yves Girard, \\ Institut de Math\'ematiques de Luminy, \\ 163 Avenue de Luminy, case 907, \\ 13288 Marseille cedex 9, France \\ {\bf fax:} (+)-33-491269655 \end{quote} All submissions must be {\bf received} by Sept. 4, 1998. \end{minipage} \hspace{1cm} \begin{minipage} [t]{8.5cm} Papers should not exceed 15 standard A4 or U.S. quarto pages and should allow the Programme Committee to assess the merits of the work: in particular references and comparisons with related work should be included. Submission of material already published or submitted to other Conferences with Proceedings is not allowed.\\ {\bf Relevant dates:} \begin{quote} Submissions: {\em September 4, 1998}\\ Acceptance/rejection: {\em November 16, 1998} \\ Definitive versions due: {\em January 4, 1999} \end{quote} The accepted papers will be published as a volume of Springer Lecture Notes in Computer Science. Information about LNCS can be found at the home page \vspace{-0.3cm} \begin{quote} http://www.springer.de/comp/lncs/index.html \end{quote} More details about the Conference will become available later from the Organizing Committee Chairman: \begin{quote} Benedetto Intrigila\\ Dipartimento di Matematica\\ Universit\`a di l'Aquila\\ Via Vetoio, Loc. Coppito\\ 67100 l'Aquila, Italia\\ {\bf E-mail:} tlca99.aquila(a)univaq.it\\ {\bf fax:} (+)-39-862-433180 \end{quote} or at the home page: \begin{quote} http://w3.dm.univaq.it/tlca99 \end{quote} \end{minipage} \end{document}

1 0

AMAST'98 first CFP
by Marcelo Frias 27 Mar '98

27 Mar '98

We apologize if you received more than one copy of this call for papers. Call for Papers Seventh International AMAST Conference AMAST '98, January 5 to 9 , 1999, Amazonia, Brazil. --------------------------------------------------------------------- Goals The major goal of the AMAST Conferences is to put software development technology on a firm, mathematical foundation. Particular emphasis is given to algebraic and logical foundations of software technology. An eventual goal is to establish algebraic and logical methodologies as viable and attractive approaches to software engineering. The first three editions of AMAST were held at the University of Iowa (1989 and 1991) and at the University of Twente (1993). The fourth conference was held at Concordia University of Montreal (1995), the fifth at Ludwig-Maximilians University, Munich (1996), and the sixth will be held in Sidney, Australia, (December 13-17, 1997). During these meetings, AMAST has attracted an international following among researchers and practitioners interested in software technology, programming methodology and their algebraic and logical foundations. In addition, the first day of each conference has been dedicated to Mathematics Education for Software Engineers. Following this successful trend, the seventh AMAST International Conference will be held in Amazonia, Brazil, from January 5 to January 9, 1999. ------------------------------------------------------------------- Submissions As in the previous years we invite papers reporting original research in algebra, logic and other formalisms suitable as a foundation for software technology, as well as software technologies developed by means of logic and algebraic methodologies. Submissions should not have been published and should not be under consideration for publication elsewhere. The topics of interest include, but are not limited to, the following: SOFTWARE TECHNOLOGY systems software technology, application software technology, concurrent and reactive systems, formal methods in industrial software development, formal techniques for software requirements, design. PROGRAMMING METHODOLOGY logic programming, functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies. ALGEBRAIC AND LOGICAL FOUNDATIONS logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, theorem proving and logical frameworks for reasoning, logics of programs. SYSTEMS AND TOOLS (for system demonstrations or ordinary papers) software development environments, support for correct software development, system support for reuse, tools for prototyping, validation and verification, computer algebra systems, theorem proving systems. We invite prospective authors to submit electronically previously unpublished papers of high quality. Papers should be between five and fifteen pages in LNCS style. Ten page papers are ideal, and papers longer than fifteen pages may be rejected without detailed refereeing. Please see details at http://www.lmf-di.puc-rio.br/~amast98 under "submission" which explain how to obtain a paper number, and then how to send a fully self-contained postscript file (preferably derived from LaTeX with the LNCS style) to amast98(a)lmf-di.puc-rio.br. If for any reason it is impossible to submit a paper electronically, authors should send six paper copies of their submission to the programme chair at the address below. All papers will be refereed by the programme committee, and will be judged based on their significance, technical merit, and relevance to the conference. As in the past, we expect the proceedings to be published by Springer-Verlag in their Lecture Notes in Computer Science Series. Papers should be received by June 15, 1998. ------------------------------------------------------------------- Address for non-electronic submissions and enquiries Prof. Dr. Armando M. Haeberer (Program Chair of AMAST'98) Diretor do Laboratorio de Metodos Formais Departamento de Informatica Pontificia Universidade Catolica do Rio de Janeiro Rua Marques de Sao Vicente, 225 Rio de Janeiro, RJ 22453-900 Brazil Phone: +55 21 512-8325 512-6837 FAX: +55 21 512-8045 Email: amast98(a)lmf-di.puc-rio.br ------------------------------------------------------------------- AMAST General Chair: Maurice Nivat (France) Programme Chair: Armando Haeberer (Brazil) ------------------------------------------------------------------- Programme Committee Vangalur Alagar (Canada) Egidio Astesiano (Italy) Gabriel Baum (Argentina) Chris Brink (South Africa) Walter Carnielli (Brazil) Rocco De Nicola (Italy) Jose Fiadeiro (Portugal) Marcelo Frias (Brazil) Kokichi Futatsugi (Japan) Dov Gabbay (United Kingdom) E. Hermann Haeusler (Brazil) Paola Inverardi (Italy) Michael Johnson (Australia) Richard Jullig (United States) Rafael Lins (Brazil) Michael Lowry (United States) Carlos Jose Pereira de Lucena (Brazil) Roger Maddux (United States) Thomas Maibaum (United Kingdom) Michael Mislove (United States) Ugo Montanari (Italy) Peter Mosses (Denmark) Istvan Nemeti (Hungary) Anton Nijholt (Netherlands) Daltro Nunes (Brazil) Fernando Orejas (Spain) Don Pigozzi (United States) Ruy de Queiroz (Brazil) Charles Rattray (United Kingdom) Teodor Rus (United States) Giuseppe Scollo (Netherlands) Michel Sintzoff (Belgium) Douglas Smith (United States) Andrzej Tarlecki (Poland) Paulo Veloso (Brazil) Martin Wirsing (Germany) ------------------------------------------------------------------- Organizing Committee Chair and Finances: Armando Haeberer Marcia Ferreira Daniela Cardoso Tools and Demos: Claudio Terra Local arrangements: Alvanir Becerra de Carvalho ------------------------------------------------------------------- Important Dates Submission of Papers: June 15, 1998 Submission of System Demo Proposals: July 1, 1998 Author notification of ouctome: September 15, 1998 Camera ready copy received by: November 1, 1998 Education Day: January 5, 1999 Intended Conference Dates: January 5 to 9 , 1999 ------------------------------------------------------------------- Further information For regularly updated details of the conference organisation see http://www.lmf-di.puc-rio.br/~amast98 or send email to amast98(a)lmf-di.puc-rio.br.

1 0

tensor product of categories
by john baez 26 Mar '98

26 Mar '98

Where can I read about the "tensor product" of cocomplete categories? (Hopefully this is a sensible and self-explanatory concept.) Or variations on this theme involving categories with coproducts, or finite colimits, or finite coproducts?

2 1

CFP: Applied Category Theory - Belgium 1998
by Nick Rossiter 25 Mar '98

25 Mar '98

I would be very grateful if this could be posted on the Categories newgroup .. thanks ... Nick Call For Papers: Applied Category Theory - Belgium 1998 The 15th International Congress on Cybernetics, to be held from August 24 to 28, 1998,at the Institute for Computer Sciences of the University of Namur, Belgium, is including a symposium on applied category theory. The symposium seeks to bring together researchers with common interests in formalization and analysis of information and other complex systems with category theory. Areas of interest include software engineering, knowledge and data bases, distributed networks, artificial cognition, neural nets, fuzzy logic, consciousness and quantum computation. Authors wishing to submit a paper should send an abstract as soon as possible to: International Association for Cybernetics Palais des Expositions, avenue Sergent Vrithoff, 2 B-5000 NAMUR, Belgique - Belgium Tel. + 32-81-71.71.71 - Fax + 32-81-71.71.00 E. Mail address : Cyb(a)info.fundp.ac.be English and French are the official languages for this symposium. The conference fee for authors (before 30th April) is 11,000 Belgian Francs. Students and participants from developing countries may apply to the Secretariat of the International Association for Cybernetics for special rates. Any queries on the subject matter of the symposium should be addressed to me. Nick Rossiter, Computing Science, Newcastle University, England NE1 7RU

1 0

FMCS '98: Call for Participation
by Jeff Lewis 24 Mar '98

24 Mar '98

**** Final Call For Participation **** Foundational Methods in Computer Science: A workshop on applications of categories in computer science May 29--31, 1998 Reed College, Portland, Oregon Sponsored by the Computer Science and Engineering Department at Oregon Graduate Institute of Science & Technology, the Department of Mathematics at Reed College and the National Science Foundation The workshop is an informal meeting to bring together researchers in mathematics and computer science with a focus on the application of category theory in computer science. It is a three day meeting that starts off with a day of tutorials aimed at students, educators, and newcomers to category theory, followed by a day and a half of research talks. All sessions will be held on the Reed campus which is quiet, beautifully landscaped, and adjacent to a park and a public golf course. Guest speakers at this year's workshop include: David Espinosa (Kestrel Institute) Richard Jullig (Arrow Logics) Eugenio Moggi (University of Genova) Philip Wadler (Lucent) The remaining research talks are solicited from the participants. At this point, however, only a few slots remain available, so if you are interested in giving a talk, please register soon. Student participation is particularly encouraged at FMCS. We are expecting a grant from the NSF, which will provide some support for students to attend the workshop. Support is offered on a first-come, first-served basis. Please inquire if you are interested. The meeting registration fee is $105, the student rate is $70. This fee includes Reception on Thursday, 3 meals on Friday, 3 meals on Saturday (which includes a banquet dinner), 2 meals on Sunday, and proceedings of the meeting. The lodging fee is $80, which covers 3 nights lodging ($25/night) and Linen Fee ($5.00) at Reed College. Payment will be accepted prior to the meeting by check, and payments must be received by April 14, 1998. Please visit the FMCS98 web site for further details. http://www.cse.ogi.edu/PacSoft/conf/fmcs ** Registration ** Please send registration information via email to Kelly(a)cse.ogi.edu. You can also register on-line at http://www.cse.ogi.edu/PacSoft/conf/fmcs/registration.html Advance payment is preferred. Checks should be payable to Oregon Graduate Institute and should reference FMCS98. They should be mailed to: Oregon Graduate Institute Attn: Kelly Atkinson CSE Department P.O. Box 91000 Portland, OR 97291-1000 Name: Job title: Affiliation: Address: email: phone: fax: registration fee (regular = $105, student = $70): _______ Vegetarian banquet meal? (yes/no) presentation? (yes/no) title: Accommodation: dorm rooms: (list nights needed) cost = $5.00 + ____ nights * $25 = $__.00 If you want to stay off campus, please make those arrangements on your own. Please mark the days you plan to attend: Reception, Thursday, May 28, 1998 ____ Friday, May 29, 1998 ____ Saturday, May 30, 1998 ____ Sunday, May 31, 1998 ____ Extra Banquet tickets ($25/person): ** Questions? ** If you have any questions or comments, please contact Jeff Lewis, Jim Hook or Kelly Atkinson at OGI. Jeff Lewis jlewis(a)cse.ogi.edu Phone: (503) 690-4035 Fax: (503) 690-1548 James Hook hook(a)cse.ogi.edu Phone: (503) 690-1169 Fax: (503) 690-1548 Kelly Atkinson kelly(a)cse.ogi.edu Phone: (503) 690-1336 Fax: (503) 690-1548 Department of Computer Science and Engineering Oregon Graduate Institute of Science & Technology P.O. Box 91000 Portland, OR 97291-1000

1 0

IPL Call For Participation
by Christopher Colby 23 Mar '98

23 Mar '98

CALL FOR PARTICIPATION Workshop on Internet Programming Languages in conjunction with the IEEE Computer Society International Conference on Computer Languages 1998 Loyola University Chicago Chicago, USA http://www.math.luc.edu/iccl98 May 13, 1998 The Internet has long provided a global computing infrastructure but, for most of its history, there has not been much interest in programming languages tailored specifically to that infrastructure. More recently, the Web has produced a widespread interest in global resources and, as a consequence, in global programmability. It is now commonplace to discuss how programs can be made to run effectively and securely over the Internet. This workshop will provide a forum for the discussions of all aspects of computer languages for wide-area systems, including specification languages, programming languages, semantics, implementation technologies, and application experience. Organizing Committee Henri Bal, Vrije Universiteit, The Netherlands, bal(a)cs.vu.nl Boumediene Belkhouche, Tulane University, USA, bb(a)eecs.tulane.edu Luca Cardelli, Microsoft Research, Cambridge, UK, luca(a)luca.demon.co.uk Program Opening: 8:50. Session 1: 9:00-10:30. Location Independence for Mobile Agents Peter Sewell, Pawel T. Wojciechowski and Benjamin C. Pierce Three Moves are not as Bad as a Fire Peter Van Roy and Seif Haridi Towards a Calculus of Mobile Computations Jan Vitek and Giuseppe Castagna Session 2: 11:00-12:30. Paradigms for Global Computation - an Overview of the Hippo Project Richard Connor and Keith Sibson HCL - a Language for Internet Data Acquisition Richard Connor and Keith Sibson A Run-Time System for the Web Co-ordination Language Antony Rowstron and Stuart Wray Session 3: 14:00-16:00. PML: A Language Interface to Networked Voice Response Units J. Christopher Ramming Implementing Spatio-Temporal Relations for Hypermedia Presentations using an HTML-like Language C. Bouras, V. Kapoulas, D. Moiras, V. Ouzounis, P. Spirakis and A. Tatakis Derivatives: A Construct for Internet Programming Dominic Duggan Network Programming Using PLAN Michael Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter and Scott Nettles Session 4: 16:30-17:30. Discussion

1 0

SECOND ANNOUNCEMENT: WORKSHOP
by Bob Rosebrugh 23 Mar '98

23 Mar '98

SECOND ANNOUNCEMENT WORKSHOP In conjunction with the Category Theory Session at the Canadian Mathematical Society's Summer 1998 Meeting, there will be a workshop on the Applications of Category Theory to Computer Science, directed towards graduate students and young researchers. June 8-12, 1998 (arrival day Sunday, June 7, 1998) Mount Allison University Sackville, New Brunswick, Canada The invited instructors are M. Barr (McGill) and R.F.C. Walters (Sydney). Residence accommodation will be available at Mount Allison University at a cost of $27.60/person/night for a single room $24.30/person/night for a shared double room $23.00/person/night for either of the above for students upon presentation of a student card. (All prices are in Canadian dollars and include taxes.) Bookings can be made at http://www.mta.ca/conference/overnigh.htm There will be a registration fee of $50 for the workshop. To preregister send e-mail to ct95(a)mscs.dal.ca (sic) with subject heading `workshop'. On the evening of Friday June 12 the Workshhop participants will receive free transportation to Saint John, New Brunswick, site of the aforementioned Category Theory Symposium. FINANCIAL SUPPORT The Canadian Mathematical Society can provide, particularly to Canadians, some assistance with expenses for participation in the Graduate Session of the CMS Summer Meeting. Please apply to the Meeting Director of the Saint John CMS Meeting, Bob Rosebrugh rrosebrugh(a)mta.ca by March 31, 1998; successful applicants will be notified by May 1. Sponsored by The Fields Institute for Research in Mathematical Sciences The Canadian Mathematical Society and AARMS, The Atlantic Association for Research in the Mathematical Sciences

1 0

Teaching Category Theory on-line resources
by Rodrigo Quites Reis 20 Mar '98

20 Mar '98

At our institute (Informatica-UFRGS, Brazil) there is a group starting to develop a collection of on-line resources to help teaching the Category Theory. Now I am looking for similar work around the world. We are specially interested in exercices and other similar resources available in the net. Could someone give me some links? Thanks in advance, Rodrigo ---- Rodrigo Quites Reis Associate professor at Federal University of Para' (http://www.ufpa.br) D.Sc. C.S. student at UFRGS - Brazil (http://www.inf.ufrgs.br) E-mail: quites(a)inf.ufrgs.br / quites(a)ibm.net

1 0