Skip to main navigation
Skip to search
Skip to main content
https://tue.osiris-student.nl/onderwijscatalogus/extern/cursus?cursuscode=2IMF00&collegejaar=2025&taal=enStudents will explore recent research topics in the field of formal system analysis. The topics are supervised by experts in the field and can range from purely theoretical problems, over practical implementations, to empirical evaluations. The seminar is organized as a typical conference in formal methods where the students conduct research, write a paper, submit it, review peer’s submissions, and present the outcomes.Skills in conducting and reviewing research in the area of formal methods; oral and written presentation about this research.Assignment