After successful completion of the course, students are able to...

• find solutions for problems of computer engineering selected for this particular course
  
• subject the developed solutions to a critical analysis

• Review of the scientific methdology
• Literature search and literature comparison
• Preparing a scientific paper
• Presentation

In SS20 the seminar focusses on recent findings in the verification of multi-threaded shared  memory systems with weak memory models. We will study several papers which have been published in the last years. Students will analyze these papers and present the findings.

• Studying selected problems of computer enginieeringe on the basis of scientific articles

• Assessing cooperation and presentation of the issues and solutions discussed