All About EPCL

All About EPCL
European PhD Program in Computational Logic


Date: 16 July 2012


This booklet gives detailed information about the European PhD Program in Computational Logic.


The European PhD Program in Computational Logic (EPCL) is jointly offered by the Free University of Bozen-Bolzano (FUB), the Technische Universität Dresden (TUD), the Universidade Nova de Lisboa (UNL) and the Technische Universität Wien (TUW).

Based on common curriculum and common study and examination regulations, the program is offered jointly by the mentioned European partner universities. In order to meet local laws and regulations, the European partner universities are running local PhD program's in Computational Logic. These programs are tied together by an Agreement of Cooperation. The European PhD Program in Computational Logic is steered by a Joint Commission.

Additional associated third-country research institutions and industrial partners contribute to the program by offering PhD candidates the possibility to do a part of the PhD work at their place.

This handbook gives information about the partner institutions, including contact persons and means to contact them. It documents the agreement of cooperation between the partner universities, the common study and examination regulations and the decisions of the Joint Commission. In addition, it contains a compilation of information about the services provided at the partner universities.



1 European Partner Universities


1.1 Coordinator and Coordinating University

Technische Universität Dresden

Coordinator
Prof.Dr.rer.nat.habil.Steffen Hölldobler
Email: sh@iccl.tu-dresden.de
Phone: +49 351 463 38340

Coordination Assistant
Dr.rer.nat.Christoph Wernhard
Email: christoph.wernhard@tu-dresden.de
Phone: +49 351 463 38345

EPCL Secretary
Ms. Sylvia Wünsch
Email: epcl-secretary@iccl.tu-dresden.de
Phone: +49 351 463 38341

Ms. Julia Koppenhagen
Email: epcl-secretary@iccl.tu-dresden.de
Phone: +49 351 463 39239

Contact Address
Prof. Dr. rer. nat. habil. Steffen Hölldobler
Technische Universität Dresden
Fakultät Informatik
International Center for Computational Logic
01062 Dresden


1.2 European Partner Universities


1.2.1 Free University of Bozen-Bolzano (FUB)

Local Coordinator
Prof. Dr. Diego Calvanese
Email: info@fub.computational-logic.eu
Phone: +39 0471 016160

Administrative Officer
Ms. Federica Cumer
Email: info@fub.computational-logic.eu
Phone: +39 0471 016005

Research Office
Cristina Pasini
Email: research@unibz.it
Phone: +39 0471 012600
Website: http://www.unibz.it/en/prospective/exchange/

Housing
Ms. Sonia Melis
Email: international.relations@unibz.it
Phone: +39 0471 012500

Italian and German Language Courses
Website:
http://www.unibz.it/en/students/languagecentre/


1.2.2 Technische Universität Dresden (TUD)

Local Coordinator
Prof.Dr.rer.nat.habil. Steffen Hölldobler
Email: sh@iccl.tu-dresden.de
Phone: +49 351 46 33 83 40

Coordination Assistant
Dr.rer.nat.Christoph Wernhard
Email: christoph.wernhard@tu-dresden.de
Phone: +49 351 463 38345

Administrative Officer (EPCL Secretary)
Ms. Sylvia Wünsch
Email: epcl-secretary@iccl.tu-dresden.de
Phone: +49 351 46 33 83 41

Ms. Julia Koppenhagen
Email: epcl-secretary@iccl.tu-dresden.de
Phone: +49 351 463 39239

International Office
Mr. Markus Rimmele
Email: Markus.Rimmele@mailbox.tu-dresden.de
Phone: +49 351 463-36061
Website: http://tu-dresden.de/internationales/akademisches_auslandsamt

Housing
Studentenwerk Dresden
Email: wohnen@swdd.tu-dresden.de
Phone: +49 351 4697-615

German Language Courses
Website:
http://sprachausbildung.tu-dresden.de


1.2.3 Universidade Nova de Lisboa (UNL)

Local Coordinator
Prof. Dr. Pedro Barahona
Email: pb@fct.unl.pt
Phone: +351 212 948 533

Administrative Officer
Ms. Sandra Rainha
Email: secretaria@di.fct.unl.pt
Phone: +351 212 948 536

International Office
Divisão Académica, Gabinete de Acolhimento e Mobilidade
Email: div-a.ae.mobilidade@fct.unl.pt
Phone: +351 212 948 300
Website: http://www.fct.unl.pt/faculdade/servicos/divisao-academica/sae/

Housing
Residência Fraústo da Silva
Email: alojamento@unl.pt
Phone: +351 212 945 000
Website: http://sas.unl.pt/alojamento/rfs/residencia-frausto-da-silva/

Portuguese Language Courses
Websites:
http://www2.fcsh.unl.pt/clcp/clcp_en.html
http://ilnova.fcsh.unl.pt/


1.2.4 Technische Universität Wien (TUW)

Local Coordinator
O.Univ.Prof.Dr. Thomas Eiter
Email: eiter@kr.tuwien.ac.at
Phone: +43 1 58801 184 60

Administrative Officer
Mag. Franziska Gusel
Email: Franziska.Gusel@logic.at
Phone: +43 1 58801 185 03

EPCL Support
Ms. Magdalena Ortiz
Email: ortiz@kr.tuwien.ac.at
Phone: +43 1 58801 184 62

International Office
Mag. Susana Saez Garcia
Email: saez@ai.tuwien.ac.at
Phone: +43 1 58801-41557
Website: http://www.ai.tuwien.ac.at/international/

Housing
Österreichischer Austauschdienst - OeAD Wohraumverwaltungs GmbH
Website: http://www.housing.oead.at/
Phone: +43 1 4277 28151

German Language Courses
Websites:
http://www.ai.tuwien.ac.at/international/
http://www.deutschlernen.at


2 Agreement of Cooperation Between the European Partner Universities

Agreement of Cooperation
for the European PhD Program in
Computational Logic


This is an Agreement of Cooperation concerning the participation of the Libera Università di Bolzano-Freie Universität Bozen, the Technische Universität Dresden, the Universidade Nova de Lisboa and the Technische Universität Wien in the European PhD Program in Computational Logic.


Within the European PhD Program in Computational Logic, the Libera Università di Bolzano-Freie Universität Bozen (FUB), the Technische Universität Dresden (TUD), the Universidade Nova de Lisboa (UNL) and the Technische Universität Wien (TUW) will offer an integrated PhD program according to the constraints set out in the following paragraphs.


§1 Aims

The European PhD Program in Computational Logic (EPCL) is aiming to provide:

  1. Cooperation in the field of student exchange in order to open the possibility for PhD students to obtain a PhD within the integrated PhD program Computational Logic at FUB, TUD, UNL and TUW. To this end, the partner universities will mutually recognize study achievements, examination achievements and the final grade earned in the course of the integrated PhD program, which is composed of modules, a PhD thesis and its defense.

  2. Exchange of lecturers in order to foster the scientific collaboration, to further develop the curriculum and to share didactic and administrative experience.

§2 Prerequisites for Participation

All PhD students intending to study in the EPCL must apply to the TUD. The deadlines for application are decided yearly by the Joint Commission (see §7). The students are selected by the Joint Commission.

§3 Registration

All PhD students in EPCL have to register at TUD. Students are subsequently registered at their home universities.

The deadlines for the registrations are decided yearly by the Joint Commission.

§4 Form of Study and Conferral of Degrees

PhD students within EPCL select two universities out of FUB, TUD, UNL and TUW. They are jointly monitored by two professors or qualified senior researchers (supervisors), one from each of the selected universities. The Joint Commission has to agree with the selection.

Each PhD student has to develop a plan of studies in agreement with the integrated curriculum together with his/her supervisors.

The PhD thesis is submitted to and defended at one of the selected universities. The PhD thesis shall be defended in front of a mixed jury.

PhD students will receive a joint PhD degree from the selected universities. The PhD document includes the names and signatures of the persons specified by the local examination regulations of the degree-awarding universities as well as the seal of the degree-awarding universities. It includes the name of the academic degrees and a remark to the effect that the European PhD Program in Computational Logic was conducted jointly by several universities.

In the context of the programme, the EPCL joint PhD degree is equivalent to the Italian degree Dottore di Ricerca in Computer Science, the German degree Dr. rer. nat. or Dr. Ing., the Portugese degree Doutor em Informática and the Austrian degree Doctor Technicae.

§5 Modules

Modules may be comprised of several courses. The grade assigned to each module is determined by an examination or is based on the grades of the courses.

Partner universities accept study times and study achievements of the PhD students on the basis of modules, the PhD theses, their defenses and the final grades. Partner universities can accept study achievements at course level if the two supervisors agree.

§6 Stay at the Partner Universities

During their stay at each of the partner universities PhD students study according to the common study and examination regulations of EPCL.

§7 Joint Commission

The partner universities set up a Joint Commission. The Joint Commission shall consist of two members of each partner university, which are appointed by the appropriate authorities at each partner institution. Every partner university has one (1) vote.

The Joint Commission is responsible for all tasks implied by this Agreement of Cooperation and aiming at running a successful EPCL. Among these, the following tasks are included: marketing the program; determining the participation costs; specification of additional requirements for the acceptance of PhD students; selection of PhD students; selection of guest lecturers; selection of and cooperation with third country universities, associated research institutions and industrial partners; conversion of marks for examinations; selection of an advisory board; quality assurance and evaluation; curriculum development; approval of Module Descriptions; report to the participating universities; initiation of additional third party funds; administration of joint funds raised by the participating universities for the purpose of EPCL; ensuring sustainability of the program.

