- From: Bertram Fronhöfer <Bertram.Fronhoefer@tu-dresden.de>
- Date: Sat, 23 Mar 2013 19:50:20 +0100
- To: nicolosi@dmi.unict.it, Nikolaos.Tzevelekos@comlab.ox.ac.uk, nl-kr@cs.rochester.edu, nordlingnet@uib.no, odintsov@math.nsc.ru, om-announce@openmath.org, ontolog-forum@ontolog.cim3.net, ontology@buffalo.edu, ontoquery@ruc.dk, paoli@unica.it, patrick.allo@vub.ac.be, Patrick.Blackburn@loria.fr, pcobrer@alumni.unav.es, penka@stanford.edu, peter.greenfield@univ-fcomte.fr, pjparikh@aol.com, polacik@us.edu.pl, pozzato@di.unito.it, procos-request@jiscmail.ac.uk, prog-lang@diku.dk, project@aktors.org, proof-complexity@math.cas.cz, ProofTheory.List@Gmail.com, psh@informatik.uni-tuebingen.de, public-owl-dev@w3.org, public-rif-wg@w3.org, puml-list@cs.york.ac.uk, pvs@csl.sri.com, QWN05577@nifty.ne.jp
====================================================== European PhD Program in Computational Logic (EPCL) ====================================================== http://www.epcl-study.eu/ CALL FOR APPLICATIONS The European PhD Program in Computational Logic (EPCL) is run jointly by four of the leading European universities in the field: - Free University of Bozen-Bolzano (Italy), - Technische Universität Dresden (Germany), - Technische Universität Wien (Austria), and - Universidade Nova de Lisboa (Portugal). Further international universities, research organizations and enterprises that contribute to Computational Logic or apply results from it are involved as associated partners: The Simon Fraser University (Canada), the Universidad de Chile, the NICTA (National ICT Australia), as well as several companies. The program involves three years of PhD study in at least two of the European partner universities. It leads to a joint doctoral degree issued by the partner universities at which the studies have been physically performed. The language of the program is English. Financial support is available in the form of positions and scholarships. A foundation track and an application-oriented track match with career perspectives in university research as well as in industrial research. Necessary requirements for participation in EPCL are: A Master's degree in Computer Science or Mathematics, or an equivalent degree; the proof of adequate knowledge of English; and substantial knowledge in the areas Foundations of Logics, Foundations of Artificial Intelligence and Declarative Programming. The program starts annually in the winter term. Applications for 2013 have to be electronically submitted on the Webpage http://www.epcl-study.eu/ before the ========================================= Application Deadline on 30 April 2013 ========================================= If you have enquiries, please do not hesitate to contact the coordinator of the program Prof. Steffen Hölldobler Technische Universität Dresden Fakultät Informatik International Center for Computational Logic Email: sh@iccl.tu-dresden.de Phone: +49 (351) 463 38340 EPCL is supported by the German Federal Ministry of Education and Research (BMBF) within the German Academic Exchange Service (DAAD) program International Doctorates in Germany (IPID).
Received on Monday, 25 March 2013 08:30:38 UTC