From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA05041 for caml-redistribution@pauillac.inria.fr; Fri, 12 Nov 1999 10:16:52 +0100 (MET)
Resent-Message-Id: <199911120916.KAA05041@pauillac.inria.fr>
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id IAA27720 for <caml-list@pauillac.inria.fr>; Thu, 11 Nov 1999 08:58:46 +0100 (MET)
Received: from orchid.inf.tu-dresden.de (orchid.inf.tu-dresden.de [141.76.1.41])
	by concorde.inria.fr (8.8.7/8.8.7) with SMTP id IAA04497
	for <caml-list@pauillac.inria.fr>; Thu, 11 Nov 1999 08:58:45 +0100 (MET)
Received: from cactus.inf.tu-dresden.de by orchid.inf.tu-dresden.de (8.6.12/8.6.12-s1) with ESMTP
	id IAA08135; Thu, 11 Nov 1999 08:52:19 +0100
Received: by cactus.inf.tu-dresden.de (SMI-8.6/SMI-SVR4)
	id IAA18392; Thu, 11 Nov 1999 08:52:18 +0100
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,
        ai-ed@sun.com, ail-l@austin.onu.edu, amast@cs.utwente.nl,
        apng-all@apng.org, atp_alias@cs.jcu.edu.au,
        caml-list@pauillac.inria.fr, categories@mta.ca, ccp@sics.se,
        ckbs-int@cs.keele.ac.uk, collinsp@scot.ac.uk, comprox@doc.ic.ac.uk,
        csl@dbai.tuwien.ac.at, cup@icot.or.jp, digest@aiva.ed.ac.uk,
        distributed-ai@mailbase.ac.uk, dma-list@nic.surfnet.nl,
        eacsl@dimi.uniud.it, edu.au@cs.ruu.nl, fireworks@cs.auc.dk,
        fr-sem@frmug.org, frocos@loria.fr, fun@cs.unibo.it,
        glp-list@inf.tu-dresden.de, glp@first.gmd.de,
        gragra@i3.informatik.rwth-aachen.de, gun@src.ncu.edu.tw,
        iclppubl@cs.kuleuven.ac.be, ikbs@caad.ed.ac.uk, ikbsbb@inf.rl.ac.uk,
        info-elra@calva.net, isworld@irlearn.ucd.ie, lics@research.att.com,
        logic-ml@logic.jaist.ac.jp, logic@cs.stanford.edu,
        maamaw@cosmos.imag.fr, papm@dcs.ed.ac.uk,
        practical-applications@pap.com, proliaroux@lan10.ec-nantes.fr,
        prolog@mch.sni.de, rewriting-list@lorraine.loria.fr, vki-list@dfki.de,
        wollic@di.ufpe.br
Cc: vogler@orchid.inf.tu-dresden.de
X-Sun-Charset: US-ASCII
MIME-Version: 1.0
Content-Type: Text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Resent-From: weis@pauillac.inria.fr
Resent-Date: Fri, 12 Nov 1999 10:16:52 +0100
Resent-To: caml-redistribution@pauillac.inria.fr

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 
(DFG-Graduiertenkolleg) 

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

several 

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
Germany

Further information can be found on the page:
http://orchid.inf.tu-dresden.de/gk-spezifikation/index.html