News
Paper Assignment
Written on 28.04.2023 11:18 by Raven Beutner
Dear students,
we have finished the paper assignment in the CMS. You can see your assigned paper (given by the tutorial number) on your personal status page. We were able to assign everyone who indicated some preference to a paper that they rated good or very good.
Your advisor for the group talk will reach out to you in the next few days. Everyone assigned to papers 01-05 is part of the “Basics of Information-Flow Control” group talk, and everyone assigned to papers 06-10 is part of the “Formal Methods 101" group talk. Your advisor will point you to appropriate reading material. We will upload the two key-papers (that should be read by everyone) in the Material section shortly.
The first group talk (on “Basics of Information-Flow Control”) will take place on 23.05.