• About
    • Computational Logic
  • The Program
    • Motivation and Background
    • Course Announcement
    • General Course Program
    • Summary of Main Features
    • Staff
    • Conversion Scheme for Examination Results
    • The Sponsors
  • For Prospective Students
    • Study Prerequisites
    • How to Apply?
    • I've been accepted! Now what?
    • Frequently Asked Questions
  • Grants
  • For Current Students
    • General Information
      • Study and Exam Regulations
      • Useful Information
      • Documents
      • Erasmus Mundus Alumni Association
      • Tuition Fees and Payment Schedule
    • Students at UNL
      • Academic Calendar
      • Study Information
      • Timetable
  • Events
    • Open House
    • Other Events
  • Further Information
  • Internals
    • Documents
      • Bilateral Memoranda of Understanding
  • Press