The Joint Commission meets several times a year if necessary, but at least once each semester physically. Additional meetings can be physical, by email or by video conferencing.

The quorum consists of the attendance of at least one commission member from each participating universities.

Decisions by the Joint Commission must take into account the relevant regulations of each participating university.

Decisions can only be taken by unanimous vote.

§8 Participation Costs

There are common participation costs for studying in EPCL. The exact amount is determined yearly by the Joint Commission. The participation costs have to be paid each semester to the first selected university.

PhD students have to pay student services fees to TUD and the universities which they have selected as host university for each semester (if there is any).

Participation costs can be waived by a partner institution if alternative funds for covering these costs are available and the Joint Commission approves this waiving.

§9 Compensation

Each semester the partner universities transfer 15% of the collected participation costs to the coordinating university TUD for quality assurance.

§10 Erasmus Mundus Student Fellowships

PhD students selected for a fellowship1 within the Erasmus Mundus program will sign a fellowship contract with TUD. As part of this contract TUD will take participation costs off the fellowship and pay the fixed contribution to the travel, installation and any other types of costs to the fellowship holder.

Fellowship holders will sign an an employment contract with their first selected university.

The TUD will transfer participation costs minus the compensation (see §9) as well as the fixed living allowance to the first selected university.

The selection of candidates to be employed by the participating universities will comply with the specific regulations in place in order to assure equal opportunities procedures, e.g., the involvement of the representative of the disabled if necessary.

§11 Exchange of Lecturers

The partner universities intend to foster the exchange of lecturers aiming at cross-fertilization in teaching through research.

§12 Financial Obligations

Except for the collection of the participation costs and the compensation as expressed in §8 and §9, the financial arrangements for project-related activities are to be decided on a case-to-case basis by agreement between the participating universities and there are no additional financial obligations arising from this agreement.

§13 Alterations, Additions and Termination

This Agreement of Cooperation takes effect on the date of signing for a term of three years. The Agreement of Cooperation shall be extended up to another three years unless it is terminated by giving six months notice by May 31 of any year. Notice of termination shall be given in writing.

In case of gross breach of the Agreement of Cooperation any partner university shall be entitled to terminate the Agreement of Cooperation with immediate effect and without observing the six months' period of notice. In case of early termination of the Agreement of Cooperation all obligations which are still to be fulfilled shall be fulfilled in accordance with the Agreement of Cooperation.

This Agreement of Cooperation shall be construed according to the laws of the Federal Republic of Germany. The partner universities agree that for all controversies or claims the District Court of Dresden shall have jurisdiction.

The partner universities declare that no side agreements to this Agreement of Cooperation exist. Modifications of and amendments to this Agreement of Cooperation as well as a waiver of the requirement of written form shall be made in writing.

If individual provisions of this Agreement of Cooperation are legally ineffective, this shall not affect the effectiveness of the remaining provisions; in that case the invalid provisions shall be replaced by provisions which come as close as possible to the purpose of the Agreement of Cooperation and which are legally effective.



Bozen-Bolzano, April 29, 2010
Prof. Walter Lorenz
Rector Libera Università di Bolzano-Freie Universität Bozen


Dresden, April 28, 2010
Prof. Hermann Kokenge
Rector Technische Universität Dresden


Lisbon, April 26, 2010
Prof. António Manuel Bensabat Rendas
Rector of the Universidade Nova de Lisboa


Vienna, April 20, 2010
Prof. Dr. Hans Kaiser
Vice-Rector Technische Universität Wien


3 Common Study and Examination Regulations


3.1 Scope

The Common Study and Examination Regulations describe the goals, contents, administration as well as study and examination regulations of the European PhD Program in Computational Logic (EPCL).


3.2 Program Objectives

(1)

The aims of the PhD program are

  • to educate highly qualified researchers in Computational Logic who will further strengthen Europe's leading role in the field,

  • to deepen the doctoral candidates' knowledge and consolidate their comprehension of the field of Computational Logic,

  • to provide the doctoral candidate with the necessary skills to collaborate in an international and intercultural environment, and

  • to advance the state of the art in Computational Logic by facilitating the collaboration between leading institutions through joint PhD projects.

(2)
In particular, EPCL doctoral candidates shall be educated and supported to improve and enhance the following skills:

  • to independently plan and conduct scientific research,
  • to further develop a research area by own and original scientific contributions,
  • to prepare and publish the own contributions,
  • to present, discuss and defend the own contributions in front of a scientific community,
  • to further develop mobility,
  • to learn at least two European languages,
  • to further develop international and intercultural understanding,
  • to enrich key qualifications as regards career prospects.

(3)
EPCL allows candidates to select between a foundation track and an application oriented track. Candidates following the foundation track should

  • develop a strong personal research network that includes leading international researchers and leading international research institutions,
  • learn how to develop, apply for, and run international foundational research projects with the main career perspective to continue foundational research at international research institutions or universities.

Candidates following the application-oriented track should

  • develop a strong personal research network that includes international enterprises,
  • learn how to develop, apply for and run application-oriented or use-inspired research projects in cooperation with enterprises, with main career perspective to continue application-oriented research at, or in cooperation with enterprises.


3.3 Organizational Structure

The implementation of the European PhD Program in Computational Logic is structured into the following organizational units:

European Partner Universities
The European partner universities form the core consortium that runs EPCL. Their partnership resides on the formal Agreement of Cooperation for EPCL signed by their legal representatives.

Coordinator, Coordinating University
One of the European partner universities is appointed as coordinating university, with one of its professors as coordinator of EPCL. The coordinator is responsible for the overall management and implementation of EPCL .

EPCL Secretary
The EPCL secretary is concerned with administrative tasks involved in the implementation of EPCL. Most importantly for the doctoral candidates, the EPCL secretary provides a primary contact point for all administrative issues concerning EPCL.

Local Coordinator
Each of the European partner universities appoints a professor as local coordinator, responsible for the implementation of EPCL at the partner university.

Local Administrative Officer
Each of the European partner universities appoints a local administrative officer.

Joint Commission
The Joint Commission is responsible for the successful implementation of EPCL. It consists of two members of each partner university. Its set-up, responsibilities and mode of operation is specified in the Agreement of Cooperation.

Associated Partner Research Institutions
The associated partner research institutions of EPCL are non-European universities and research institutions. They host candidates in the foundation-oriented track for research stays, participate in their supervision, the internal evaluation of EPCL, and other events or activities organized by EPCL. The associated partner research institutions are selected by the Joint Commission. The cooperation is based on a formal agreement.

Associated Industrial Partners
The associated industrial partners of EPCL are companies which are capable to take a role like that of the associated partner research institutions, but for the application-oriented track. The associated industrial partners are selected by the Joint Commission. The cooperation is based on a formal agreement.

Selection Commission
The Selection Commission is responsible for evaluation of applications and selection of doctoral candidates (Section 3.5). It is appointed by the Joint Commission and consists of professors from each European partner university and a representative of the doctoral candidates enrolled in EPCL. The latter is elected for the period of one year by the doctoral candidates enrolled in EPCL.

Study and Examination Commission
The Study and Examination Commission is responsible for the common study and examination regulations including their implementation. It is appointed by the Joint Commission and consists of professors from each European partner university and a representative of the doctoral candidates enrolled in EPCL. The latter is elected for the period of one year by the doctoral candidates enrolled in EPCL.

Intermediate Commission
The Intermediate Commission is called by doctoral candidates, supervisors, or local coordinators whenever internal problems do occur. It is appointed by the Joint Commission and consists of professors from each European partner university.

External Advisory Board
The External Advisory Board consists of external and international experts from universities and industry. It receives annual reports by the Joint Commission and doctoral candidates, and makes recommendations for improving the quality of EPCL. It is appointed by the Joint Commission.

Advisory Committee of each Doctoral Candidate
An Advisory Committee is installed for each doctoral candidate (Section 3.9). It consists of the three supervisors from the two selected universities and the associated partner and of two external advisors.


3.4 Study Requirements

(1)
Applicants for the European PhD Program in Computational Logic must satisfy the following requirements:

  1. Proof of an adequate knowledge of English.

  2. Master of Science degree (Bologna second cycle) in Computational Logic, Computer Science, Mathematics, Artificial Intelligence, or an equivalent degree.

  3. Proof of knowledge in Computational Logic.

(2)
The fulfillment of the requirements mentioned in paragraph 1 is decided by the Selection Commission in cooperation with the coordinating university.


3.5 Application

(1)
All applications must be submitted in time to the coordinating university.
(2)
All applications will be evaluated by the Selection Commission in cooperation with the partner universities. The decision of the Selection Commission is final.
(3)
The applicants will be informed by the EPCL Secretary.


3.6 Commencement and Duration of Studies

(1)
The program normally commences in the winter term.
(2)
The required period of study including preparation and defense of the PhD thesis comprises six semesters.


3.7 Mobility and Placement

(1)
Doctoral candidates must select at least two European partner universities and stay at least two semesters at each of them. These are called the selected universities of the candidate. The first selected university must be selected prior to enrollment; the second selected university must be selected within the first semester. If successful, doctoral candidates will receive a joint PhD degree from the selected universities.

(2)
At the end of the application procedure, successful applicants will be placed, that is, the following will be determined:
  1. the first selected university, and a suggestion for the second selected university,
  2. the first supervisor from the first selected university, and a suggestion for a second supervisor from the second selected university, and
  3. a research area.

