From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/714 Path: news.gmane.org!not-for-mail From: 4th Workshop on Domains Newsgroups: gmane.science.mathematics.categories Subject: Second Call for Papers Date: Thu, 30 Apr 1998 09:56:02 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Trace: ger.gmane.org 1241017137 27022 80.91.229.2 (29 Apr 2009 14:58:57 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:58:57 +0000 (UTC) To: wd4 Mailing list:; Original-X-From: cat-dist Fri May 1 10:34:41 1998 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id JAA02555 for categories-list; Fri, 1 May 1998 09:00:25 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Sender: wd4@clapton (Unverified) Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 77 Xref: news.gmane.org gmane.science.mathematics.categories:714 Archived-At: ====================================================== Second Call for Papers ====================================================== Workshop on Domains IV Rolandseck, Germany Oktober 2--4, 1998 ====================================================== The Workshop on Domains is aimed at computer scientist and mathematicians alike who share an active interest in the mathematical foundation of computer science. It will focuse on domains, their application and closely related topics, e.g.~axiomatic and synthetic domain theory. In particular, contributions establishing connections to type theory, recursion theory and topology are welcome. In previous years the workshop was held in Darmstadt (1994 and 1995), Braunschweig (1996) and Munich (1997). This year it will take place in Haus Humboldtstein, Remagen-Rolandseck (Germany), a nice last century villa overlooking the beautiful Rhine valley. There will be a number of guest speakers including *** Thomas Ehrhard (IML, Marseille) *** *** Dag Normann (Oslo Univ. ) *** *** Giovanni Sambin (Padova Univ.) *** If you are interested in signing up for a talk, please send a title and an abstract of your intended presentation to mailto:wd4@informatik.uni-siegen.de by MAY 15, 1998. Each request will be answered by JULY 1, 1998. You may also use ordinary mail. The address is: Prof. Dr. Dieter Spreen Workshop on Domains IV Theoretische Informatik Fachbereich Mathematik Universitaet Siegen Hoelderlinstr.3 D-57072 Siegen GERMANY More information about the workshop and Haus Humboldstein can be found on the workshop web page http://www.informatik.uni-siegen.de/~wd4 ----------------------------------------------------------------------------- Workshop on Domains IV University of Siegen Department of Mathematics Hoelderlinstr. 3 D-57068 Siegen Phone +49 271 740 3165 Fax +49 271 740 2532 mailto:wd4@informatik.uni-siegen.de http://www.informatik.uni-siegen.de/~wd4 ------------------------------------------------------------------------------