ILLC PhD Council

Repository of Nine-Month Reports

9 months after the start of their contract, every PhD candidate at ILLC has to submit the so-called ‘Nine-Month Report’. This report is officially one of the bases for making a decision about extension of the contract after the first year. The content of the report can vary a lot and is agreed with your supervisor(s) in advance. It can be a literature review, a draft of a paper, a conference submission, a pilot study. This freedom allows everyone to do what they would personally benefit from: there is no need to write a paper only to fulfil this requirement, it should be something that you would write anyway.

The official regulations regarding this can be found on the ILLC PhD Programme pages.

In order to make it easier to understand what kind of papers can be submitted, on this page you can find a number of Nine-Month Reports that have been submitted by some PhDs in past:

• SMCDEL – An Implementation of Symbolic Model Checking for Dynamic Epistemic Logic with Binary Decision Diagrams
• Quantum computing on encrypted data (QCED)
• Interface of descriptive set theory and computable analysis
• Agreement and disagreement in dialogue