[DL] Doctoral Scholarship: final call for applications

[Franz Baader]

Dear colleagues,

the DFG Research Training Group GRK 1763 “Quantitative Logics and
Automata” offers 8 Doctoral Scholarships for applicants interested in
performing high-quality research on the connection between
quantitative logics and automata as well as their applications in
verification, knowledge representation, natural language processing,
and semi-structured data (XML).

The start date is October 1, 2015, and the application deadline is

  May 15, 2015

(though later applications will be considered as long as the positions
are not filled).

More information on QuantLA can be found at

   http://lat.inf.tu-dresden.de/quantla/

and more information on how to apply in the call for applications


https://lat.inf.tu-dresden.de/quantla/images/documents/quantla-call-2015-2.pdf

Please help us advertise QuantLA by directly telling your advanced
Master students who are interested in becoming PhD students about
QuantLA and by publishing the call for applications on your bulletin
board.

Thank you in advance,

-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 --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20150505/5b2b3648/attachment.htm>