Seminar: Category Theory for Programmers

Schedule

Presentations

Prüfungsleistung

• Attendance and active participation in the regular meetings and presentations of all participants
• Preparation and presentation of a 30-minute talk about the topic of the assigned paper
• Preparation of a written report of the topic of the assigned paper as described in the Procedure section
• Submission of the report and presentation slides before the respective deadlines

Procedure

A seminar concentrates on scientific results, but it also teaches competences required for scientific work. In particular

• literature research
• reading and understanding of scientific texts
• presentation skills
• creating a written report

This seminar will proceed as follows:

• Topic Selection and First Meeting. In this seminar we study the book Category Theory for Programmers by Bartosz Milewski. The first meeting is dedicated to discuss administrative matters. It will also be possible to ask questions about the topic.

• Regular Meetings. The first couple of regular meetings take the form of a reading seminar. Together, we will read and discuss the book chapters that cover introductory topics. Participants are expected to read the respective chapters before the meeting. The reading assignments can be found in the Schedule.

• Presentation. Presentations will take place at the end of the semester as a block seminar. A tutorial video about scientific presentations can be found in the Links section.
• Report. A written report needs to be submitted at the end of the semester, which satisfies the following criteria:
  • It must be at most 10 pages long.
  • It must be prepared with LaTeX. A good introduction to LaTeX may be found in the documentation of Overleaf.
  • It must use the LaTeX document class llncs.cls according to the template document which is available on the Springer web site under Information for Authors. The above website contains a useful rubric "Author Guidelines" with further information. Do not change the formatting parameters of llncs.cls in any way.
  • It must use bibtex for references. Many bibtex references can be obtained from the DBLP computer science bibliography.
  • It should adhere to our style guide.
  A tutorial video about scientific writing can be found in the Links section.

• Reviews. Just like in a real paper submission, the reports are subject to peer review.

  For this purpose, you have to submit a draft of your report two weeks before the final report submission deadline. You will then receive two drafts of other participants and have one week to submit reviews about them. You will then receive two reviews of your own draft report and have one week to improve your report and submit a final version.

Links

• Tutorial: How to give talks that people can follow (Derek Dreyer, PLMW @ ICFP'19)
• Tutorial: How to write papers so people can read them (Derek Dreyer, PLMW @ ICFP'21)
• Book: Category Theory for Programmers by Bartosz Milewski
• Book: The Dao of Functional Programming by Bartosz Milewski
• Book: Category Theory for Computing Science by Barr & Wells