Logic is everywhere: in reasoning and acting, in human and artificial agents, in mathematics and natural sciences, in engineering sciences, in humanities and social sciences, in law, ...
Computational Logic is a wide interdisciplinary field having its theoretical and practical roots in mathematics, logic, computer science and artificial intelligence. Its wideness of scope anchors in the power and generality of logic-based reasoning systems across the spectrum of scientific disciplines, and in its practical use in the form of computer supported automated tools. As a consequence, it has applications in computer science itself, mathematics, the engineering sciences, humanities and social sciences including law, as well as in the natural sciences, and in interdisciplinary fields like cognitive science.
For example, the database industry is grounded on results from computational logic, hardware design of complex chips relies heavily on logic-based tools, verification of safety critical software is possible thanks to formal logic methods, computational linguistics makes heavily use on methods and techniques from Computational Logic, bio-informatics, systems biology as well as many medical applications are supported to a large extend by data extraction and learning methods from the area of Computational Logic, the Semantic Web is developed on top of the ground braking developments within logic programming and description logics, new results in human reasoning are based on non-monotonic logics investigated within logic programming as well as their representation and implementation within artificial neural networks.
The Free-University of Bozen-Bolzano, the Technische Universität Dresden, the Technische Universität Wien and the Universidade Nove de Lisboa are jointly offering the European PhD Program in Computational Logic, a unique, three-year, distributed, and structured program with built-in mobility and strong international orientation. Within its foundation track, doctoral candidates select two European universities and a non-European associated research institution (National ICT Australia, Universidad de Chile, Simon Fraser University in Canada) in an attempt to solve an open foundational research problem; their main career perspective after graduation should be to continue foundational research at international research institutions and universities. Within its application-oriented track, doctoral candidates select two European universities and an associated industrial partner (IBM CAS, Lixto Software GmbH) in an attempt to solve an open use-inspired and applied research problem; their main career perspective after graduation should be to continue application-oriented research at, or in cooperation with industry.
The PhD program consists of course work (36 credit points), the PhD thesis (114 credit points) and its defense (30 credit points). The language of instruction is English. Doctoral candidates are required to have at least two peer-reviewed publications in leading international conference proceedings or journals on some of their results of their PhD thesis prior to its acceptance.
Doctoral candidates will be jointly and closely monitored by supervisors from their selected European universities, associated partner institutions, and external experts; together they will specify the PhD project as well as the individual mobility schema such that candidates work for at least two semesters at each of the selected universities and for at least three months at the selected associated partner institution. Upon successful completion of the program, candidates will receive a single diploma with a joint degree from the selected universities, mutually recognized and with all legal effects. The certificate will mention the national designations of the degree given at the universities (if needed), and will contain a remark to the effect that the PhD studies were conducted jointly by these universities, with recognition sealed in bridging documents.
Necessary requirements for participation in EPCL are a Master's degree in Computer Science or Mathematics, or an equivalent degree; knowledge in the area of Computational Logic; and the proof of adequate knowledge of English.
EPCL expands on the European Master's Program in Computational Logic (EMCL) that is successfully run by the same partner universities.