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
  • 1.2 European Partner Universities
  
  
• 2 Agreement of Cooperation Between the European Partner Universities
  • §1 Aims
  • §2 Prerequisites for Participation
  • §3 Registration
  • §4 Form of Study and Conferral of Degrees
  • §5 Modules
  • §6 Stay at the Partner Universities
  • §7 Joint Commission
  • §8 Participation Costs
  • §9 Compensation
  • §10 Erasmus Mundus Student Fellowships
  • §11 Exchange of Lecturers
  • §12 Financial Obligations
  • §13 Alterations, Additions and Termination
  
  
• 3 Common Study and Examination Regulations
  • 3.1 Scope
  • 3.2 Program Objectives
  • 3.3 Organizational Structure
  • 3.4 Study Requirements
  • 3.5 Application
  • 3.6 Commencement and Duration of Studies
  • 3.7 Mobility and Placement
  • 3.8 Language
  • 3.9 Advisory Committee of the Doctoral Candidate
  • 3.10 Participation Costs and Waivers
  • 3.11 Doctoral Candidate Advisory Service
  • 3.12 Curriculum
  • 3.13 Modules of Course Work
  • 3.14 PhD Work and Supervision
  • 3.15 Publications, Participation at Conferences and Summer Schools
  • 3.16 Examination
  • 3.17 Publication of the Thesis
  • 3.18 Academic Degrees
  
  
• 4 Decisions by the Joint Commission
  • 4.1 Associated Partner Research Institutions
  • 4.2 Associated Industrial Partners
  • 4.3 Composition of the Commissions
  • 4.4 Start of the PhD Program
  • 4.5 Application and Evaluation
  • 4.6 Participation Costs
  
  
• 5 Services at the Partner Universities
  • 5.1 Services at Free University of Bozen-Bolzano
  • 5.2 Services at Technische Universität Dresden
  • 5.3 Services at Technische Universität Wien
  • 5.4 Services at Universidade Nova de Lisboa
  
  
• 6 Appendix
  • 6.1 Study Plan
  • 6.2 List of Supported Summer Schools
  • 6.3 List of Journals and Conferences
  • 6.4 List of Possible Research Projects
  • 6.5 Preliminary Course Offers for the Forthcoming Basic Training Camps
  • 6.6 Doctoral Candidate Agreement (Model)
  • 6.7 Hints Concerning the PhD Studies at Particular Partner Universities