This course delves into the mathematical foundations of intelligent systems, examining how modern systems interact, make decisions, and respond to their environments. You will gain advanced knowledge of the theory behind reactive systems and learn to analyze their behavior using formal methods. By integrating concepts from logic, game theory, and automata theory, the course provides a rigorous approach to specifying, modeling, and verifying computational properties. You will also enhance your skills in constructing mathematical proofs and critically assessing theoretical approaches to computation. This program is ideal for students interested in the theoretical underpinnings of computer science and the design of logic-driven systems.
Selection for the course is based on the number of credits from previous university studies, with a maximum of 165 credits considered.
The first payment installment is 19,250 SEK. Tuition fees are charged for students who are citizens of countries outside the EU/EEA and Switzerland, with some exceptions. An application fee of 900 SEK is required for these students at universityadmissions.se. Payment is accepted via bank transfer or card. The last day to pay tuition for the autumn semester is May 1st for newly admitted students. Direct card payments are recommended for faster processing and to assist with residence permit applications.
Students from outside the EU/EEA and Switzerland are charged tuition fees. The fee is 19,250 SEK per full-time education. EU/EEA citizens, Swedish residence permit holders, and exchange students do not pay tuition fees.
An application fee of 900 SEK is required for students from outside the EU/EEA/Switzerland. The first tuition fee installment is due by May 1st for newly admitted students for the autumn semester.
You need to have successfully completed Logical theory (LOG111) and Modal logic (LOG131), or equivalent university studies. Selection is based on the number of credits from previous university studies, with a maximum of 165 credits considered.
The language of instruction for the Logic, Games and Automata programme is English.
The application period for the Autumn 2026 intake is from March 16 to April 15, 2026. A late application period opens on July 15, 2026.
Scholarships for fee-paying students are available and are merit-based, with amounts varying. More information can be found on the University of Gothenburg website.