Logic List Mailing Archive

Ten doctoral scholarships in "Quantitative Logics and Automata", Dresden (Germany), Deadline: 15 June 2012

Dear colleagues,

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
--------------------------------