From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2044 Path: news.gmane.org!not-for-mail From: Martin Escardo Newsgroups: gmane.science.mathematics.categories Subject: CFP: Workshop Domains VI Date: Fri, 7 Dec 2001 15:20:07 +0000 (GMT) Message-ID: <15376.56699.391842.519063@henry.cs.bham.ac.uk> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018365 2182 80.91.229.2 (29 Apr 2009 15:19:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:19:25 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Fri Dec 7 20:08:45 2001 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 07 Dec 2001 20:08:45 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 3.33 #2) id 16CUy8-0006JA-00 for categories-list@mta.ca; Fri, 07 Dec 2001 20:03:52 -0400 X-Mailer: VM 6.43 under 20.4 "Emerald" XEmacs Lucid Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 17 Original-Lines: 109 Xref: news.gmane.org gmane.science.mathematics.categories:2044 Archived-At: Call for abstracts Domains VI Birmingham, 16-19 September 2002. The Workshop on Domains is aimed at computer scientists and mathematicians alike who share an interest in the mathematical foundations of computation. The workshop will focus on domains, their applications and related topics. Previous meetings were held in Darmstadt (94,99), Braunschweig (96), Munich (97) and Siegen (98). The emphasis is on the exchange of ideas between participants similar in style to Dagstuhl seminars. INVITED SPEAKERS Ulrich Berger University of Wales Swansea Thierry Coquand Goeteborg University Jimmie Lawson Louisiana State University John Longley University of Edinburgh * Dag Normann University of Oslo Prakash Panangaden McGill University Uday Reddy University of Birmingham Thomas Streicher Darmstadt University * to be confirmed SCOPE Domain theory has had applications to programming language semantics and logics (lambda-calculus, PCF, LCF), recursion theory (Kleene-Kreisel countable functionals), general topology (injective spaces, function spaces, locally compact spaces, Stone duality), topological algebra (compact Hausdorff semilattices) and analysis (measure, integration, dynamical systems). Moreover, these applications are related - for example, Stone duality gives rise to a logic of observable properties of computational processes. As such, domain theory is highly interdisciplinary. Topics of interaction with domain theory for this workshop include, but are not limited to: program semantics program logics probabilistic computation exact computation over the real numbers lambda calculus games models of sequential computation constructive mathematics recursion theory realizability real analysis topology locale theory metric spaces category theory topos theory type theory SUBMISSION OF ABSTRACTS One-page abstracts should be submitted to domainsvi@cs.bham.ac.uk 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. DEADLINE 30 April 2002 ACCOMODATION We meeting will take place at "The Manor House" halls of residence of the University of Birmingham (http://www.bham.ac.uk/conferences/#Manor). More details will be provided at a later date. PROGRAMME COMMITTEE Martin Escardo University of Birmingham Achim Jung University of Birmingham Klaus Keimel Darmstadt University Alex Simpson University of Edinburgh ORGANIZATION COMMITTEE Martin Escardo University of Birmingham Achim Jung University of Birmingham PUBLICATION We plan to publish proceedings of the workshop in lecture notes series. There will be a call for papers after the workshop takes place. The papers will be refereed according to normal publication standards. URL http://www.cs.bham.ac.uk/~wd6/index.html