[pakgrid] PhD Programme QuantLA [1 Attachment]

 

[Attachment(s) from Muhammad Atif included below]

the DFG Research Training Group GRK 1763 "Quantitative Logics and
Automata" offers 10 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, 2012, and the application deadline is
June 15, 2012 (though later applications will be considered as long as
not all positions are filled).

More information on QuantLA and how to apply can be found at

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

and in the attached call for applications.

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  attached 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@tcs.inf.tu-dresden.de
--------------------------------

__._,_.___

Attachment(s) from Muhammad Atif

1 of 1 File(s)

quantlacall.pdf

Reply to sender | Reply to group | Reply via web post | Start a New Topic

Messages in this topic (1)

Recent Activity:

• New Members 9

Visit Your Group

Switch to: Text-Only, Daily Digest • Unsubscribe • Terms of Use

.

__,_._,___