[Prev][Next][Index][Thread]

First Announcement





                    First Announcement
                          on the
                  Workshop on Domains IV
                     October 2-4, 1998


Organizers: D.Spreen, R.Greb, M.Schellekens, H.Schulz


Theoretische Informatik
Fachbereich Mathematik
Universit\"at Siegen
H\"olderlinstra\{ss}e 3
D-57068 Siegen, Germany
email: wd4@informatik.uni-siegen.de
http://www.informatik.uni-siegen.de/~wd4


The Workshop on Domains IV is aimed at computer scientists
and mathematicians alike who share an active interest
in the mathematical foundations of computer science.
The workshop will focus on domains, their applications
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.

The actual workshop will take place in Haus Humboldtstein,
Remagen-Rolandseck, a nice last century villa
overlooking the beautiful Rhine valley. It provides
lecture halls, discussion rooms, and guest rooms
(single/double) with facilities.

The hotel rate is

  DM 128,- (single room)
  DM 118,- (double room)

per night and person. It includes three meals and two snacks.
Please indicate below whether you need any
special diet. In addition there will be a small workshop fee.

Registration for the workshop will start on Friday, October 2,
around noon. The workshop will commence in the afternoon. If
you are interested in signing up for a talk, please send a
title and an abstract of your intended presentation to

               wd4@informatik.uni-siegen.de

by May 15, 1998. Each request will be answered by July 1, 1998.

You are invited to register for this workshop. Please fill
in the registration form below and send it preferably by
email to wd4@informatik.uni-siegen.de, or by ordinary mail
to the following address:


Prof. Dr. Dieter Spreen
Workshop Domains IV
Theoretische Informatik
Fachbereich Mathematik
Universit\"at Siegen
H\"olderlinstra\{ss}e 3
D-57068 Siegen, Germany.

We have made a reservation for 50 rooms in Haus Humboldtstein.
In order to make a reservation for one of these rooms, it is
necessary to register before May 15, 1998. Moreover, the hotel
fee has to be paid till this date either by transfering it
to the following bank account:

no. 146448-500 (Prof. Dieter Spreen)
BLZ 370 100 50
bank: Postbank NL Koeln

or by sending a cheque to the above address. The cheque should be
made payable to Prof. Spreen.

Please forward this announcement to anyone you think might
be interested. A second announcement with further details
concerning the workshop program and how to reach Haus
Humboldtstein will be send out in the beginning of June 1998.

-----------------------------------------------------------------

                        REGISTRATION FORM
                        =================


Name:
-----

Postal address:
---------------

Electronic mail:
----------------

Phone number:
-------------

Fax number:
-----------

Hotel reservation: single room:__   double room:__
------------------

In case of double room: I would like to share the room with:

____________________________________________________________

Special needs for the meal (vegetarian, diet, etc):

____________________________________________________________

Do you want to give a talk? ____

If "YES"

Length: ______________(25 or 40 minutes)

Authors:

Title:

Abstract: (preferably in LaTeX)