On this page you can find all the courses and tracks offered by the Utrecht Summer School. Check the course pages for more detailed information.
2 course(s) found
Advanced Functional Programming in Haskell
Typed functional programming languages allow for the rapid development of robust programmes. This course explores some of the more advanced language features of Haskell, a state-of-the-art functional programming language, together with some of its theoretical background. The course aims to teach not only the more advanced Haskell features, such as GADTs or type families, but also the underlying theory. Besides the lectures, there are numerous…
Mathematics and Science (STEM) Education
The focus of the STEM Education summer school is bringing participants up to date in research and teaching practices in the field of the STEM subjects (Science, Technology, Engineering and Mathematics), and refreshing and deepening the knowledge of meaningful and relevant educational practices. Topics will include inquiry-based learning and interdisciplinarity, cultural diversity and inclusion, connections to sustainable development goals (SDGs…