(3)
Doctoral candidates can only select a partner university if a professor or qualified senior scientist of the partner university has agreed to supervise the candidate and the partner university accepts the candidate as a doctoral candidate. The statements of agreement and acceptance of the first selected university must be obtained during the evaluation of the application within the selection process prior to enrollment as doctoral candidate.

(4)
Enrolled doctoral candidates will be entered into a doctoral candidate list maintained by the coordinator. In addition, they will be registered in the corresponding PhD programs at their selected universities.

(5)
The decision about the second university and second supervisor must be finalized within the first semester.

(6)
Doctoral candidates must choose between the foundation track and the application-oriented track, and, depending on this choice, select an associated partner research institution or an associated industrial partner, respectively, where they have to stay for at least 3 months. These selections have to be made within the first semester.

(7)
Doctoral candidates can only select an associated partner institution, if a professor or qualified senior scientist of the partner institution has agreed to advise the candidate.

3.8 Language

(1)
The language of instruction is English. All elements of the program are in English, with exception of the language and communication module.

(2)
Doctoral candidates are obliged to learn at least two different European languages spoken at the partner universities.


3.9 Advisory Committee of the Doctoral Candidate

(1)
For each doctoral candidate, an advisory committee will be named after the second selected partner university, the program track, and the associated partner have been determined, prior to the PhD workshop in the first year of the doctoral candidates' studies.

(2)
The advisory committee of the doctoral candidate will consist of three supervisors (professors or authorized senior scientists from the research groups at the two selected European partner universities (see Section 3.7) and a qualified member of the responsible group at the associated partner institution) and two external advisors.


3.10 Participation Costs and Waivers

(1)
Participation costs may apply. They are determined by the Joint Commission in accordance with the local regulations at the partner universities.
(2)
Participation costs have to be payed to the first selected university.
(3)
The Joint Commission may set up a waiver and fellowship schema.


3.11 Doctoral Candidate Advisory Service

The local coordinators give advice relating to course requirements, examinations, mobility and any other study-related matter.


3.12 Curriculum

(1)
The curriculum is structured into modules of course work, the PhD thesis and its defense.

(2)
The course work comprises 36 ECTS credits (abbreviated crs) and consists of the modules basic training camp, PhD colloquia, PhD workshop, across borders workshop, soft skills, and language and communication.

(3)
Within the PhD thesis a doctoral candidate shall demonstrate that he/she can solve an open research problem within the area of Computational Logic by his/her own. The PhD thesis has to contain new scientific results and the applied methods and techniques as well as the representation of the results must be according to scientific standards. 114 crs will be awarded upon the acceptance of the PhD thesis.

(4)
In the defense of his/her PhD thesis a doctoral candidate shall demonstrate that he/she is able to present, to discuss and to defend the results of his/her PhD thesis in a scientific colloquium. 30 crs will be awarded upon the successful defense of the PhD thesis.


3.13 Modules of Course Work


3.13.1 Basics

As not all new doctoral candidates can be expected to be on the same level, individual assignments shall be offered locally by the partner universities to prepare new doctoral candidates for the Basic Training Camp.


3.13.2 Basic Training Camp

During the basic training camp to be held in the first semester, especially tailored foundational as well as application-oriented lectures and tutorials will be offered by professors and qualified senior scientists of the (full or associated) partner institutions as well as by invited guest lecturers. The courses shall cover the main areas of Computational Logic and enhance the basic knowledge in Computational Logic of the doctoral candidates. The lecturers will present an advanced topic and the state of the art, supported by a set of recent publications. Doctoral candidates are expected to study these publications and other support materials (slides, books, book chapters) for the examinations that may include written reports on specific topics.

In addition, candidates shall be enabled to plan their research from a foundational or application-oriented point of view. Moreover, this module shall foster networking among the candidates as well as between the candidates and professors/senior scientists of the partner institutions.

Upon successful completion of the module, 10 crs are awarded.


3.13.3 PhD Colloquia

PhD colloquia will be organized each semester by each European partner university. Within the PhD colloquia doctoral candidates will meet to discuss ongoing work, listen to scientific presentations delivered by themselves, by staff members as well as by invited guest researchers. The participation in the PhD colloquia shall enable doctoral candidates to enhance their skills to present their own work in writing as well as in scientific talks, to actively participate in scientific discussions, to understand, comprehend, and connect to new research results within Computational Logic, and to foster networking.

Upon successful completion, 6 crs are awarded, viz. 1 crs per semester.


3.13.4 Annual PhD Workshop

Towards the end of each study year, doctoral candidates must attend a PhD workshop.

  • In the first year, candidates report on the state-of-the-art in their specific area of interest; they present the research questions which they would like to address in their PhD thesis, and report on initial results, techniques, and methods which they intend to apply.

  • In the second and third year, candidates report on the results which they have achieved so far and present remaining open questions.

During the PhD workshop, members of each doctoral candidate's advisory board will be present to discuss, refine and, if needed, readjust the PhD projects. Other doctoral candidates, researches from the partner universities as well as staff from the associated partners may attend the PhD workshop.

The participation in the PhD workshop shall enhance the doctoral candidates' skills to define, implement, and successfully complete a research project. The PhD workshop is organized by the doctoral candidates themselves, thus developing and enhancing their skills to plan, organize, and run scientific events.

Upon successful completion, 6 crs are awarded, viz. 2 crs each year.


3.13.5 Across Borders Workshop

Within the across borders workshop, doctoral candidates will be confronted with a scientific area which - at the time of the workshop - has no explicit connections to Computational Logic, but where such a link is assumed to be established within the next twenty years. Representative scientists from this other area are invited to give in-depth introductions. Candidates must present an essay about future potential collaborations from a foundational or an application-oriented point of view. The participation in an across borders workshop shall enhance the candidates' skills to delve into a new scientific area, to identify and to understand the main issues and problems of this area, to develop novel ideas about the usage of Computational Logic methods and techniques in this area, and to identify problems that Computational Logic needs to solve in order to be applicable in this area. An across borders workshop will be organized by the European partner universities once a year. Each candidate must participate in at least one of these workshop.

Upon successful completion, 4 crs are awarded.


3.13.6 Soft Skills Module

Within the soft skills module, doctoral candidates shall improve their skills concerning research methodology for computer scientists and mathematicians, research and career planning for doctoral candidates, entrepreneurship, project management, innovation management, time management, intellectual rights protection, communication, business start ups, etc. This module will be offered once every year by each of the European partner universities.

Upon successful completion, 6 crs are awarded.


3.13.7 Language and Communication Module

Within the language and communication module, doctoral candidates have to demonstrate their skills in the European languages spoken at their selected European partner universities. This module offers two options: If a doctoral candidate does not speak the language fluently, then he/she must attend language classes, which are offered by the partner universities as part of the regular course program. If a doctoral candidate is fluent in the European language spoken at the partner university, then he/she has to give a scientific presentation including discussion in the respective local European language.

On successful completion of this module, 4 crs, viz. 2 crs from each of the two selected universities, are awarded.


3.14 PhD Work and Supervision

(1)
The doctoral candidate's advisory committee will assess the research progress by evaluating reports to be delivered by the candidate every six months and by giving advice at the PhD workshops once a year. The reports must include information on the completed course work modules, submitted and/or accepted papers, given presentations and other scientific results as well as a research plan for the upcoming six months.

(2)
The evaluation criteria are technical soundness, potential impact, quality of presentation, adequate consideration of related work, successful completion of the modules of course work, achieved publications, and participation in international workshops, conferences and summer schools.

(3)
After one year, doctoral candidates are required to present and defend a detailed PhD proposal at the PhD workshop (see Section 3.13.4). The proposal and its defense as well as the credits earned so far will be evaluated by his/her advisory committee. Thereafter, the Joint Commission of EPCL will decide whether the doctoral candidate may continue in the PhD program.

(4)
After the second and each additional year, doctoral candidates are required to present and defend their PhD work. They will be evaluated by their supervisors. The Joint Commission of EPCL reserves the right to terminate participation in the PhD program if a doctoral candidate is underperforming.

(5)
If, at any time, a doctoral candidate enrolled in EPCL wants to switch to another supervisor or/and another university, then the Joint Commission will decide about his/her request.


3.15 Publications, Participation at Conferences and Summer Schools

(1)
Doctoral candidates are expected to publish their results at leading international workshops and conferences or in leading international journals. The Joint Commission will provide an open and non-exhaustive list of suitable journals, conferences and workshops. The Joint Commission maintains a Web page with a bibliography of the publications achieved by the doctoral candidates in the course of their participation at EPCL. Doctoral candidates must achieve at least two international publications before submitting their thesis.

(2)
Doctoral candidates are expected to attend international summer schools in Computational Logic. A list of relevant summer schools is annually provided by the Joint Commission. Attendance of at least one summer school is mandatory.

(3)
Further, doctoral candidates are expected to regularly and actively participate in international workshops, conferences, scientific competitions, and exhibitions related to their PhD project. Candidates shall become active members in the research communities of their particular area.


3.16 Examination

(1)
The PhD examination consists of the course work, the PhD thesis and its defense.

(2)
A doctoral candidate may apply for an examination if he/she has finished his/her course work, has achieved the obligatory publications and has completed his/her PhD thesis.

