[DL] PhD positions

[Franz Baader]

Dear colleagues,

within our newly granted PhD program on "Role-based Software
Infrastructures for continuous-context-sensitive Systems", which will
start in October 2013, we have two PhD topics that are related to
Description Logics:

  Formal semantics for models with meta-predicates

  Using roles for the context-dependent definition of concepts

Interested candidates can contact me if they want to know more about
these topics.

Could you please forward the attached call for applications to good
Master students that are about to finish and also put a printout of
the call on appropriate bulletin boards at you university or
institute.

Deadline for applications is end of July.

Best regards,

-Franz Baader

--------------------------------
Prof. Dr.-Ing. Franz Baader
Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie
01062 Dresden
Tel.: +49 (351) 463-39160
Fax: +49 (351) 463-37959
E-Mail: baader at tcs.inf.tu-dresden.de
--------------------------------
-------------- next part --------------
A non-text attachment was scrubbed...
Name: RoSI_call.pdf
Type: application/pdf
Size: 77506 bytes
Desc: not available
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20130709/c3ad9688/attachment.pdf>