[A2] _________________________ AMAST Links 02 07

This issue

was edited by Giuseppe Scollo, Michael Johnson, Elena Trichina, Arie van Deursen, Edmund Kazmierczak, and Giancarlo Ruffo, thanks to contributions by:
[O1] Gregory Kucherov <Gregory.Kucherov@loria.fr>
[O1] Pierre Lescanne <Pierre.Lescanne@loria.fr>
[O1] Peter D. Mosses <pdmosses@brics.aau.dk>
[O2] Lawrence C Paulson <Larry.Paulson@cl.cam.ac.uk>
[M1] Anton Nijholt <anijholt@cs.utwente.nl>
[M2] Barbara Quigley <bquigley@dimacs.rutgers.edu>
[M3] Jean Charles Gregoire <gregoire@inrs-telecom.uquebec.ca>
[M3] Gerard Holzmann <gerard@research.att.com>
[M4] Thomas F. Fox <fox@triples.math.mcgill.ca>
[M5] Arnold L. Rosenberg <rsnbrg@elys.cs.umass.edu>
[M6] FST&TCS'95 Organization <fsttcs@tcs.tifr.res.in>
[M7] Sorin C. Istrail <scistra@cs.sandia.gov>
[M8] Giovanni Sambin <sambin@euler.math.unipd.it>
[M9] -- <tbilisi@cogsci.ed.ac.uk>
[MA] Jeremy Gunawardena <jhcg@hplb.hpl.hp.com>
[MB] Eva Tardos <eva@cs.cornell.edu>
[MC] Daniel Ouimet <ouimet@IRO.UMontreal.CA>
[MD] ISAAC'95 Organization <isaac95@sol.newcastle.edu.au>
[ME] Tracy Combe <tlc@dcs.ed.ac.uk>
[ME] -- <ajp@dcs.ed.ac.uk>
[MF] Andrew Pitts <<Andrew.Pitts@cl.cam.ac.uk>
[MG] Jose Luiz Fiadeiro <llf@di.fc.ul.pt>
[C1] Dan Ionescu <ionescu@trix.genie.uottawa.ca>
[C2] Tom Henzinger <tah@cs.cornell.edu>
[C3] Amy Felty <felty@research.att.com>
[C4] Margje Punt <margje@cs.ruu.nl>
[C4] Yoav Shoham <shoham@flamingo.stanford.edu>
[C5] Alexander V. Zamulin <zam@iisnw.iis.nsk.su>
[C6] Moses Yoram <yoram@cs.weizmann.ac.il>
[C7] Marloes Castaneda <castaned@cs.utwente.nl>
[C8] -- <twlam@csd.hku.hk>
[C9] Uzi Vishkin <vishkin@math.tau.ac.il>
[CA] Avrim Blum <avrim@blum.pc.cs.cmu.edu>
[CB] Tiziana Margaria <tiziana@fmi.uni-passau.de>
[CC] Peter Reintjes <peter_reintjes@vnet.ibm.com>
[CD] Thomas Cormen <thc@zayante.cs.dartmouth.edu>
[CE] Ian Parberry <ian@hercule.csci.unt.edu>
[CF] Jan Friso Groote <JanFriso.Groote@phil.ruu.nl>
[CG] Geoff Sutcliffe <geoff@cs.jcu.edu.au>
[CH] Lindsay Groves <lindsay@comp.vuw.ac.nz>
[CI] Bob Fields <bob@minster.york.ac.uk>
[CJ] Arnold L. Rosenberg (see [M5])
[CK] Al Roth <alroth@pap.com>
[CL] Roberto Gorrieri <gorrieri@cs.unibo.it>
[CM] Dominique Mery <Dominique.Mery@loria.fr>
[CN] Jiri Zlatuska <zlatuska@muni.cz>
[CO] Dov Gabbay <dg@doc.ic.ac.uk>
[J1] Weiping Zhu <Weiping.Zhu@unisa.edu.au>
[J2] -- <clyde@bellcore.com>
[J3] Edmund Kazmierczak <eka@cs.uq.oz.au>
[J4] Paul Grefen <grefen@cs.utwente.nl>
[J5] Fernando Zalamea <fzalamea@bacata.usc.unal.edu.co>
[J6] Ross Street <street@macadam.mpce.mq.edu.au>
[J7] -- <af1p+@andrew.cmu.edu>
[J8] Ranette Halverson <rhalver@nexus.mwsu.edu>
[J9] A.M.H. Gerards <bgerards@cwi.nl>
[JA] Tomasz Radzik <radzik@dcs.kcl.ac.uk>
[JB] -- <rebetez@ulb.ac.be>
[JC] Daniel De Wolf <dewolf@ulb.ac.be>
[JD] Johan Jeuring <johanj@cs.chalmers.se>
[L1] Mark Lillibridge <mdl@wily.fox.cs.cmu.edu>
[L2] Francois Lamarche <lamarche@lmd.univ-mrs.fr>
[L3] Doris Burns <burns@windfall.crl.mcmaster.ca>
[L4] James Otto <otto@triples.math.mcgill.ca>
[L5] Baltzer Science Publishers <publish@baltzer.nl>
[L6] David Aspinall <da@dcs.ed.ac.uk>
[L6] Adriana Compagnoni <Adriana.Compagnoni@cl.cam.ac.uk>
[L7] Oded Maler <Oded.Maler@imag.fr>
[L8] Günter M. Ziegler <ziegler@math.tu-berlin.de>
[L9] Jean-Marc Robert <Jean-Marc_Robert@uqac.uquebec.ca>
[LA] Walter Borden <wborden@springer-ny.com>
[LB] Evangelos Kranakis <kranakis@scs.carleton.ca>
[LC] Dennis Shasha <shasha@shasha.cs.nyu.edu>
[LD] Heinrich Wansing <wansing@rz.uni-leipzig.de>
[LE] Konrad Slind <slind@informatik.tu-muenchen.de>
[LF] Alan Jeffrey <alanje@cogs.susx.ac.uk>
[T1] Howard Wong-Toi <howard@cs.cornell.edu>
[T2] William McCune <mccune@mcs.anl.gov>
[T3] William McCune (see [T2])
[T4] Ronnie Brown <mas010@bangor.ac.uk>
[T5] Bishop C. Brock <brock@cli.com>
[T5] Warren A. Hunt Jr. <hunt@cli.com>
[T6] Lawrence C Paulson <Larry.Paulson@cl.cam.ac.uk>
[T6] Tobias Nipkow <Tobias.Nipkow@informatik.tu-muenchen.de>
[T7] Geoff Sutcliffe (see [CG])
[T7] Christian Suttner <suttner@informatik.tu-muenchen.de>
[S1] Peter D. Mosses <pdmosses@brics.aau.dk>
[S2] Carolyn Talcott <clt@sail.stanford.edu>
[S3] Kristoffer H. Rose <kris@diku.dk>
[S4] Anders Svensson <svensson@math.ubc.ca>
[S5] Juan Quemada Vives <quemada@dit.upm.es>
[S6] Joachim Luegger <luegger@zib-berlin.de>
[S7] David M. Jones <dmjones@theory.lcs.mit.edu>
[S8] Jo Erskine Hannay <joh@ifi.uio.no>

This issue of AMAST Links is available in four forms:

Note: This issue will also be available, in all of its four forms, by anonymous ftp from the AMAST repository at the University of Twente. File names will be the same as above, but under the ftp directory .