(3)
A doctoral candidate applies for an examination by submitting his/her certificates obtained for the modules of course work, bibliographic references for his/her publications and his/her PhD thesis simultaneously to his/her selected universities (see Section 3.7). He/she also selects the partner university at which the defense of his/her PhD thesis shall take place. This partner university must be one of his/her selected universities.

(4)
The partner university selected by a doctoral candidate for defending his/her PhD thesis appoints a joint examination commission consisting of members from the partner universities at which the doctoral candidate has studied and at least two examiners who will report on the PhD thesis.


3.17 Publication of the Thesis

Upon successful defense of the PhD thesis, it must be published.


3.18 Academic Degrees

Doctoral candidates receive a joint degree from their selected universities, where they have studied at least for two semesters. The PhD document includes the names and signatures of the persons specified by the local examination regulations of the degree-awarding universities as well as the seal of the degree-awarding universities. It includes the designation of the academic degree, or both national designations, in case these are different, and a remark to the effect that the European PhD Program in Computational Logic was conducted jointly by several universities. The national designations of the awarded joint degrees are:

  • FUB: Dottorato di Ricerca in Scienze e Tecnologie Informatiche (Ph.D. in Computer Science)
  • TUD: Doctor of Philosophy (Ph.D.) or Doktor rerum naturalium (Dr. rer. nat.) or Doktoringenieur (Dr.-Ing.)
  • TUW: Doctor of Philosophy (PhD) or Doktor/Doktorin der technischen Wissenschaften (Doctor Technicae) or Doktor rerum naturalium (Dr. rer. nat.)
  • UNL: Doutor em Informática (Ph.D. in Computer Science)


4 Decisions by the Joint Commission

Please note that the decisions by the joint commission reported in this section may vary over time, to improve EPCL further, or to take changes in circumstances into account.


4.1 Associated Partner Research Institutions


4.1.1 Simon Fraser University (SFU)

Local Coordinator: Prof. James Delgrande
Email: jim@cs.sfu.ca
Phone: +1 778 782 4335

Assistant/Secretary:
Email: csgrada@sfu.ca
Phone: +1 778 782 6834

http://www.cs.sfu.ca


4.1.2 University of Chile (UCH)

Local Coordinator: Prof. Claudio Gutierrez
Email: cgutierr@dcc.uchile.cl
Phone: 56-2-978-0658

http://www.dcc.uchile.cl/


4.1.3 National ICT Australia Limited (NICTA)

Local Coordinator: Dr. habil. Peter Baumgartner
Email: Peter.Baumgartner@nicta.com.au
Phone: +61 (2) 6267 6217

Assistant/Secretary: Genevieve Carey
Email: Genevieve.Carey@nicta.com.au
Phone: +61 (2) 6267 6271

http://www.nicta.com.au


4.2 Associated Industrial Partners


4.2.1 IBM Italia S.p.A.

Contact Person: Guido Vetere
Address: IBM Center for Advanced Studies of Rome
Via Sciangai, 53, 00144 Roma, Italy
Email: gvetere@it.ibm.com
Phone: +39-06-596-61
https://www-927.ibm.com/ibm/cas/sites/rome/overview.jsp


Liaison: Diego Calvanese (FUB)
Email: calvanese@inf.unibz.it
Phone: +39-0471-016160


4.2.2 LIXTO Software GmbH

Contact Person: Robert Baumgartner
Address: LIXTO Software GmbH, Favoritenstrasse 16/DG, 1040 Wien, Austria
Email: robert.baumgartner@lixto.com
Phone: +43-1-205-122423
http://www.lixto.com


Liaison: Thomas Eiter (TUW)
Email: eiter@kr.tuwien.ac.at
Phone: +431-58801-18460


4.3 Composition of the Commissions

An overview on the responsibilities of these commissions can be found in Section 3.3.


4.3.1 Joint Commission

The members of the Joint Commission are the local coordinators of the four European partner universities, as specified in Section 1.2.


4.3.2 Selection Commission

The members of the Selection Commission are:

  • From FUB: Prof. Alessandro Artale
  • From TUD: Prof. Franz Baader
  • From UNL: Prof. João Leite
  • From TUW: Prof. Thomas Eiter
  • Representative of the doctoral candidates: Emmanuelle-Anna Dietz


4.3.3 Study and Examination Commission

The members of the Study and Examination Commission are:

  • From FUB: Prof. Werner Nutt
  • From TUD: Prof. Christel Baier
  • From UNL: Prof. Pedro Barahona
  • From TUW: Prof. Alexander Leitsch
  • Representative of the doctoral candidates: Ario Santoso


4.3.4 Group of Intermediate Professors

The members of the Group of Intermediate Professors are:

  • From FUB: Prof. Enrico Franconi
  • From TUD: Prof. Horst Reichel
  • From UNL: Prof. José Julio Alferes
  • From TUW: Prof. Stefan Szeider


4.3.5 External Advisory Board

An external advisory board shall be selected. It shall have at least one member from industry, two members from EU-countries which are not involved in EPCL and two members from non-EU-countries which are not part of our third-country partner institutions. The following scientists are members of the board:

  • Yuri Gurevich, Microsoft Research, USA
  • Pascal van Hentenryck, Brown University, USA
  • Robert Kowalski, UK
  • Phan Minh Dung, Asian Institute of Technology, Thailand
  • Dale Miller, INRIA, France


4.4 Start of the PhD Program

The PhD program starts annually on 1 October. The first issue started on 1 October 2011.


4.5 Application and Evaluation

The standard selection process consists of the steps:

  1. Online Application,
  2. Preliminary Shortlist,
  3. Phone Interviews,
  4. Final Shortlist,
  5. Interview Week.
Deviation from the standard procedure are possible if doctoral candidates are hired on an individual contract by one of the partner universities, but quality assurance is made.


4.5.1 Online Application

All applicants apply to the coordinating university TUD using an electronic application system. They must submit their application together with the following documents:

  1. Certificate of second (MSc) degree incl. transcripts,
  2. Certificate of first (BSc) degree incl. transcripts,
  3. Master's thesis with a 3-5 page abstract in English,
  4. Curriculum vitae with list of publications,
  5. A list of at least three persons of reference,
  6. Statement of interest,
  7. TOEFL or equivalent English language test.


4.5.2 Shortlist and Phone Interviews

The Selection Commission of EPCL (see Section 3.3) assisted by the administrations of the European partner universities will evaluate the scientific qualification of applicants and provide a preliminary shortlist by taking into account their Master's thesis, MSc and BSc degrees, documented knowledge in Computational Logic, letters of recommendation by persons suggested by the applicant and selected by the Selection Commission, as well as the statement of interest.

On the basis of the documents submitted to the online application, the Joint Commission will shortlist applicants according to their scientific qualification: In each of the mentioned categories, applicants will be evaluated as either very good, good, average, or below average, where the evaluation of the degrees weights stronger than the evaluation of the knowledge in Computational Logic, which in turn weights stronger than the recommendations and the statement of interest. Applicants will be ranked according to this evaluation. The top applicants will be shortlisted.

The shortlist will meet a minimum quota of 33 percent of female applicants, provided they have obtained an overall classification of good, or very good.

Partially formalized video-phone interviews (e.g. Skype) of the members of the Selection Commission with these applicants will lead to the final shortlist. Applicants on the final shortlist will be invited to the interview week.


4.5.3 Interview Week

The interview week will be organized by one of the partner universities.

At the beginning, short-listed applicants must present the following documents:

  1. A curriculum vitae.
  2. The first degree (e.g. BSc) plus transcripts in original or as officially certified copy.
  3. The second degree (e.g. MSc) plus transcripts in original or as officially certified copy. If that degree is not finished at the time of the interview week, an original letter of a supervisor or the university is required that states the envisaged date of successfully finishing the second degree study program.

If an applicant fails to show these documents, he/she will not be admitted to the interview week, nor will the consortium reimburse travel or other costs related to the application.

During the interview week, applicants will give a presentation of their own research work as well as a presentation of a research paper chosen by the Selection Commission (see Section 3.3) two weeks prior to the interview week. In addition, applicants will be interviewed individually and separately by representatives of at least three partner universities. Each representative then characterizes the applicants as either

  • wanted in my group/university,
  • acceptable, but not in my group/university,
  • indifferent, or
  • not acceptable.
Applicants are considered further if they are wanted by at least one group/university or are acceptable by at least two groups/university.


4.5.4 Selection and Placement Procedure

Applicants will be ranked according to their scientific qualification. Starting from the top-ranked applicant, the Selection Commission (see Section 3.3) will offer positions and scholarships in an attempt to match the applicants' desires with the needs and research interests of the partner universities. In the end, the applicant will be placed (see Section 3.7) and his/her first supervisor will be named. Then the Selection Commission proceeds to the second-ranked applicant etc.


4.5.5 Exceptions to Admission Requirements

In exceptional cases, EPCL may accept applicants with a BSc of at least 4 years. The Joint Commission (see Section 3.3) may then specify individual additional constraints which such applicants must meet during their study in EPCL. If they fail to meet these or the usual constraints of the PhD programs, then they might be transferred to the EMCL program.

If a doctoral candidate wants to transfer from another PhD program to EPCL, then the Joint Commission will decide this case on an individual bases included a detailed study plan.


4.5.6 Gender Promotion

Female applicants are invited to contact female postdocs and female doctoral candidates currently enrolled at the European partner universities in order to be personally informed by successful female young researchers about study conditions and, in particular, the possibilities to combine family and study needs in EPCL, and to learn about access to special career promotion activities for female doctoral candidates offered by the partner universities.

