<div dir="ltr">Dear colleagues,<br><div class="gmail_quote"><div dir="ltr">
<br>
the DFG Research Training Group GRK 1763 “Quantitative Logics and<br>
Automata” offers 8 Doctoral Scholarships for applicants interested in<br>
performing high-quality research on the connection between<br>
quantitative logics and automata as well as their applications in<br>
verification, knowledge representation, natural language processing,<br>
and semi-structured data (XML).<br>
<br>
The start date is October 1, 2015, and the application deadline is<br> <br>  May 15, 2015 <br><br>(though later applications will be considered as long as the position is <br>not filled).<br>
<br>
More information on <span>QuantLA</span> can be found at<br>
<br>
   <a href="http://lat.inf.tu-dresden.de/quantla/" target="_blank">http://lat.inf.tu-dresden.de/<span>quantla</span>/</a><br>
<br>
and more information on how to apply in the call for applications<br><br>  <a href="https://lat.inf.tu-dresden.de/quantla/images/documents/quantla-call-2015-2.pdf">https://lat.inf.tu-dresden.de/quantla/images/documents/quantla-call-2015-2.pdf</a><br>
<br>
Please help us advertise <span>QuantLA</span> by directly telling your advanced<br>
Master students who are interested in becoming PhD students about<br>
<span>QuantLA</span> and by  publishing the call for applications on your bulletin <br>board.<br>
<br>
Thank you in advance,<br>
<br>
-Franz Baader<br><br>
<div>--------------------------------<br>Prof. Dr.-Ing. Franz Baader<br>Technische Universität Dresden<br>Fakultät Informatik<br>Institut für Theoretische Informatik<br>Lehrstuhl für Automatentheorie<br>01062 Dresden<br>Tel.: <a href="tel:%2B49%20%28351%29%20463-39160" value="+4935146339160" target="_blank">+49 (351) 463-39160</a><br>Fax: <a href="tel:%2B49%20%28351%29%20463-37959" value="+4935146337959" target="_blank">+49 (351) 463-37959</a> <br>E-Mail: <a href="mailto:baader@tcs.inf.tu-dresden.de" target="_blank">baader@tcs.inf.tu-dresden.de</a><br>--------------------------------<br><br></div>
</div>
</div></div>