logika je vsude

logic is everywhere

logika je svuda

Logika ada di mana-mana

Hikmat har Jaga Hai

a logica esta em toda parte

Logik ist uberall

la logique est partout

Mantık her yerdela logica e dappertutto

la logica esta por todas partes

Logica este peste tot

àA

�¾

�Ó éÊ

�¿ ú

�¯ é

�®¢

JÖÏ

�@

�I�@ A

�g. Që�

��

�JJÓ

úæ��A�K� Që� É

�¯ @

The European PhD Program in Computational Logic

Steffen HolldoblerInternational Center for Computational LogicTechnische Universitat DresdenGermany

I History

I Partners

I Curriculum

I Goals

I Strengths

I Risks

Steffen HolldoblerThe European PhD Program in Computational Logic 1

History

I CompulogNet – Esprit Network of Excellence in Computational LogicWorkshop on Eduction in Lisbon 1996

I International Master’s Program in Computational Logic at TUD (MCL, since 1997)

I CoLogNet – Esprit Network of Excellence in Computational Logic

I European Master’s Program in Computational Logic (EMCL, since 2004)

I MCL/EMCL is research oriented

I More that 50% of the graduates went for a PhD

Steffen HolldoblerThe European PhD Program in Computational Logic 2

Partners

I European Partner Institutions

. Free University of Bozen-Bolzano (FUB)

. Technische Universitat Dresden (TUD)

. Universidade Nova de Lisboa (UNL)

. Technische Universitat Wien (TUW)

I Non-European Partner Institutions

. National ICT Australia (NICTA, Australia)

. Simon Frazer University (SFU, Canada)

. University of Chile (UCH, Chile)

I Industrial Partner Institutions

Steffen HolldoblerThe European PhD Program in Computational Logic 3

Curriculum

I Modules of 30 credit points

. Basic Training Camp (10)

. Soft Skills (2)

. Language and Communication (4)

. PhD colloquium (6)

. PhD workshop (6)

. Across Borders (2)

I PhD Thesis of 120 credit points

I PhD Defense of 30 credit points

Steffen HolldoblerThe European PhD Program in Computational Logic 4

Goals

I To prepare highly qualified researchers in Computational Logicwho will further strenghten the European presence in the field.

I To deepen the student’s knowledgeand consolidate his/her comprehension of the field of Computational Logic.

I To provide the student with the necessary skillsto collaborate in an international and intercultural environment.

I To advance the state of the art in Computational Logic by facilitatingthe collaboration between leading institutions through joint PhD projects.

Steffen HolldoblerThe European PhD Program in Computational Logic 5

Strengths

I Top international scientists in Computational Logic

I Trusted and well-established working relationship among partner universities

I Common study and examination regulations

I Joint degree

I International advisory board

Steffen HolldoblerThe European PhD Program in Computational Logic 6

Risks

I Different local laws and regulations

I No established scholarship schema in Germany

I PhD program “does not fit” to regular eduction

I Relationship with industrial partners

Steffen HolldoblerThe European PhD Program in Computational Logic 7