Contact Addresses

Ms. Rosella Gennari
Researcher in the KRDB Research Centre at FUB
Email: gennari at inf.unibz.it
Phone: +39 0471 016964
Free University of Bozen-Bolzano, Computer Science Faculty
Via della Mostra 4
39100 Bolzano, Italy

Ms. Emmanuelle-Anna Dietz
Research Assistant / EPCL Doctoral Candidate at TUD
Email: dietz at iccl.tu-dresden.de
Phone: +49 351 463 38547
TU Dresden, Fakultät Informatik, International Center for Computational Logic
01062 Dresden, Germany

Dr. Magdalena Ortiz
Research Assistant (PostDoc) at TUW
Email: ortiz at kr.tuwien.ac.at
Phone: +43 (1) 58 801 18462
Technische Universität Wien, Institut für Informationssysteme 184/3
Abteilung für Wissensbasierte Systeme
Favoritenstraße 9-11
A-1040 Wien, Austria

Ms. Ana Sofia Gomes
PhD Research Student at the Centre for Artifical Intelligence of UNL
Email: sofia.gomes at campus.fct.unl.pt
Phone: +351 21 294 8536
Universidade Nova de Lisboa
Departamento de Informática, Faculdade Ciéncias e Tecnologias
Quinta da Torre 2829-516
Caparica, Portugal


4.5.7 Schedule for 2014

Online Application 30 April 2014
Preliminary Shortlist 30 May 2014
Phone Interviews 2 June - 13 June 2014
Final Shortlist 20 June 2014
In 2014 there will be no Interview Week
Selection and Placement 30 June 2014
Start 01 October 2014


4.6 Participation Costs


4.6.1 Amount of the Participation Costs

The participation costs for EPCL are 600 EUR per month.


4.6.2 Appropriation of the Participation Costs

The following table shows the average costs per doctoral candidate for the period of 36 months.

Fees 330 EUR

Expenses for mandatory activities

(Participation in the basic training camp, PhD workshops, across borders workshop,
international conferences, international summer school) 9.100 EUR

Expenses for mandatory mobility

1.200 EUR

Laboratory costs

(Computing services and facilities including high performance computer centers) 1.200 EUR

Total

21.590 EUR

per semester

3.598 EUR

Additional expenses for running EPCL amounting to 6.060 EUR per doctoral candidate (for the period of 36 months) are covered by the German Academic Exchange Service (DAAD) and the participating universities


5 Services at the Partner Universities


5.1 Services at Free University of Bozen-Bolzano

Student Support
Students will be supported by the International Relations Office. Its staff will give important information, will help with the enrollment procedure, applying for a residence permit and accommodation. The office is supported by some student helpers who act as tutors for students and show them around the university: http://www.unibz.it/en/prospective/exchange/Incoming/ErasmusMundus.html The university organises different advising services for students on study programmes, careers and psychological counseling. More details are available at: http://www.unibz.it/en/students/life/counselling/default.html

Accommodation
FUB accommodates exchange students in the facilities for University students, managed by the Autonomous Province of South Tyrol; each year FUB reserves a number of rooms only for exchange students. Accommodation in Student Houses is available on a first-come, first-served basis. The cost is 180.00 EUR (April 2009) per month for a shared room (payable in 4 installments), and 240.00 EUR (April 2009) per month for a single room (payable in 4 installments).

Canteens
The new Student Houses have a common kitchen. A complete meal - lunch or dinner - at the University Canteen costs to students from 2.07 to 3.10 EUR (April 2009)

Library and Computer Labs
Library and computer laboratories are available for all the students and all the university buildings are equipped with WLAN.

Special Needs
The Advisory Service supports students with different abilities. They provide information about the opportunities that exist and how to access these and other benefits, such as various degrees of assistance that the university provides.

The FUB has no architectural barriers in any of its buildings (Bozen / Bolzano, Brixen / Bressanone, Bruneck / Brunico).

Disabled access is also guaranteed for most of the student residences and canteens.

If students have a disability of more than 66%, they are eligible for complete exemption from university fees (except for the provincial study tax): the disability certificate, issued by the health authorities, should be presented at the beginning of the academic year.

Further, in addition to the normal assistance (grants, etc), the University and School Office of the Autonomous Province of South Tyrol has other special assistance available. According to the type of disability, this assistance could consist of financial aid for a home help, travel expenses or other help with transport.

According to your income, there is also financial help available for expenses incurred. Income assessment is based on criteria that are fixed every year by the provincial government: http://www.unibz.it/en/prospective/info/disabled/default.html

Equal Opportunities
FUB has an Equal Opportunities Committee which is a consultative committee of the University and aims to promote and monitor effective equality for all members of the University community, irrespective of their sex, ethnicity, religion, nationality or any other condition that could give rise to discrimination against them: http://www.unibz.it/en/organisation/organisation/bodies/Chanchengleichheit.html

The responsibilities of the Equal Opportunities Committee are:

  • to formulate plans of positive actions in order to allow real equality for all members of the University community,
  • detect all forms of discrimination, whether direct or indirect, that impede the full realization of equality or equal opportunities for all members of the University community,
  • to make sure that situations possibly leading to discrimination will not arise.

Families
Currently, the Equal Opportunities Committee is promoting the Family friendly university initiative directed to enhance the quality of life of students and staff with families. Practically, some common spaces in the university have been organized in a children friendly way and the organization of a kindergarten is under way. Students giving birth can suspend their studies without paying the full taxes and there are additional grants from the Province of Bolzano-Bozen for special cases evaluated on individual basis.

Language Learning
The Language Centre of FUB is part of the most important service sector of the university. Its aim is to co-ordinate the learning of all the various languages used in the university. This means, for instance, creating the best conditions for language learning.

The Language Centre courses are available for all students enrolled at the university, for those taking part in international exchange programmes, as well as for those working for the university and for guests. One of the services provided by the Language Centre is an advisory service for all students to help them in the various aspects of language learning. The language centre also tests language levels before students begin their university career and during their studies as well.

The Language Centre is particularly important for those studying in their second and third languages. A thorough knowledge of the three official teaching languages in the university: Italian, German and English is absolutely essential for those who wish to participate completely and succsessfully in the activities offered by the university (lectures, seminars etc.) as well as conferences or other academic events.

The language centre also offers optional language courses and self access materials for English, German, and Italian, as well as for a whole range of other languages, such as French, Spanish, Russian, Ladin, Chinese, Arabic: http://www.unibz.it/en/students/languagecentre/

Sports
There are two different student associations: Kikero organizes social events, student parties, trips and other activities: http://www.unibz.it/en/students/life/associations/kikero.html S.C.U.B Sports Club University Bolzano organizes sports activities, particularly alpine sports like free-climbing, trekking, skiing: http://www.unibz.it/en/students/life/associations/scub.html

Students Networking
Kikero organises the Rookie day (the welcome day for new first-year students) as well as parties and other events. The association publishes the "Flyer" student magazine and an annual book that charts the lives of the students and the university. The University organises a Student Advisors service by coordinating a group of FUB students who provide information and advice about the University. There are student representatives in all the main governing bodies of the University who can answer questions and give advice and are open to proposals and ideas for contributing to the improvement of educational and other university services. More information and contact details are available at: http://www.unibz.it/en/students/representatives/default.html.


5.2 Services at Technische Universität Dresden

Student Support
Students will be supported by the Service Center for International Students of the Faculty for Computer Science and the International Office in relation to enrollment, visa procedure and integration in the study and social life. Its staff offers each semester a broad program of social activities, from guided tours through the city of Dresden to trips in the region, to cities of interest in Germany or in neighbouring countries. Furthermore, the Erasmus Initiative TU Dresden commonly organises events where international students can meet other international as well as German students: http://www.tu-dresden.de/internationales/

In addition, the TUD has established dedicated services specifically for international PhD-students: Social Counseling (Ms. Gabriele Feyler, Email: mobility@mailbox.tu-dresden.de, Phone: +49 351 46332069); Cultural Activites and Language Learning (Ms. Juliane Terpe and Ms. Sylvia Dorst, Phone: +49 351 563 36127, Email: kultur-aaa@tu-dresden.de): http://tu-dresden.de/kultur.

Accommodation
Accommodation for students is available in our student house Studentenwerk. At low rental costs, you get good accommodation and internet access. http://www.studentenwerk-dresden.de Additionally, there are many other alternatives to find and rent a private accommodation. http://tu-dresden.de/internationales

Canteens
Meals for students are being subsidized by the German state. In order to benefit, you need to ask at dedicated dining halls for students and staff at the university, referred to as Mensa. The majority of the dining halls is located at the main campus: http://www.studentenwerk-dresden.de/mensen/mensen_cafeterien.html

Libraries
Students of the TUD have free access to the Sächsische Landes- Staats- und Universitätsbibliothek (SLUB). This library includes the libraries of TUD's faculties, including the Faculty of Computer Science. It provides over 4 million books and can be reached in about 15 minutes by foot from the Faculty of Computer Science building: http://www.slub-dresden.de/en/

Computer Labs
The computer laboratories of the university are available for all students. The university and library buildings are equipped with WLAN for the students.

Special Needs
The buildings, lecture halls, laboratories and libraries are well-adapted to handicapped people and accessible for students in wheelchairs. The Studentenwerk provides special accommodation. The TUD offers particular services which depend on the disabled students' needs and the respective capacity of the faculty where the students want to do research or study. A special assistance is e.g. offered to visually handicapped students of the Computer Science Program. The university's representative for students with disabilities and chronic diseases handles counseling, disadvantage compensation and supports the integration into the study life: http://tu-dresden.de/die_tu_dresden/gremien_und_beauftragte/beauftragte/bfsb

