Meeting Wednesday 20 March 11:00-12:00

• Attendees: everyone

• Progress:

  • L is still working on getting a functional email
  • 15 learners have registered
  • Application form stays in place for this iteration of the course

Issue	Assigned	Progress
https://github.com/UPPMAX/programming_formalisms/issues/16	L	Forgot, will do
https://github.com/UPPMAX/programming_formalisms/issues/21	B	Done
https://github.com/UPPMAX/programming_formalisms/issues/23	B	Done
https://github.com/UPPMAX/programming_formalisms/pull/26	R	Approved, R will merge

• [Richel, FYI] I put an overview of the course in graph at https://uppmax.github.io/programming_formalisms/intro/ . I like it!
• [Richel, FYI] Project repo is ready at https://github.com/programming-formalisms/programming_formalisms_project_summer_2024
• [Richel, vote] move all schedules from HackMD to website. To see how that looks like, I put a copy at the course website
  • [VOTED!] pro: proper version control, no duplicates that can differ
  • con: ?
  • votes: pro: BLR, con: .
• [Richel, vote] suggest to keep the general schedule general, e.g. Wednesday is 'git branches, code reviews and TD', with a detailed schedule at the course's day
  • [VOTED!] pro: right level of detail at each page
  • con: can mismatch
  • votes: pro: BLR, con: .
• [Richel, discuss] I'd enjoy a long-term schedule for preparation:, e.g.
  • Week 13: learning objectives on pages, e.g <Learning outcomes>
  • Week 14: draft of exercises in place [Björn away]
  • Week 15: draft of material in place
  • Week 16: improve
  • Week 17: teaching

Next meeting: Wednesday 27 March 11:00-12:00 at https://uu-se.zoom.us/j/63272190301 (Passcode: 880630)