Skip to content


Programming formalism logo
'Programming Formalisms' course logo, by Jonas Söderberg and Lars Eklund


Welcome to the Programming Formalisms course!

Course mottos

  • Turning scripters into computer scientists
  • Add theory to bolster already present practical skills


[Pre-requirements](prereqs.md){ .md-button .md-button--primary } [Intro](intro.md){ .md-button .md-button--primary } [Schedule](schedule.md){ .md-button .md-button--primary } [Feedback](misc/feedback.md){ .md-button .md-button--primary }

The UPPMAX logo The NBIS logo

Check links Check spelling Check markdown Create website DOI