T-79.5104 Advanced Course in Computational Logic

Home Assignments

[Home directories] [General information] [Backup Policy] [Forgot Your Password?]

Personal Home Directories

A personal home directory will be automatically created for all students registered for the course. The directory is accessible using an URL of the form


where id is your student id (typically of the forms 12345A, 123456, a12345). In addition to the URL above, you have to know a user id and a password that are sent to you by email when assignments are launched. If you have not received them, please contact the lecturer.

Back to menu.

General Information

Back to menu.

Backup Policy

Back to menu.