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

Second Call for Papers




======================================================
			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
------------------------------------------------------------------------------