Topics in Compilers & Concurrency – Seminar
General Information
- Lecturer: Prof. Dr. Peter Thiemann
- Assistant: Janek Spaderna
- Room: SR 00-010/014 G.-Köhler-Allee 101
- First Meeting: 2026-04-22, 16:00
| Date | News |
|---|---|
| 2026-04-24 | Preliminary schedule and topic list |
| 2026-05-13 | Updated details about the schedule and presentations |
Topics
The papers are linked from the document. Accessing some of them may require a connection from inside the university network or logging in via the institutional access provided by the university.
Schedule
| Date | Topic |
|---|---|
| 2026-05-13 | Kickoff session |
| … | No weekly meetings |
| starting 2026-06-10 | Weekly meetings with talks |
| … | |
| 2026-07-08 | No meeting |
| 2026-07-15 | Last regular meeting |
| 2026-07-22 | Overflow meeting, if necessary |
Process
-
You participate in the first meeting on Wednesday, 2026-04-22.
-
Once you have been allocated a spot in the seminar you send your three preferred topics to Janek Spaderna.
(Deadline: 2026-05-05) -
We confirm your assigned topic and publish a schedule.
-
You prepare a report on background materials and related work. Details below.
(Deadline: two weeks before your presentation) -
In pairs of two you prepare a presentation for your assigned topic. Upload your slides until the Friday before your presentation in the Ilias course.
(Deadline: one week before the presentation) -
You attend all other seminar sessions.
Report on Background Materials and Related Work
You have to write a short report on background materials and related work appertaining to your topic. The report should highlight at least five references and explain their significance.
Technical details:
-
Must be at most 3 pages.
-
Must be prepared with LaTeX. An introduction may be found in the documentation for Overleaf.
-
Must use the LaTeX document class
llncs.cls. If not part of your LaTeX installation it is available on the Springer web page Information for Authors together with a template and documentation. The materials can be downloaded via the LaTeX2e Proceedings Templates download link and are also available as an Overleaf template.
Do not change the formatting parameters ofllncs.clsin any way. -
Must use BibTeX for references. The bibliography should be complete and correct. Many BibTeX references can be obtained from the dblp computer science bibliography.
Presentation
30 minutes + 15 minutes questions/discussion