Hide menu

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 13
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 13
Logic I

ADIT, al-kwarizmi
Thu 13/10 13-15
Current Programming Languages and Paradigms
Seminar: Elm
 
Thu 13/10 13
Logic I

ADIT, al-kwarizmi
Week 42    
Tue 18/10 10
Logic I

ADIT, al-kwarizmi
Wed 19/10 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    
Tue 15/11 
13:30-17
Logic II (CUGS Core)

 
Wed 16/11 
09:15-12:00
Scientific Publication
Final seminar
Sum up and discussion of remaining papers by participants.
Donald Knuth
Thu 17/11 
13:30-17
Logic II (CUGS Core)

 
Fri 18/11 08-10
Software Verification and applications

 
Fri 18/11 10-12
Software Verification and applications

 
Fri 18/11 13-15
Ethics of AI and interactive autonomous systems

 
Week 47    
Thu 24/11 13-15
Current Programming Languages and Paradigms
Seminar: TBD
 
Week 48    
Tue 29/11 
09:15-12:00
Scientific Publication
Reserve
May be used if we need to cancel some occasion or change the schedule.
Donald Knuth
Tue 29/11 
13:30-17
Logic II (CUGS Core)

 
Thu 01/12 
13:30-17
Logic II (CUGS Core)

 
Fri 02/12 08-10
Software Verification and applications

 
Fri 02/12 10-12
Software Verification and applications

 
Week 49    
Wed 07/12 
09:15-12:00
Scientific Publication
Reserve
May be used if we need to cancel some occasion or change the schedule.
Donald Knuth
Thu 08/12 13-15
Current Programming Languages and Paradigms
Seminar: TBD
 
Fri 09/12 13-15
Ethics of AI and interactive autonomous systems

 
Week 50    
Thu 15/12 
09:15-12:00
Scientific Publication
Reserve
May be used if we need to cancel some occasion or change the schedule.
Donald Knuth
Thu 15/12 13-15
Current Programming Languages and Paradigms
Seminar: Reflection and discussion of all languages
 
Fri 16/12 08-12
Software Verification and applications

 
2023
Week 02
   
Thu 12/01 08-12
Software Verification and applications

 
Fri 13/01 08-12
Software Verification and applications

 
Week 03    
Fri 20/01 13-15
Ethics of AI and interactive autonomous systems

 

Page responsible: Director of Graduate Studies