About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

International MSc Program in Computational Logic

Student presenting her course work
Student presenting her course work
For Current Students

Winter Term 2015/16

There will be an INTRODUCTORY WEEK from October 5 to 9, 2015. Please find the latest timetable of that week as a PDF file here.

The city tour on Friday takes place at 1pm. It starts at the tram station Pragerstraße, there will be English-speaking guides.

last updated Wed, 11 Nov 15

last updated Thu, 29 Oct 15

Summer Term 2015

last updated Fri, 27 Mar 15

last updated Fri, 27 Mar 15


Talks at the ICCL

Open House

Social Events

Financial Support

Study at UNIBZ (Italy)


Summer Schools

EMCL Student's Workshop

NICTA project work

Tuition fee waiver

Other Information

Study and Exam Regulations

Latest description of modules

How to register for exams at TUD (SCIS)

Useful Information

Semester Diary Dates

Course Listings of Previous Terms

PDF Files of Introductory Ceremonies of the CL Study Course

You find the recent PDF slides here

Schedules: 2014  
Slides of Opening:   2013 2012 2011 2010 + overview mobility, Summer 2008
Slides "Soft Skills": Introductions to research papers, research talks (part 1, part 2), LaTeX, TikZ and GIT, beamers
Posters of New Students: 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004
Group Photos (JPG format): 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005  

See also the Sponsors of the International MSc Program