3.4 Study Requirements

Applicants for the European PhD Program in Computational Logic must satisfy the following requirements:

  1. Proof of an adequate knowledge of English.

  2. Master of Science degree (Bologna second cycle) in Computational Logic, Computer Science, Mathematics, Artificial Intelligence, or an equivalent degree.

  3. Proof of knowledge in Computational Logic.

The fulfillment of the requirements mentioned in paragraph 1 is decided by the Selection Commission in cooperation with the coordinating university.