Programming Formalisms
Description
The goal of the Programming Formalisms course is to apply formal principles of software development in a team.
This is relevant to those that can copy-paste scripts and wonder how to do (even) better.
This courses teaches evidence-based best practices on how to develop/grow/test a script when part of team that cares about quality.
Upcoming Training Instances
Programming Formalisms
May 10, 2027 09:00 – May 14, 2027 17:00
Programming Formalisms (November)
November 08, 2027 09:00 – November 12, 2027 17:00
Content Providers
Learning Outcomes
Apply formal software development practices in a team:
- work with a formal git branching model
- work within a formal project workflow
- do social coding
- use a run-time speed profiler
Structure & Duration
This is a 5-day 8-hours-per-day highly interactive course.
Prerequisites & Technical Requirements
Prior Knowledge
You need to have written scripts (and we expect these scripts to be written sloppily: this courses improves that) that do something useful in a programming language.
You need to know how to manage a single-branch workflow in git, i.e. they keywords 'status', 'clone', 'add', 'commit', 'push' and 'pull'.
You do not need to be experienced in Python, but we expect you to (1) know at least 1 programming language well, (2) search the web or ask an AI for doing things in Python
Technical Requirements
You need a good Zoom setup in a place where you can talk.
Audience & Keywords
Target Audience
Keywords
Course Team
Authors
- Richardus Bilderbeek · NBIS ·
ORCID · richel.bilderbeek@scilifelab.se
Past Course Instances
Programming Formalisms
May 04, 2026 09:00 – May 08, 2026 17:00
Activity log
