Programming Formalisms
5-9 May 2025
Collaboration with NBIS
The goal of this highly-interactive 5-day course is to be able to develop academic software that you can trust to be ‘good enough’. We assume you have written code ‘that (sometimes) just works’.
The course follows a formal development process from start to finish, with a selection of topics and best practices we think are most important, with the goal of developing academic software that is actually good enough.
When: May 5-9 from 9:00-16:00 each day
Where: online via Zoom
For more information and registration, please visit https://docs.uppmax.uu.se/courses_workshops/programming_formalisms/.