International MSc in Computational Logic
International MSc in Computational Logic
Introduction
click here to read the full article.
For Prospective Students
Regulations for the Aptitude Assessment Procedure
The present English translation of the 'Eignungsfeststellungsordnung' is non-official and has no legal binding effect. Only the German version is legally binding. Regulations
Study 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.
- The application must be complete.
- 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:
- Certificates indicating the achievement of "good" (grade B) or "very good" (grade A) in the following areas:
- Foundations of Mathematical Logic
- Foundations of Artificial Intelligence
- Declarative Programming
- Theoretical Computer Science
- How To Apply
- Your Stay in Dresden
- Frequently Asked Questions
Business and Industry
Computational logic is applied in many industrial and commercial applications like medicine, life sciences, pharmacological industry, sewage control, traffic control, data management and many other areas. Computational logic is also significant for the verification of safety-critical software and hardware, the specification and verification of embedded systems and for security issues. At the International Center for Computational Logic, we believe, this involvement with real world problems enhances our teaching and research by stimulating new ideas, programs and activities. We recognize and value these benefits of collaboration and are committed to building lasting partnerships with business and industry. Within the International MSc Program in Computational Logic, we have been able to initiate student projects and placements with:
Advanced Mask Technology Center Dresden
Last update: Tue, 24 Oct 2006 23:46:21
Grants
Erasmus Mundus action 2 scholarship programme
Erasmus Mundus grants are offered to applicants from selected partner universities. Interested students must apply for the amdission related to the International MSc Program in Computational Logic until November.
Deutschlandstipendium
Students who are admitted to the International MSc program in Computational Logic program or who are studying in the program may apply for this financial support (about 300 EUR per month). The current announcement will be published mid of July. Further information on the conditions for granting and the application procedure is available from the web page maintained by the International Office of the Technische Universität Dresden.
The GE Foundation
The General Electric Foundation offers various awards.
STIBET program
The TUD International Office offers mentoring scholarships and degree assistance to especially qualified foreign students of TU Dresden. The current announcement as well as the application form is provided here. Applications are possible between 1 December and 31 January / 1 June and 31 July (depending on the subject).
ERASMUS+ scholarships
TUD students can apply for Erasmus+ scholarships related to the study abroad. The monthly amount is about 200 EUR. Application deadline for this scholarship is NOVEMBER regarding the summer semester of the following year. More information is provided by the CL-secretary on request.
Further financial support
Students of the MSc program may apply for financial support related to the attendance of Summer schools or conferences.
Guests and Events
Guest Lecturers
click here to read the full article
Scientific Talks
The International MSc Program in Computational Logic is truly international, with students coming from numerous different cultures. It is an endeavor of the International Center for Computational Logic (ICCL) to create an ambience where students and staff can intermingle freely and exchange ideas - whether the ideas come from the field of Computer Science or from the diversity of several cultural banners studying under one roof, the Center provides several opportunities to students to come up and discuss them. The ICCL conducts weekly research seminars where both students and staff present their research topics, and invite constructive suggestions.
last updated Tue, 17 Mar 15
Social Events
click here to read the full article last updated Thu, 23 Oct 14
Open House
The International MSc Program in Computational Logic is truly international, with students coming from numerous different cultures. It is an endeavour of the International Center for Computational Logic (ICCL) to create an ambience where students and staff can intermingle freely and exchange ideas - whether the ideas come from the field of Computer Science or from the diversity of several cultural banners studying under one roof, the Center provides several opportunities to students to come up and discuss them. In addition to the weekly research seminars, we and the staff of the Institute for Artificial Intelligence organize the Open House, a weekly meeting with the idea to bring staff and students closer together. Every Wednesday afternoon students and staff meet for an informal get-together on the 2nd floor in front of the rooms 2033 and 2034.
last updated Tue, 9 Oct 07
Internals
The Old CL Teaching Pages Not maintained anymore since Dec 2004
See also the Sponsors of the International MSc Program
