INVITED SPEAKERS

    P.-L. Curien, PPS, CNRS, University Paris 7, France Sequentiality : A Survey
Yu.L. Ershov Sib. Branch of the Russian Academy of Science, Novosibirsk, Russia Two right topologies for spectral theory of semitopological semilattices J.D. Lawson Louisiana State University, Baton Rouge, USA Sober spaces: some old and some new M. Mislove Tulane University, New Orleans, USA Probability and Domain Theory J.-E. Pin LIAFA, CNRS, University Paris 7, France Topological methods in automata theory D.S. Scott Carnegie Mellon University, Pittsburgh, USA Domains and Logic (Tentative title)

CONTRIBUTED TALKS

x I. Battenfeld Technische Universitaet Darmstadt, Germany A category of topological predomains x A. Bauer University of Ljubljana, Slowenia Synthetic Proof of Kreisel-Lacombe-Shoenfield Theorem x Ch. Berline PPS, CNRS, Universit\'e Paris 7, France The graph semantics of lambda-calculus, or: The power set domain in its full lambda-glory x Yixiang Chen Shanghai Teachers University, Shanghai, China Interval-valued CCS x M. Droste Universitaet Leipzig, Germany Almost any domain is universal x A. Edalat Imperial College, London, England Inverse and Implicit Function Theorems: A Domain-theoretic Treatment x M. Escardo University of Birmingham, England Finitary approximations of Markov processes x H.-P. Gumm Universitaet Marburg, Germany Algebraically labeled transition systems x R. Heckmann AbsInt Angewandte Informatik GmbH, Saarbruecken, Germany A cartesian closed category containing the category of locales x M. Huth Imperial College, London, England A domain for refinement of modal transition systems x Hui Kou Sichuan University, Chengdu, China Constructing semantic domains by fixed ponits of self-maps x A. Jung University of Birmingham, England Domain environments for real numbers x Jihua Liang Sichuan University, Chengdu, China Convex Powerdomains and Vietoris Spaces x T. Loew Technische Universitaet Darmstadt, Germany A universal model for an infinitary CPS target language x J. Marcial University of Birmingham, England Semantics of a sequential language for exact real-number computation x A. Moshier Chapman University, California, USA Gelfand Duality for Stably Compact Spaces x P. Maneggia University of Birmingham, England Domain theoretical models of linear polymorphism x J. Paseka University of Brno, Tcheque Republic Points in quantales and cm-lattices x A. Schalk University of Manchester, England Concrete data structures as games X V. Schmitt University of Leicester, England Flatness, preorders and general metric spaces x V. Selivanov Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia Variations on wadge reducibility x D. Spreen Universitaet Siegen, Germany Domains with approximation structure and their canonical quasi-metrics x P. Taylor University of Manchester, England Tychonov's theorem in ASD x H. Tsuiki Kyoto University, Japan Topological dimension of domain environments x S. Vickers Univ. Birmingham Partial Horn Logic x P. Waszkiewicz Jagiellonian University, Krakow, Poland A domain-theoretic metrization theorem