All Master's theses must be filed in the Univerisity's archives for reference and inspection purposes. This should be done in the following way:

The procedure of filing your thesis to the Education Office
Right after your defense you and your supervisor go to an available computer nearby and go to this website. Then

• the student logs on with his/her UvAnetID;
• the student fills in his/her own name, programme MSc Logic, and e-mail address of supervisor;
• the student uploads the file of the thesis (everything in one file, no separate files for frontpage, abstracts etc, as a pdf file or a word document);
• the system generates an e-mail to the supervisor with a link to check the thesis filed;
• through this link the supervisor confirms that this thesis is the one just graded;
• in addition the supervisor indicates whether the thesis may be disclosed to the public in the catalogue of the library;
• an e-mail will be generated to the Education Office, so they know the thesis has been filed and approved, and the diploma application can be started;
• in case a student objects to publication on the internet he/she, apart from uploading the thesis, has to send an e-mail to the Education Office with the request not to publish the thesis (and the student's name); your thesis will be stored in the archive only.

After this you can go to your appointment at the Education Office for the application of your diploma. But please note:
As long as the thesis has not been filed through this system, or the supervisor has not given his approval, you will not be given a diploma.
In case of a breakdown of the network you can still go to your appointment at the Education Office to start the application for the diploma. The Education Office will hold the documents until the thesis has been filed properly.