Equal Opportunities
TUD has equal opportunity commissioners, two of them for the computer science department. Their aim is the support in case of unequal treatment with applications or during studies etc.

Families
The university's efforts to assist young families in their daily and study life were honoured by the Family Oriented University audit certificate in 2007. Students can e.g. refer to the office Studying with children which offers different kinds of support in relation to this topic: http://kinder.studentenwerk-dresden.de/ The Studentenwerk is running a nursery/kindergarten which is located near by the campus and provides 60 places for students' children: http://www.studentenwerk-dresden.de/soziales/kita.html There are specific preparatory classes offered in Dresden for elder children who do not speak German. They are taught German as a Second Language and a teacher accompanies them on their way toward scholastic and social integration.

Language Learning
http://sprachausbildung.tu-dresden.de

Sports
TUD offers a large number of sport facilities at a very low price. It covers mountain, health and individual sports as well as games, dancing and many more: http://www.tu-dresden.de/sport

Students Networking
The Linkpartnerprogramm supports students who organize their travel and stay to/at TUD. It is aimed at helping you to integrate at the university and refers you to a student who will assist you with any questions or problems you might face. If you are interested, please contact this program before you start your study in Dresden: http://www.linkpartnerprogramm.de. A good service offers the Studentenwerk running a project called Students4Students where students already living in Dresden assist newcomers after their arrival. Students can use the following email address for first contacts: tutoren@study-dresden.com.
Members of the Fachschaftsrat (Students Representative Committee) of the Faculty of Computer Science will assist you in case of problems concerning your studies.

Support in Exceptional Situations
At TU Dresden, there is a center for psycho-social counselling for students. It provides help in cases of problems with studies, like exam anxiety, disruptions to studies, ineffective time management, problems with the family, partner, roommates etc.: http://www.studentenwerk-dresden.de/soziales/psychosoziale-beratung.html

In addition, there is Nightline Dresden, a listening-telephone from students for students: http://www.nightline-dresden.de.


5.3 Services at Technische Universität Wien

Student Support

General Support The international office http://www.ai.tuwien.ac.at/international/provides several orientation and support programs, including:

  • Welcome letter and welcome guide, which is available from http://www.ai.tuwien.ac.at/international/

  • Orientation session before the semester starts, where detailed information and tips about studying at Vienna UT are provided

  • SoS-Orientation Programm

Financial support
  • There is a scholarship database of the OeAD, some of them can apply to our students: http://www.oead.ac.at

  • The Kurt Gödel Society can provide financial support to students for special activities, courses, attending summer schools, etc.: http://kgs.logic.at

Accommodation
The students can apply for different student accommodation alternatives via the OeAD Housing Office http://www.housing.oead.ac.at/index_e.aspThe welcome letter that is sent to all incoming students by the International Office contains instructions for sending the housing application, as well as links and tips to other possible accommodation alternatives.
There is a wide choice of student accommodations in Vienna, and links to student housing alternatives can be found on the webpages of the International Office: http://www.ai.tuwien.ac.at/internationalof the Austrian Students' Union: http://www.oeh.ac.at/en and the local Students Union: http://htu.at/.

Canteens
Students have access to discounted meals in the student canteens (called Mensa) http://www.mensen.at

Libraries
Students of the TUW have free access to the University Library, reachable in a few minutes by foot from all the University buildings. The centralized index of the main library also includes the local libraries of the different institutes, to which the students can request access: http://www.ub.tuwien.ac.at/eng/index.html

Computer Labs
The students have access to several internet rooms and computer laboratories through the Central Informatics Service (Zentral Informatikdienst, ZID) , which also provides them other services such as wireless internet in all university buildings, email and web accounts, and commercial software at reduced prices: http://www.zid.tuwien.ac.at/

Special Needs
TUW has strict regulations to ensure that all spaces are accessible to disabled students. The Studien-Support - Barrierefrei Studieren provides support and orientation to students with special needs, and ensures that they have suitable access to studies and study facilities. The students can contact this institute through its webpage: http://www.tuwien.ac.at/barrierefrei/

The Austrian Student association also provides support to students with special needs. They have an orientation booklet that provides all relevant information, including rights to government benefits, mobility and suitable facilities, special services, etc. The booklet is in German, but students can turn to the special office for foreign students if necessary: http://www.oeh.ac.at/#/studieren-leben/studieren/barrierefrei-studieren/ Also the Buddy Network TU Wien provides assistance: http://tuwien.esnaustria.org/

Equal Opportunity

The university office for supporting women can be reached via the following Web page: http://www.tuwien.ac.at/dienstleister/service/koordinationsstelle_fuer_frauenfoerderung_und_gender_studies/

Families
Spouses and children of the students are also covered by the health insurance, provided that their official residence is in Austria. Starting from fall 2009, nurseries and kindergarten are for free in the city of Vienna. The university has its own kindergarten: http://www.tu-kindergarten.at

There is a coordination office for supporting women at TUW which, among others, provides orientation for students with children - including child care possibilities: http://www.tuwien.ac.at/dienstleister/service/koordinationsstelle_fuer_frauenfoerderung_und_gender_studies/

The Austrian Student association also provides support to students with children, and they have an orientation booklet that provides them all relevant information, including special rights, government benefits, etc. The booklet is in German, but they can refer to the special office for foreign students if needed: http://www.oeh.ac.at/#/studieren-leben/studieren/studieren-mit-kind/

Language Learning
The TUW offers an intensive course and a free semester course of advanced German (students that already have good knowledge of German) The international office organizes a Tandem program: http://www.ai.tuwien.ac.at/international/

The sibling University of Vienna has an excellent and fully functioning language institute: http://www.deutschlernen.at/.

Sports
Students at TUW have access to the sport facilities of the Vienna University, where they can enroll for (cheap) courses and activities: http://www.univie.ac.at/USI-Wien/index2.htm

Students Networking
The Buddy Network is indeed a very useful service that our students do use. They assign the students a ''buddy'', a local student that helps them finding their way when they arrive. They organize social activities, parties, trips, etc. They also provide many other useful services (help them to open a bank account, give them a cell phone SIM card, etc.): http://buddynet.htu.tuwien.ac.at/index_html


5.4 Services at Universidade Nova de Lisboa

