International MSc Program in Computational Logic
International MSc Program in Computational Logic
We offer the International MSc Program in Computational Logic (MCL). The ultimate goal of the program is that the best students study with the best experts in the field. It is also a part of the European Master's Program in CL.
Introduction
What was the motivation for developing a curriculum for a Master's Program in Computational Logic? What about the professional perspective? In this section, you will find informations concerning the study program and teaching staff.
For Prospective Students
If you consider applying for the International MSc Program in Computational Logic, this section will provide you with the necessary information including study prerequisites as well as the application process.
For Current Students
This section contains useful information for currently enrolled students: course overviews and timetables, financial support and regulations, among other things.
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:
Grants
In this section, we provide information about potential sponsors and scholarships available which may be of interest to current and prospective students.
Guests and Events
