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