Announcement and Call for Abstracts DOMAINS VII Darmstadt, August 29 - September 1 The WORKSHOP DOMAINS series is aimed at computer scientists and mathematicians alike who share an interest in the mathematical foundations of computation. It focusses on domains, their applications and related topics. The series was conceived and first realised by Klaus Keimel in Darmstadt in 1994. This seventh workshop returns to Darmstadt on the occasion of his 65th birthday. The following have declared their intention to participate: P.-L. Curien Univerity Paris 7 Yu.L. Ershov Sib. Branch of the Russian Academy of Science, Novosibirsk J.D. Lawson Louisiana State University M. Mislove Tulane University J.-E. Pin University Paris 7 D.S. Scott Carnegie Mellon University SCOPE Domain Theory has had applications to programming language semantics and logics (lambda calculus, PCF, LCF), recursion theory, general topology, topological algebra and analysis. As such Domain Theory is highly interdisciplinary. Part of the workshop will be devoted to the study of Continuous Phenomena in Computer Science, one of the themes of the APPLIED SEMANTICS II Network. Topics of interaction with Domain Theory for this workshop include, but are not limited to computation over the reals and other classical spaces probabilistic computation topology / locale theory constructive mathematics and its semantics computability theory program semantics program logics lambda calculus models of sequential computation LOCATION The Workshop will take place at Technische Universitaet Darmstadt located in the center of the city of Darmstadt. WORKSHOP SCHEDULE August 29 is the arrival day. There will be a barbecue in the afternoon or a dinner in the evening. The talks will take place from 9 a.m on Monday, August 30, until 5 p.m. on Wednesday, September 1. PARTICIPATION If you would like to participate in this workshop as we hope, please let us know: email: domains7@mathematik.tu-darmstadt.de Please indicate whether you would like to give a talk. SUBMISSION of ABSTRACTS One page abstracts should be submitted to domains7@mathematik.tu-darmstadt.de Shortly after an abstract is submitted (usually one or two weeks), the authors will be notified by the programme committee. Abstracts will be dealt with on a first come/first served basis. Submit as soon as possible, DEADLINE 30 June 2004 ACCOMODATION Participants will have to arrange accomodation by themselves in local hotels. There will be a certain number of hotel rooms made available through www.proregio-darmstadt.de. Details will be communicated later. FEES The Workshop is organized without institutional financial support. There will be a modest registration fee for covering expenses. PROGRAMME AND ORGANIZING COMMITTEE Achim Jung University of Birmingham Klaus Keimel Technische Universitaet Darmstadt Thomas Streicher Technische Universitaet Darmstadt