International MSc Programme in Computational Logic
- No tuitionTuition
- Winter intakeIntake
- EnglishLanguage
- 4 semestersDuration
- 31 MayNext deadline
Save this course to your plan
- 5,000+ students guided
- 4.9 on Google (opens Google reviews in a new tab)
About the programme
The Technical University Dresden (TU Dresden) is a renowned research university located in Dresden, Germany. It offers a wide range of academic programs, including the International MSc Programme in Computational Logic. This program is designed for students who are interested in the theoretical and practical aspects of logic-based knowledge representation, reasoning, and programming. The curriculum covers topics such as automated reasoning, knowledge representation, and formal methods, and students have the opportunity to work on real-world projects and research. Graduates of this program are well-equipped to pursue careers in academia, research, or industry, and the university's strong reputation in the field of computational logic makes it an attractive choice for prospective students.
Fields of study
How to apply
uni-assist checks your papers first. Then the university decides on your application.
APS checks your degree papers. You need it if your degree is from India, China or Vietnam.
Will you get in? Check your eligibility.
Answer a few questions to see how you match this programme. Free, no email. Leave anything blank you are not sure about.
Requirements
What you need to apply for International MSc Programme in Computational Logic at Technical University Dresden (TU Dresden)
English language
View English requirements detailsHide details
English-Language certificate (for non-native speakers of English only)
Students whose first language is not English must demonstrate competence in English. We recognize many different tests. In the most commonly available, the following minimum scores are required:
IELTS: Level 6.0
TOEFL: IBT (Institutional Testing Program): 550 or iBT (internet-based): 79
German language
Academic requirements
View academic requirements detailsHide details
A Bachelor's Degree in Computer Science, Mathematics or a comparable university degree
APS verification
APS checks your degree papers. You need it if your degree is from India, China or Vietnam.
Prerequisites
The following prerequisites must be fulfilled by students applying for the International MSc Program in Computational Logic:
- The application must be received before the application deadline (opens in a new tab).
- The application must be complete (opens in a new tab).
- A Bachelor's Degree in Computer Science, Mathematics or a comparable university degree degree.
- English-Language certificate (for non-native speakers of English only) Since the medium of instruction in the Master's Program is English, students whose first language is not English must demonstrate competence in English. We recognize many different tests. In the most commonly available, the following minimum scores are required:
- IELTS: (opens in a new tab) Level 6.0
- TOEFL (opens in a new tab): IBT (Institutional Testing Program): 550 or iBT (internet-based): 79
- Certificates indicating the achievement of "good" (grade B) or "very good" (grade A) in the following areas:
- Foundations of Mathematical Logic (opens in a new tab)
- Foundations of Artificial Intelligence (opens in a new tab)
- Declarative Programming (opens in a new tab)
- Theoretical Computer Science
Documents checklist
What to prepare for your application to International MSc Programme in Computational Logic
Programme-specific documents
Application form
Application form for assessment of aptitude and admission
https://iccl.inf.tu-dresden.de/w/images/9/9c/Assessment_f... (opens in a new tab)
Curriculum Vitae
Statement of purpose
Copy of the passport or identity card
Higher Secondary School Certificate / Intermediate Examination Certificate
Reports on university examinations (transcripts) and diploma (first degree or bachelor degree). If the bachelor degree will only be available after the deadline, students are required to send us a PRELIMINARY certificate. This document must be signed and stamped by the home university and inform on the expected end of the studies.
English language certificate as stated here. We recommend to take the TOEFL or IELTS test as the German embassy in some countries requests these certificates for the visa application. We strongly advise to check the visa requirements at an early stage!
For Chinese, Mongolian and Vietnamese students only: The original APS certificate
This programme applies via uni-assist. Submit your documents through the correct channel before the deadline.
Open application portal (opens in a new tab)Apostille and notarization
Requirements vary by nationality and issuing country. Many German universities require certified translations and, in some cases, document apostilles. Verify current requirements directly with the admissions office, or use our document services for guided preparation.
Need help preparing your documents?
Our document preparation bundle covers SOP, CV, LOR, and translation coordination, reviewed by our team.
View document bundleHow to apply
Step-by-step guide to applying for International MSc Programme in Computational Logic at Technical University Dresden (TU Dresden)
Application procedure
The application procedure via uni-assist is subject to handling fees. We would like to kindly ask you, to pay the fees at the same time as you submit your application, since your application will only be processed once your payment has been received.
Documents to be submitted
The following documents must be submitted for an application:
Printed application for university admission (Please be aware, that the spelling on the application must correspond to the spelling in your passport)
Personal data sheet (short CV)
Passport copy (only the page with the name and photo) or ID Card
Authenticated copy of the original as well as sworn translation (German or English) of the following documents:
High School certificate with subject and grade summary, if applicable: Certificate of university entrance examination
If you have already studied in your home country or at other universities, please submit the subject and grade summary of all years, and if available: the graduation certificate
authenticated copy of proof of sufficient German language skills (except for English taught master's programmes)
For applications for master's programmes, if the first university degree is not present:
Certificate (with original signature or authenticated copy) regarding the estimated end of studies and confirmation that at least 80% of the Bachelor degree programme has been completed, incl. the current average grade (for a 4-year degree – 7 completed semesters, for a 3-year degree – 5 completed semesters)
Chinese, Mongolian and Vietnamese applicants have to submit the original of the certificate of the Academic Evaluation Centre at the German embassy (APS – Akademische Prüfstelle) Information about the APS
Students who are already enrolled in a German university have to submit this additional application form (Nebenhörer).
If you want to change from another German university to TU Dresden, you will need a Transcript of records and enrolment certificate.
Applicants for higher semesters have to submit a "Moduldescription" (German or English).
Please note that for certain degree programmes further special documents (e.g. English language skills, internships, application for suitability exam) must be submitted. Please familiarise yourself prior to applying by reading the corresponding pages in TU Dresden’s Student Information System.
Attention! Never submit the original certificates. Please only hand in officially authenticated copies. Your application documents will remain with uni assist for documentation purposes and will not be returned. We also recommend taking at least one or two additional copies of your officially authenticated application documents with you to Germany. You might require them for other purposes. Authentication of foreign-language documents in Germany requires a lot of effort and is very time-consuming.
Required Documents
Application form
Application form for assessment of aptitude and admission
Curriculum Vitae
Statement of purpose
Copy of the passport or identity card
Higher Secondary School Certificate / Intermediate Examination Certificate
Reports on university examinations (transcripts) and diploma (first degree or bachelor degree). If the bachelor degree will only be available after the deadline, students are required to send us a PRELIMINARY certificate. This document must be signed and stamped by the home university and inform on the expected end of the studies.
English language certificate. We recommend to take the TOEFL or IELTS test as the German embassy in some countries requests these certificates for the visa application. We strongly advise to check the visa requirements at an early stage!
For Chinese, Mongolian and Vietnamese students only: The original APS certificate
Selection process
No info found
Application quick facts
Apply via
Via uni-assist
uni-assist checks your papers first. Then the university decides on your application.
Mode
online_plus_hardcopy
APS
Required for Enrollment
APS checks your degree papers. You need it if your degree is from India, China or Vietnam.
Application fee
75 EUR
Address
Please send your application to this address*:
uni-assist e.V.
11507 Berlin
GERMANY
- You can also use this address for courier services or to send registered mail. If your mail carrier does not accept the address, please send your mail to uni-assist e.V., Geneststrasse 5, 10829 Berlin. This will not increase the transit time.
Not admitted to this programme?
Germany has thousands of programmes across hundreds of universities. Use the compare tool to find similar programmes and see which fits your profile better.
Costs
Tuition
FREE
No tuition fees
Semester contribution
N/A
per semester
Application fee
75 EUR
per application
Estimated year-1 total cost
11,904 EUR
Includes tuition, semester contribution, and estimated living costs.
This programme has restricted admission (NC). Admission is competitive and based on academic performance.
Plan your total budget for Germany
Use the MS in Germany cost calculator to estimate living expenses, insurance, and your full year-one spend.
Open cost calculatorAdmission outcomes
No admission statistics available yet for this programme
Statistics will appear here as more applicants report their outcomes. Check back later for acceptance rates and grade benchmarks.
Similar programmes
Other Computer Science programmes ordered by QS ranking
- MSc
Advanced IT Security
Tuition up to 1,500 EUR per semesterBilingual (English and German)Winter and summer intake73 days left - M.Sc.
Advanced Software Engineering
Tuition over 1,500 EUR per semesterTaught in German3 semestersWinter intake - M.Sc.
Advanced Software Technology
Constructor UniversityBremenTuition over 1,500 EUR per semesterTaught in English4 semestersWinter intake254 days left - MEng
AI and Advanced Information Technologies
No tuition feesTaught in EnglishWinter and summer intake73 days left - MSc
AI-Driven Supply Chain Management
No tuition feesTaught in English3 semestersWinter and summer intake27 days left - MSc
Applied Artificial Intelligence
Tuition up to 1,500 EUR per semesterTaught in EnglishWinter and summer intake73 days left
Looking for more programmes at Technical University Dresden (TU Dresden)?
View university page