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/.