Subsections

Bergen, Norway, October 10–16, 2021

Sunday 10 October, 2021

SAS: SK2862, 8:05 am – 9:25 am, REHJBF
Hotel: Bergen Børs. MV53MW

Lectures

Top left corner, building 1

Lecturer

Professor emeritus, Dr.Techn., Dines Bjørner
DTU Compute, Technical University of Denmark
https://www.imm.dtu.dk/˜dibj/
bjorner@gmail.com

Lecture Notes

[1]	Dines Bjørner , Domain Science and Engineering, A Foundation for Software Development , Springer, The EATCS Monograph Series, xviii + 401 pages, Fall 2021, ISBN 978-3-030-73483-1
[2]	Dines Bjørner , Rigorous Domain Descriptions, A Compendium of Examples, viii + 510 pages, Fall 2021

Lecture Schedule

Monday, 11 October, 2021:
- 14:15–15:00: Introduction to Chapters 1–3:
- 15:15–16:00: Introduction to Chapters 4–7:
Tuesday, 12 October, 2021:
- 12:15–13:00: External Qualities: Sorts & Observers
- 13:15–14:00: External Qualities Example: Road Transport
- 14:15–15:00: Internal Qualities: Unique Identifiers
- 15:15–16:00: Internal Qualities: Mereology
Wednesday, 13 October, 2021:
- 10:15–11:00: Internal Qualities: Attributes
- 11:15–12:00: Example: Road Transport
Thursday, 14 October, 2021:
- 12:45–14:00: Institute Seminar: $\bgroup\color{red}\fbox{{{\color{blue}\textbf{\textsf{60 Years in Computing}}\color{black}}}}\egroup$
- 14:30–15:20: Transcendental Deduction
Friday, 15 October, 2021:
- 8:15–9:00: State and Actors: Channels, Actions, Events and Behaviours
- 9:15–10:00: Example: The Tesla Automobile Assembly Line
- 12:00–13:00: $\bgroup\color{blue}\fbox{{{\color{red}\textbf{\textsf{Lunch}}\color{black}}}}\egroup$ — with all Participants !
- 13:15–14:00: Behaviours: Definitions
- 14:15–14:45: Closing: Discussion

Lecture Form

These lectures are [to be] held in a form different from what is usual.
- There will be no topic slides.
- What will be shown, on two separate screens, hence via two separate computers,
  - is text pages from the book, [1] , and
  - text pages from the example compendium, [2] .
- The lecturer will be sitting in a comfortable armchair – he will be 84 earlier in October !
- He will have the respective, [1-2] , texts in front of him.
- Their pages will be marked by coloured “post-it” stickers.
- The so-indicated pages will be lectured upon – a mere subset.
- The assistant – who manages the two screens – will have similar text copies.
- The students will/may (!) not have laptops in front of them.
- They will instead each have their own unmarked [1-2] .
- The lecturer will focus on selected sections of [1-2] .
- He will tell why, what is shown, and what it is all about.
- Students are expected, later, after the lecture,
  - to read the segments shown in the lecture – and,
  - as proper students, at a leading university, more !

Dinner Options

Sunday: Fjellskaal , fish, 13:00
Monday: Restaurant 1877 , 19:00
Tuesday: Bjerck , 17:30
Wednesday: BARE , 19:00
Thursday: Opus XVI , 17:30
Friday: Opus XVI , 17:00

On Bergen Restaurants

Opus XVI was the best restaurant we visited – hence twice – in Bergen. Food was great: Kari had Persetorsk, twice !

The waiter, Mr. J. Pons [Aix en Provence], took good care of us. The bartender made great drinks. Both were professionals.

Not all this “new” kitchen stuff, where one needs a microscope to see the food, where the staff is overcome by the presumptiousness of their own excellence, where in-experienced customers are in awe, etc.

Other restaurants “suffered” from inexperienced “student-job” waiters.