Throughout the Doctoral Program Logical Methods in Computer Science studies, students participate in the research seminar to present and discuss their current work, which includes dry runs for conference presentations.
Presentation and discussion of work plans, theoretical frameworks, methods and results of participants' theses.
Not necessary