Sort by
Refine Your Search
-
Listed
-
Field
-
-agent systems formal verification modal logic computational logic temporal logic dynamic epistemic logic knowledge representation and reasoning automata theory computational complexity proof theory formal
-
enclose documentation from HK-dir that they have received your application. Certain educational degrees from selected countries have an automatic recognition, please check this website: Automatic
-
, please enclose documentation from HK-dir that they have received your application. Certain educational degrees from selected countries have an automatic recognition, please check this website: Automatic
-
of theory and methods. It should also include a progress plan for the different parts of the project. The research proposal must also include a short description of how the applicant envisions a fit with the
-
. The research proposal must also include a short description of how the applicant envisions a fit with the SPARK4B+ project. Admittance to the PhD programme will be based on the research proposal. The faculty has