Student Support
The Social Welfare Services of the UNL (SASNOVA) provides students with direct social support; scholarships and emergency support and indirect support; food services, accommodation and health services, as well as support for sports and cultural activities.
In addition to SASNOVA, the Faculty of Science and Technology (FCT/UNL) offers services in relation to the integration of students in the Faculty including coaching and assistance to arriving foreign students in finding accommodation (including outside the University's residences) and providing vocational and psychological counseling.

Accommodation
SASNOVA is currently three Halls of Residence for students of the University, with in total of 452 beds. SASNOVA's Halls of Residence have their own regulations. These include acceptance conditions, use of equipment, internal discipline, and student participation in managing, conserving and cleaning the Halls. Priority is given to Portuguese scholarship students and foreign students on exchange programs. The Halls of Residence are Fraústo da Silva Halls (208 beds), Alfredo de Sousa Halls (176 beds), and Lumiar Halls (68 beds), the first being located in the Campus of the FCT at Caparica. More information on it at: http://sas.unl.pt/alojamento/rfs/frausto-da-silva-halls-of-residence

Canteens
The Social Services of Universidade Nova de Lisboa (SASUNL) is running three canteens with snack bars and cafeterias, located at the university campuses. Nova students have access to all these catering units, as well as those in other higher education institutions in Lisbon such as Universidade Técnica de Lisboa, Universidade de Lisboa and Instituto Politécnico de Lisboa.

Libraries
UNL provides several Libraries and Documentation Centres scattered through the different academic units. In the FCT Campus, the Library building has: around 6500 m$ ^2$ on 5 floors; 6 reading rooms with open access documentation; 40 individual study rooms; 8 group study rooms, informal reading room; coffee shop; exhibition hall; auditorium with 72 seats; 3 deposits for documentation, 550 reading places, wireless; 40 available computers; pests controlling system for documentation; equipment for disabled persons. The Documentation and Library Centre gives on-line access to a vast group of information resources thus supporting the teaching and learning success of the scientific activities developed at Caparica's Campus. In addition to these, Lisbon offers a wide number of libraries where you can find books and other educational material in several languages. You can find a complete list of Lisbon's libraries at: http://www.unl.pt/erasmus/estudantes-recebidos/guia-erasmus-2009-2010

Computer Labs
The Department of Computers Science has 10 labs, each with 30 seats and equipped with 15 desktop computers, connected in a network to a department server that maintains general purpose software used in the classes, as well as students individual areas. In addition, there are open rooms for M.Sc. and Ph.D. students with individual lockers.

Special Needs
SASNOVA is committed to helping disabled students, so as to promote their independence and inclusion into this academic context. Alfredo de Sousa Halls and Fraústo da Silva Halls each have two single rooms with a private bathroom that are equipped for disabled students. All buildings, lecture halls, laboratories and libraries at the FCT are accessible for students in wheelchairs.

Equal Opportunities
In case of unequal treatment during studies, students may present their complaints or requests for clarification to UNL Student Ombudsperson. More details available at: http://www.unl.pt/estudante/student-ombudsman

Families
Both students' residences of the UNL have a limited number of small apartments that can be rented by students with family.

There exists a kindergarten in the campus of FCT, that can be used by children of students.

Language Learning
The Faculdade de Ciências Sociais e Humanas of Universidade Nova de Lisboa organizes Portuguese Language and Culture Courses aimed at students that wish to learn and enhance their knowledge of the Portuguese language and culture. The courses are also intended for Socrates/Erasmus and Erasmus Mundus students. The courses are organized in six learning levels, according to the Common European Framework of Reference for Languages, and can be half-yearly, summer or intensive. For further information please visit the courses website at: http://www.fcsh.unl.pt/clcp/

Sports
SASUNL have sporting facilities at Caparica Campus, namely for Handball, Basketball, Futsal, Tennis, Volleyball and also a training circuit. At http://sas.unl.pt/desporto/sport more information is available.

Students Networking
The six academic units of UNL, that award first cycle degrees, have student unions (AE). In addition to these, there is an Academic Federation, (FAUNL): http://ae.fct.unl.pt/Each academic unit is responsible for the activities sponsored, which are organized by each of the student unions. The University has several Tunas (traditional Portuguese student singing groups) two of them at the FCT (Antunia and Tuna Maria), several student theatre groups, of which the NNT (Núcleo Novo Teatro) is at the FCT, and a choir made up of university students, teaching and administrative staff.
There is a study centre for students in Lisbon, Ágora, located in Rua da Cintura do Porto de Lisboa, near the Tagus river and not far from de Cais do Sodré railway station. This centre is open 24 hours a day and has study rooms, graphic design services, computers and a bar: http://www.unl.pt/erasmus/estudantes-recebidos/guia-erasmus-2009-2010.


6 Appendix


6.1 Study Plan

The following table gives an overview over the curriculum, which comprises modules of course work (see Section 3.13), the PhD thesis and the defense (see Section 3.12).


Semester Course Work ECTS Credits
1 PhD Colloquium 1
Basic Training Camp 10
Sum 11
2 PhD Colloquium 1
PhD Workshop 2
Language and Communication 2
Soft Skills 2
Sum 7
3 PhD Colloquium 1
Across Borders Workshop 4
Sum 5
4 PhD Colloquium 1
PhD Workshop 2
Language and Communication 2
Soft Skills 2
Sum 7
5 PhD Colloquium 1
Sum 1
6 PhD Colloquium 1
PhD Workshop 2
Soft Skills 2
Sum 5
Course Work Total 36
PhD Thesis 114
Defense 30
Total 180


6.2 List of Supported Summer Schools

The joint commission supports participation at the following Summer Schools in 2012. If a doctoral candidate wishes to attend a summer school that is not listed, he/she should talk to his/her supervisor. If the supervisor approves the choice, then the summer school will be added to the list.

  1. ESSLLI
    http://www.esslli2012.pl/

  2. IEEE International Conference on Semantic Computing
    http://icsc2012.pa.icar.cnr.it/

  3. LSS: The Logic Summer School at the Australian National University

  4. Utrecht Summer School 2012
    http://www.utrechtsummerschool.nl/

  5. Third International ALP/GULP Spring School on Computational Logic (ISCL)

  6. ACP Summer School 2012 - Hybrid Methods for Constraint Programming

  7. ESWC Summer School 2012 on Semantic Web

  8. Reasoning Web 2012 Summer School
    http://www.kr.tuwien.ac.at/events/rw2012/

  9. 2012 International Spring School in Formal Languages and Applications
    http://grammars.grlmc.com/ssfla2012/

  10. Interdisciplinary College 2012
    http://www.ik2012.de

  11. Second International SAT/SMT Summer School
    http://satsmtschool2012.fbk.eu


6.3 List of Journals and Conferences

The following is a non-exclusive list of journals and conferences suited for publication by doctoral candidates. Suitable workshops include in particular those that are offered co-located with the listed conferences.

6.3.0.1 Journals

  • Annals of Pure of Applied Logic
  • Archives of Mathematical Logic
  • Artificial Intelligence
  • Constraints
  • Fundamenta Informaticae
  • Information and Computation
  • Journal of Applied Logics
  • Journal of Applied Non-Classical Logic
  • Journal of Artificial Intelligence Research
  • Journal of Automated Reasoning
  • Journal of Computer System Sciences
  • Journal of Logic and Computation
  • Journal of Symbolic Logic
  • Journal of Symbolic Computation
  • Journal of Theoretical Computer Science
  • Logical Methods in Computer Science
  • Theory and Practice of Logic Programming
  • Transaction on Computational Logic

6.3.0.2 Conferences

  • Annual Conference of the European Association for Computer Science Logic (CSL)
  • Conference on Automated Deduction (CADE)
  • Eureopean Conference on Artificial Intelligence (ECAI)
  • European Conference on Logics in Artificial Intelligence (JELIA)
  • IEEE Symposium on Logic in Computer Science (LICS)
  • International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
  • International Conference on Logic Programming (ICLP)
  • International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
  • International Conference on Principles and Practice of Constraint Programming (CP)
  • International Joint Conference on Artificial Intelligence (IJCAI)
  • International Joint Conference on Automated Reasoning (IJCAR)
  • Logic for Programming Artificial Intelligence and Reasoning (LPAR)
  • National Conference on Artificial Intelligence (AAAI)
  • Principles of Database Systems (PODS)
  • Principles of Knowledge Representation and Reasoning (KR)
  • Theory and Applications of Satisfiability Testing (SAT)
  • Web Reasoning and Rule Systems (RR)
  • Description Logic Workshop (DL)


6.4 List of Possible Research Projects

  • Automata techniques for hybrid reasoning (FUB, TUD, TUW)
  • Causal reasoning and planning (TUW, TUD, SFU, NICTA)
  • Combining description logics with quantitative temporal logics (TUD, FUB)
  • Complexity and algorithms for web update policies (UNL, TUW)
  • Configuration management using description logics and other knowledge representation formalisms (FUB, TUD, TUW, NICTA)
  • Efficient data access in expressive ontology languages (FUB, TUD, LIXTO)
  • Efficiently determination of RNA structure with constraint reasoning (UNL, SFU, TUD)
  • Expressiveness of combinations of rules and ontologies (FUB, TUW)
  • Extracting ontologies with reasoning rules from dialogues and argumentation (UNL, SFU, TUW)
  • Formalizing Semantic Web standard languages (FUB, UNL, UCH, TUD)
  • Inconsistency management for rules plus ontologies (FUB, TUW)
  • Knowledge representation and databases (FUB, TUW, UCH, IBM)
  • Multi-valued and paraconsistent reasoning in modular logic programming (UNL, TUW)
  • Paraconsistent approaches to answer set programming and its extensions (UNL, TUW)
  • Proof-theoretic approaches for reasoning in light-weight description logics (TUD, TUW)
  • Relating fluent calculus and non-monotonic action languages (TUD, TUW)
  • Revision, update and merging of logic programs (UNL, TUW, SFU)
  • Transforming description logics into logic programming (and back) (FUB, TUW, NICTA)
  • Update and evolution of ontologies (FUB, TUD)
  • Using ontology reasoning for situation awareness (TUD, FUB, NICTA)


6.5 Preliminary Course Offers for the Forthcoming Basic Training Camps

The first basic training camp took place in November and December 2011 at TUD. The program is archived at http://www.epcl-study.eu/fileadmin/downloads/program_btc_2011.pdf and http://www.epcl-study.eu/fileadmin/downloads/program_btc_2011_part2.pdf. The next basic training camp will take place in late 2012 at TUD. Courses that are expected for the following editions of the program are described in the following.

6.5.1 Methods of Logical Inference

Responsible Lecturer:
Alexander Leitsch (TUW)

Other Lecturers:
Matthias Baaz, Agata Ciabattoni, Christian Fermüller, Bernhard Gramlich, Gernot Salzer.

Short Description:
Logical inference serves the purpose of providing formal proofs to mathematical theorems. Two aspects of inference are of particular interest to computational logic: automated generation of proofs and automated verification of proofs. In this course we present traditional logical calculi (sequent calculus, natural deduction) with specific emphasis to computational proof theory. In particular cut-elimination and the Curry-Howard isomorphism are discussed. Second, we present inference systems for proof search (e.g. resolution, paramodulation, superposition) in first-order and higher-order logic. We will also demonstrate how to use theorem provers (e.g. prover9 and Isabelle) in proving mathematical theorems. The student will learn to develop formal specifications of mathematical proofs, to apply methods of proof analysis and to use systems supporting proof specification and proof search. The knowledge acquired in this course will be vital for doing research in automated deduction, proof analysis and verification.

6.5.2 Computational Complexity in AI

Responsible lecturer:
Thomas Eiter (TUW)
Other Lecturers:
Georg Gottlob, Reinhard Pichler, Stefan Woltran
Short Description:
Computational complexity theory deals with the formal analysis of the time and memory needed to solve a computational problem, and the problems studied in Artificial Intelligence are often very resource demanding. In this course, we will review some complexity theory using as examples a selection of Artificial Intelligence problems. The student will become familiar with new complexity classes, and understand the sources of complexity of some known AI problems. The student will also acquire skills for assessing the computational complexity of new problems, which will be valuable in his/her future research.

6.5.3 Foundations of Knowledge Representation

Responsible Lecturer:
José Alferes (UNL)
Other Lecturers:
Carlos Damásio
Short Description:
The course provides fundamental basis for advanced study of state-of- the-art knowledge representation and reasoning formalisms, and surveys state-of-the-art work in this area. It introduces the theory and techniques for defining the semantics of knowledge representation languages, namely logic programming based ones, including the study of both fixpoint based definitions and modal logic based definitions (in particular, definition of disjunctive, paraconsistent, fuzzy and probabilistic semantics). Description Logics languages and reasoning are addressed and their integration with rule systems, namely via hybrid logics, are explored with special interest on open versus closed world reasoning.

6.5.4 Probabilistic Logic and Probabilistic Networks

Responsible Lecturer:
Gregory Wheeler (UNL)
Other lecturers:
Choh Man Teng
Short Description:
To reason with uncertainties, we can draw on probability theory and on deductive logic. But these are very different formalisms. Moreover, probabilistic logics can be hard to understand, and inference with probabilities easily become computationally intractable. In this course we introduce a framework that can accommodate both logic and probability theory, and that covers a large number of the available probabilistic logics: Bayesian inference, evidential probability, Dempster-Shafer theory, statistical inference, inductive logic, and objective Bayesianism. We further introduce graphical representations of the probability assignments known as credal networks and we introduce several algorithms for constructing credal networks from mixed logical and probabilistic constraints. We show that these networks provide an intuitive grasp of the inferences, and keep the inferences computationally tractable. We end the course with a review of some applications of the framework in AI, specifically in data mining.

6.5.5 Advanced Multi-Agent Systems

Responsible Lecturer:
João Leite (UNL)
Other lecturers:
Marco Alberti
Short Description:
This course covers state-of-the-art developments in the area of multi-agent systems, addressing topics such as belief representation, interactions, societies, institutions, norms, evolution. It has special emphasis on formal approaches to modeling and reasoning about agents and multi-agent systems, and practical multi-agent systems based on computational logic.

6.5.6 Advanced Constraint Processing

Responsible Lecturer:
Pedro Barahona (UNL)
Other Lecturers:
Jorge Cruz, Francisco Azevedo
Short Description:
After a brief overview of basic constraint propagation techniques, this module focuses on specific techniques to process difficult constraint satisfaction and optimization problems defined over finite domains. The main topics studied are a) the specification of specific n-ary constraints (global constraints) as well as their processing by means of specialized algorithms often obtained from graph theory, and b) the specification and detection of symmetries in constraint satisfaction and optimization problems, and their efficient processing, taking into account the search heuristics adopted. In addition specialized techniques for processing constraints in other domains (continuous and structured) will be covered.

