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

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
 

\addtolength{\topmargin}{-33mm}
\addtolength{\oddsidemargin}{-10mm}
\addtolength{\evensidemargin}{-10mm}
\addtolength{\textwidth}{3cm}
\addtolength{\textheight}{55mm}
\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}

For more information please do not hesitate to contact the chairman. 
 
\end{document}