# types


[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

Dear collegues,

the Faculty of Computer Science of the Dresden University of
Technology (Germany) will establish a new postgraduate program
("Graduiertenkolleg") entitled {\bf Specification of discrete
processes and process systems by operational models and logics}
starting at January 1st, 1997.

I would like to ask you to disseminate the following call for
application in your area and to give notice of it to potential
candidates.

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

With many greetings

Heiko Vogler

==============================================================

\documentstyle[12pt]{article}

\pagestyle{empty}
\sloppy

\parskip=3mm
\parindent=0mm

\begin{document}

\vspace{1cm}

The Faculty of Computer Science of the Dresden University of
Technology (Germany) will establish a new postgraduate program
("Graduiertenkolleg") entitled {\bf Specification of discrete
processes and process systems by operational models and logics}
starting at January 1st, 1997. The faculty offers
\begin{center}
\Large \bf 7 grants for postgraduate and \\
1 grant for postdoctorate researchers
\end{center}
for a period of maximally three years with the aim of receiving
the
doctoral degree or the Habilitation.

The research topics include
\begin{enumerate}
\item[-]Petri-nets and concurrent automata (Droste and Vogler)
\item[-]Resource-oriented logic programming (H\"olldobler and Vogler)
\item[-]Model theory for process systems (Reichel and P\"oschel)
\item[-]Equivalences between the previously mentioned formal
models and logics (all the mentioned professors).
\end{enumerate}

Applicants with very high qualification in one of the mentioned
or related research topics are invited to send their applications
with the usual appendices (curriculum vitae, photograph,
certifications, copies of publications) not later than {\bf October
15th, 1996} to the chairman of the postgraduate program:\\
{\bf Prof. Heiko Vogler \\ Dresden University of
Technology, Faculty of Computer Science\\
D-01062 Dresden, Germany\\
Tel. ++ 49 351 - 463 - 8232, e-mail:  vogler@inf.tu-dresden.de\\
http://www.inf.tu-dresden.de}