
The summer school will be run from Wed. July 01 to Fri. July 3, 2026
SIFR offers three types of learning activities:
Interactive overview lectures on research frontiers in selected topics. See Tutors and Topics below.
Hands-on sessions that topically follow lectures
Individual work on terminology mark-up in scientific papers on Abstraction and Reasoning Challenge. Students will be briefed on the task and methodology during the School. The task will be performed within two weeks after the school.
ECTS Credits:
Taking part in SIFR tutorials, including lectures and hands-on sessions – 1 ECTS
Individual work: terminology mark-up – 2 ECTS

We welcome as the students of SIFR:
3d-4th-year B.Sci students in Computer Science, Software Engineering, Artificial Intelligence, Business / Data / Decision Analytics, and related programs
M.Sci students in Computer Science, Artificial Intelligence, Data Science, and related programs
Ph.D students doing their research in the fields, related to Intelligent Systems or broader Artificial Intelligence
Researchers / professionals working in the fields, related to Intelligent Systems or broader Artificial Intelligence
The students will acquire new knowledge and practical skills on the actual research topics in Intelligent Systems and successfully perform their B.Sci or M.Sci projects.

At SIFR, we aim to discuss what are the current research frontiers in several selected hot topics in Intelligent Systems. This discussion will be organised via offering several interactive tutorials covering these selected topics. The tutorials will comprise overview lectures on the selected topics. These lectures will be complemented with practical hands-on sessions. The students will be also offered to take part in the mini-projects on the topics of their choice. The projects will be presented by the students at the final session of the summer school.

Tutorial І. Can LLMs Forget? An Introduction to Machine Unlearning
Tutorial ІІ. Medical Vision Foundation Models
Tutorial III. Illumination-Robust Event-Based Tracking: Flicker, Burst, and Recovery
Tutorial IV. The Genomic Bottleneck: Bio-Inspired Neural Architecture Search from Compact Genomes
Tutorial V. Understanding and Interpreting Sign Language
Tutorial VI. SCaAD: A Spine Cage Automated Designer
Tutorial VII. Introduction to Formal Verification with LEAN