Undefined labels

From: Prof. Dr. Vogler (vogler@orchid.inf.tu-dresden.de)
Date: Thu Nov 11 1999 - 08:52:18 MET

Date: Thu, 11 Nov 1999 08:52:18 +0100
From: vogler@orchid.inf.tu-dresden.de (Prof. Dr. Vogler)
Message-Id: <199911110752.IAA18392@cactus.inf.tu-dresden.de>
To: prolog-pe@bach.ces.cwru.edu, prolog-vendors@sics.se, aal@anu.edu.au,

We apologize if you have received this e-mail more than once.


The Faculty of Computer Science at the Dresden University of Technology,
Germany, offers in the framework of its research programme

        Specification of discrete processes and systems of processes
                 by operational models and logics


A. doctoral grants and
B. postdoctoral grants

with a duration of three years and two years, respectively, starting from
February 1st, 2000.

In this research programme we consider various formal concepts for studying
processes, in particular, algebraic and category-theoretic models,
logic-specification, semi-automatic verification of properties, and
formal concept analysis.

Applicants who have finished their master degree or Ph.D. can apply for
grant A or grant B, respectively, by sending their curriculum vitae, photo,
list of publications, and two recommendations by professors not later than
December 2nd, 1999 to

Dresden University of Technology
Faculty of Computer Science
Prof. Dr.-Ing.habil. Heiko Vogler
Mommsenstr. 13
D-01062 Dresden

Further information can be found on the page:

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:28 MET