Program
Our summer school is a five-day program (Monday to Friday, Sunday and Saturday are arrival and departure days) packed with stimulating mathematical content and enriching cultural experiences. Participants are advised to arrive to Ljubljana on Sunday, June 28th, and depart on Saturday, July 4th.
Our mornings will be dedicated to three minicourses:
- Machine learning for theorem proving in Lean (David E. Narváez, Ljupčo Todorovski)
- Some aspects of Lp theory for second-order elliptic operators (Oliver Dragičević)
- Applications of generating function in probability (Mihael Perman)
In the afternoons, attendees will have the opportunity to learn about the exciting research conducted by various local research groups, covering the following areas:
- Algebra and Functional Analysis
- Complex Analysis
- Discrete Mathematics
- Foundations of Mathematics and Theoretical Computer Science
- Geometry
- Numerical Analysis
- Probability, Statistics and Financial Mathematics
- Topology
Alongside mathematical content, we’ll provide valuable insights into master’s and doctoral programs, including the chance to pursue a double degree with the University of Trieste for master’s students. Additionally, we’ll offer information on arrival, accommodation, and studying in Ljubljana, along with perspectives from current foreign master’s and doctoral students on life and academics in the city.
Timetable
This is the tentative schedule for 2026.