6.5.7 Computational Logic and Human Reasoning

Responsible Lecturer:
Steffen Hölldobler (TUD)
Short Description:
The course covers a state of the art account on computational models for human reasoning including planning and reasoning, logic programming, completion and non-monotonicity, immediate consequence operators, least fixpoints, least models and reasoning thereof, implementing reasoning in connectionist systems, applications: suppression task and autism.

6.5.8 Ontologies and Databases

Responsible Lecturer:
Diego Calvanese (FUB)
Short Description:
Both knowledge base (KB) and database (DB) systems are used to maintain information about a domain of interest and provide mechanisms to access and manipulate such information. However the assumptions that traditionally are at the basis of these two kinds of systems are fundamentally different. On the one hand, in KB systems, data is assumed to be incomplete, i.e., the open-world assumption is made, and extensional information is stored together with an ontology. The latter maintains complex relationships at the intensional level and is used at query time to infer new knowledge. On the other hand, DB systems work under the closed-world assumption and do not exploit intensional information at query time, which makes them capable of managing efficiently very large amounts of data. Various recent application domains, ranging from biological to enterprise data management, require the management of very large amounts of data and the combination of the assumptions underlying both types of systems, namely the management of very large amounts of data, as in DBs, and the presence of complex constraints in an ontology interpreted under the open-world assumption, as in KBs. Several novel challenges arise in this context and need to be addressed, such as: (i) the trade-off between the expressive power of the ontology language and the efficiency of computing answers to queries; (ii) the impedance mismatch between the abstract objects in the ontology and the values appearing in data sources; (iii) the processing of queries posed over the ontology by accessing the data stored in relational sources; (iv) the integration of multiple data sources. In this tutorial, we will analyse these issues in depth and will propose solutions based on recent research results for tractable Description Logics and in Ontology-Based Data Access. We will also allow participants to familiarise with state-of-the-art technology recently developed in this area.

6.5.9 Logics for Conceptual Modelling

Responsible Lecturer:
Alessandro Artale (FUB)
Short Description:
Conceptual modelling formalisms, such as the Entity- Relationship (ER) or the UML model, are used in the phase of database design, where the aim is to capture at best the semantics of the modeled application. This is achieved by expressing the constraints that hold on the concepts, attributes and relations, which represent the domain of interest, through suitable constructors provided by the conceptual modelling language. When using an expressive language, the designer faces the problem of understanding the complex interactions that may occur between different parts of the conceptual model under construction and the constraints therein. To understand the consequences of the constraints in the conceptual model being constructed, it is essential to provide automated reasoning support. In this course, we address these issues by first presenting a model-theoretic semantics for conceptual data models. Based on this formal ground we define the notions of satisfiability of a conceptual schema and of logical implications. Then we show how Description Logics (DLs) can be faithfully used to capture the different constructs of a conceptual modelling language by formally showing a correspondence based on the model-theoretic semantics. Such a correspondence will allow us to use automated reasoning techniques developed in the DL setting for reasoning over conceptual data models. Furthermore, depending on the different expressive power of the conceptual modelling language different DLs will be also presented showing how the computational complexity of reasoning differs depending from the constructors used to model the application domain. Finally, the case of temporal conceptual modelling languages will be presented together with their correspondence with temporally extended DLs.


6.6 Doctoral Candidate Agreement (Model)

Available as PDF Document: pdf/epclAgreement.pdf


6.7 Hints Concerning the PhD Studies at Particular Partner Universities


6.7.1 TU Dresden

6.7.1.1 Regulations:

The relevant local regulation is the Promotionsordnung of the Fakultät Informatik. A copy of this and an inofficial English translation are archived at the EPCL download page http://www.epcl-study.eu/content/downloads/downloads.php.

6.7.1.2 Fachreferent:

As specified in the Promotionsordnung, aside of the supervising professor at TUD, there is a second professor at TUD assigned as Fachreferent. The Fachreferent has the task to evaluate the status talk and, in addition, as a member of the doctoral graduation commission to ask in-depth expert questions at the defense.

6.7.1.3 Compulsory Local Registration Annahme als Doktorand:

Doctoral candidates in EPCL with TUD as first or second selected university are required to be officially registered as doctoral candidate at the Fakultät Informatik, as specified in the Section Annahme als Doktorand (Acceptance as Doctoral Candidate) in the Promotionsordnung. There is no further compulsory local registration at TUD needed for doctoral candidates, but an Agreement of Joint Supervision is also required (see below).

6.7.1.4 Agreement of Joint Supervision:

For each doctoral candidate in EPCL, an agreement for joint supervision of doctoral studies leading to the award of a joint or a dual doctoral degree has to be signed by the dean of the Fakultät Informatik, the two supervision professors, the doctoral candidate and a representative of the other selected university (e.g., at FUB the rector). More information about that can be obtained from the Graduiertenakademie of TU Dresden http://www.tu-dresden.de/die_tu_dresden/zentrale_einrichtungen/graduiertenakademie/, Dr. Katharina Ulbrich, email: katharina.ulbrich@tu-dresden.de, phone: +49 351 463-42385.

6.7.1.5 Local Support and Further Registration Options:

TUD offers the option to enroll (immatrikulieren) as PhD student. See http://tu-dresden.de/die_tu_dresden/zentrale_einrichtungen/graduiertenakademie/beratung/faqs. Advice, information and programs for financial support are offered by the Graduiertenakademie of TU Dresden: http://www.tu-dresden.de/die_tu_dresden/zentrale_einrichtungen/graduiertenakademie/. The Fakultät Informatik maintains a portal for doctoral candidates: https://pubpromotion.inf.tu-dresden.de/ (the term Application as PhD Student is used there for Antrag auf Aufnahme in die Doktorandenliste/Application for Acceptance as Doctoral Candidate).

6.7.1.6 Status Talk:

The Promotionsordnung requires a status talk at TUD where the supervising professor at TUD and the Fachreferent have to be present, usually about one year before the defense. The following steps are required to organize this:

  1. Arrange a date with the supervisor at TUD and the Fachreferent. If possible, during a PhD workshop.

  2. Prepare a confirmation form, either through the portal https://pubpromotion.inf.tu-dresden.de/, or via the secretary of the supervising professor at TUD. The secretary needs the following information: Name, Date of birth, Place of birth, Day of the talk, Title of the talk, Names and titles of the supervisor and Fachreferent who will attend the talk.

  3. Contact the secretary of the supervising professor at TUD. She will care about assigning a room for the talk and announcing the talk. The talks are usually announced two weeks in advance. They have to be announced one week in advance at the latest. The secretary needs the following information from you:
    • Title of the talk
    • Abstract of the talk
    • Supervising professors (Title, First Name, Last Name, University if not TUD)
    • Fachreferent (Title, First Name, Last Name)
    • Date, Time and Room



Footnotes

... fellowship1
Fellowships consist of a fixed contribution to the travel, installation and any other types of costs, a fixed contribution to the PhD students participation costs and fixed living allowances.