Schedule for all current courses

Week 39

Wed	28/09
13:15-16:00

Scientific Publication
Manuscript title, abstract and introduction
General principles for writing manuscript title, abstract and introduction. Language support: proofreading, copyediting, substantive editing. [Henrik, Petru, and Brittany] Discussion of paper by participant.

Grace Hopper

Fri

30/09

13-15

Software Verification and applications

Week 40

Tue	04/10
09:15-12:00

Scientific Publication
Figures, tables
How to draw and format them. How to write captions. Combining textual and visual communication. [Henrik] Discussion of paper by participant.

Donald Knuth

Fri

07/10

10-12

Software Verification and applications

Fri

07/10

13-15

Ethics of AI and interactive autonomous systems

Week 41

Tue

11/10

Logic I

ADIT, al-kwarizmi

Wed	12/10
09:15-12:00

Scientific Publication
Discussion, conclusion, summary
The difference between them and how to write them. [Henrik, Petru] Discussion of paper by participant.

Donald Knuth

Wed

12/10

Logic I

ADIT, al-kwarizmi

Thu

13/10

13-15

Current Programming Languages and Paradigms
Seminar: Elm

Thu

13/10

Logic I

ADIT, al-kwarizmi

Week 42

Tue

18/10

Logic I

ADIT, al-kwarizmi

Wed

19/10

Logic I

ADIT, al-kwarizmi

Wed	19/10
13:15-16:00

Scientific Publication
Grammar, mechanics, punctuation, etc.
How to avoid sloppiness. Common mistakes. [Henrik and Brittany] Discussion of paper by participant.

Donald Knuth

Fri

21/10

08-10

Software Verification and applications

Fri

21/10

10-12

Software Verification and applications

Week 43

Wed	26/10
09:15-12:00

Scientific Publication
References
The importance of references. Reference handling. [Henrik] Discussion of paper by participant.

Donald Knuth

Thu

27/10

13-15

Current Programming Languages and Paradigms
Seminar: Julia

Fri

28/10

13-15

Ethics of AI and interactive autonomous systems

Week 44

Wed	02/11
09:15-12:00

Scientific Publication
Reviewing, writing tools and software
ow to review papers, analyze review comments and respond to reviews. Brief overview of useful writing tools, such as endnote, bibtex, latex and Overleaf. Version control systems and other collaborative tools (e.g., Sharepoint and Google docs). Drawing and plotting tools (e.g., Visio and gnuplot). [Henrik] Discussion of paper by participant.

Donald Knuth

Fri

04/11

08-10

Software Verification and applications

Fri

04/11

10-12

Software Verification and applications

Week 45

Wed	09/11
09:15-12:00

Scientific Publication
Rewriting papers, co-authors, organizing you work
How to do rewrite papers and how to deal with co-authors. How to organize your work and overcome writer's block. [Henrik] Discussion of paper by participant.

Donald Knuth

Thu

10/11

13-15

Current Programming Languages and Paradigms
Seminar: TBD

Fri

11/11

10-12

Software Verification and applications

Week 46